Details

Time bar (total: 28.3s)

sample242.0ms

Algorithm
intervals
Results
147.0ms256×body80valid
17.0ms256×pre80true

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
43490
3853
2273
1103
042

prune47.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.6b

localize144.0ms

Local error

Found 4 expressions with local error:

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

rewrite368.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt *-un-lft-identity
17×times-frac
16×exp-prod add-cube-cbrt
add-cbrt-cube add-exp-log add-log-exp
pow1 insert-posit16
cbrt-div associate-/r* associate-*l/ div-inv associate-/l*
rem-exp-log
cbrt-prod frac-times cbrt-undiv clear-num frac-2neg exp-diff pow1/3 div-sub div-exp associate-*r/ distribute-lft-out-- difference-of-squares
Counts
4 → 76
Calls
4 calls:
11.0ms
(/ PI 1.205e-29)
52.0ms
(cbrt (* (* (/ PI 1.205e-29) 48) (/ PI 1.205e-29)))
286.0ms
(exp (/ (- 1.77 (/ (* 1.205e-29 2) (/ (cbrt (/ (+ 1 i) (/ 4/3 (/ 1.205e-29 PI)))) 6.25e+18))) (* 823 8.625e-05)))
17.0ms
(exp (/ 1.1 (* 823 8.625e-05)))

series921.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(/ PI 1.205e-29)
0.0ms
(cbrt (* (* (/ PI 1.205e-29) 48) (/ PI 1.205e-29)))
921.0ms
(exp (/ (- 1.77 (/ (* 1.205e-29 2) (/ (cbrt (/ (+ 1 i) (/ 4/3 (/ 1.205e-29 PI)))) 6.25e+18))) (* 823 8.625e-05)))
0.0ms
(exp (/ 1.1 (* 823 8.625e-05)))

simplify5.9s

Counts
82 → 82
Iterations
IterNodes
36605
21547
1524
0235

prune1.8s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.0b

localize170.0ms

Local error

Found 4 expressions with local error:

1.6b
(exp (/ (- 1.77 (/ (* 1.205e-29 2) (/ (cbrt (/ (+ 1 i) (/ 4/3 (/ 1.205e-29 PI)))) 6.25e+18))) (* 823 8.625e-05)))
1.6b
(exp (/ 1.1 (* 823 8.625e-05)))
1.6b
(exp (/ 1.1 (* 823 8.625e-05)))
1.6b
(exp (/ 1.1 (* 823 8.625e-05)))

rewrite341.0ms

Algorithm
rewrite-expression-head
Rules
30×exp-prod
14×add-sqr-sqrt *-un-lft-identity times-frac
12×add-cube-cbrt
add-log-exp
pow1 add-cbrt-cube add-exp-log insert-posit16 div-inv rem-exp-log
exp-diff div-sub distribute-lft-out-- difference-of-squares
Counts
4 → 67
Calls
4 calls:
289.0ms
(exp (/ (- 1.77 (/ (* 1.205e-29 2) (/ (cbrt (/ (+ 1 i) (/ 4/3 (/ 1.205e-29 PI)))) 6.25e+18))) (* 823 8.625e-05)))
17.0ms
(exp (/ 1.1 (* 823 8.625e-05)))
16.0ms
(exp (/ 1.1 (* 823 8.625e-05)))
17.0ms
(exp (/ 1.1 (* 823 8.625e-05)))

series865.0ms

Counts
4 → 6
Calls
4 calls:
865.0ms
(exp (/ (- 1.77 (/ (* 1.205e-29 2) (/ (cbrt (/ (+ 1 i) (/ 4/3 (/ 1.205e-29 PI)))) 6.25e+18))) (* 823 8.625e-05)))
0.0ms
(exp (/ 1.1 (* 823 8.625e-05)))
0.0ms
(exp (/ 1.1 (* 823 8.625e-05)))
0.0ms
(exp (/ 1.1 (* 823 8.625e-05)))

simplify4.9s

Counts
73 → 73
Iterations
IterNodes
35845
21271
1401
0163

prune2.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

regimes236.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify26.0ms

Iterations
IterNodes
249
149
041

end0.0ms

sample7.1s

Algorithm
intervals
Results
6.3s8000×body80valid
384.0ms8000×pre80true