Details

Time bar (total: 1.9m)

sample2.7s

Algorithm
intervals
Results
884.0ms126×body10240exit
552.0ms97×body1280nan
543.0ms625×body80valid
312.0ms435×body80nan
184.0ms63×body640nan
69.0ms35×body320nan
12.0msbody160nan
1.0msbody160valid

simplify3.9s

Counts
1 → 1
Iterations
IterNodes
44919
31165
2335
1125
047

prune86.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.4b

localize191.0ms

Local error

Found 4 expressions with local error:

1.0b
(exp (/ (- 1.1) (* 8.625e-05 823)))
1.0b
(* (* 48 PI) PI)
1.5b
(pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))
2.0b
(exp (/ (- (- 1.77 (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))))) (* 8.625e-05 823)))

rewrite418.0ms

Algorithm
rewrite-expression-head
Rules
39×add-exp-log
32×exp-prod
24×times-frac
19×prod-exp
17×add-sqr-sqrt *-un-lft-identity
13×add-cube-cbrt
12×pow1
add-cbrt-cube
distribute-lft-neg-in distribute-rgt-neg-in pow-exp
div-exp add-log-exp
pow-prod-down insert-posit16
associate-*r* cbrt-unprod
neg-sub0 exp-neg neg-mul-1 pow-pow exp-diff div-sub distribute-frac-neg div-inv distribute-lft-out-- difference-of-squares rem-exp-log
pow-to-exp pow-unpow unpow-prod-down associate-*l* *-commutative sqr-pow
Counts
4 → 95
Calls
4 calls:
19.0ms
(exp (/ (- 1.1) (* 8.625e-05 823)))
35.0ms
(* (* 48 PI) PI)
134.0ms
(pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))
226.0ms
(exp (/ (- (- 1.77 (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))))) (* 8.625e-05 823)))

series426.0ms

Counts
4 → 8
Calls
4 calls:
0.0ms
(exp (/ (- 1.1) (* 8.625e-05 823)))
0.0ms
(* (* 48 PI) PI)
152.0ms
(pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))
274.0ms
(exp (/ (- (- 1.77 (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))))) (* 8.625e-05 823)))

simplify2.2s

Counts
103 → 103
Iterations
IterNodes
22903
1922
0369

prune5.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize259.0ms

Local error

Found 4 expressions with local error:

1.5b
(pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))
2.0b
(exp (/ (- (- 1.77 (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))))) (* 8.625e-05 823)))
2.0b
(exp (/ (- (- 1.77 (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))))) (* 8.625e-05 823)))
2.0b
(exp (/ (- (- 1.77 (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))))) (* 8.625e-05 823)))

rewrite772.0ms

Algorithm
rewrite-expression-head
Rules
54×exp-prod
42×times-frac
34×add-exp-log
28×add-sqr-sqrt *-un-lft-identity
16×prod-exp add-cube-cbrt
15×distribute-lft-neg-in distribute-rgt-neg-in
pow-exp
pow1 add-log-exp
div-exp distribute-lft-out-- difference-of-squares
add-cbrt-cube insert-posit16
neg-sub0 exp-neg neg-mul-1 exp-diff div-sub distribute-frac-neg div-inv rem-exp-log
pow-pow
pow-to-exp pow-unpow unpow-prod-down pow-prod-down sqr-pow
Counts
4 → 109
Calls
4 calls:
135.0ms
(pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))
211.0ms
(exp (/ (- (- 1.77 (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))))) (* 8.625e-05 823)))
208.0ms
(exp (/ (- (- 1.77 (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))))) (* 8.625e-05 823)))
215.0ms
(exp (/ (- (- 1.77 (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))))) (* 8.625e-05 823)))

series976.0ms

Counts
4 → 12
Calls
4 calls:
152.0ms
(pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))
276.0ms
(exp (/ (- (- 1.77 (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))))) (* 8.625e-05 823)))
278.0ms
(exp (/ (- (- 1.77 (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))))) (* 8.625e-05 823)))
270.0ms
(exp (/ (- (- 1.77 (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))))) (* 8.625e-05 823)))

simplify2.5s

Counts
121 → 121
Iterations
IterNodes
22389
1726
0287

prune7.7s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

regimes753.0ms

Accuracy

91.3% (0.1b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 1.7b

bsearch1.2s

Steps
ItersRangePoint
7
7.379041361369649e-296
7.681951161729894e-294
8.639190386689441e-295
3
2.2430892575419595e-308
3.1757283548090053e-308
2.3013792011211497e-308

simplify126.0ms

Iterations
IterNodes
2133
1133
089

end0.0ms

sample1.4m

Algorithm
intervals
Results
30.6s3634×body10240exit
15.5s18057×body80valid
14.0s2659×body1280nan
11.5s14133×body80nan
8.1s2284×body640nan
4.1s1170×body320nan
726.0ms485×body160nan
52.0msbody160valid