Details

Time bar (total: 30.4s)

sample356.0ms

Algorithm
intervals
Results
212.0ms256×body80valid
65.0ms129×body80nan
17.0ms385×pre80true

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
43490
3853
2273
1103
042

prune46.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.6b

localize138.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.1 (* 823 8.625e-05)))
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)))

rewrite365.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:
9.0ms
(/ PI 1.205e-29)
42.0ms
(cbrt (* (* (/ PI 1.205e-29) 48) (/ PI 1.205e-29)))
17.0ms
(exp (/ 1.1 (* 823 8.625e-05)))
295.0ms
(exp (/ (- 1.77 (/ (* 1.205e-29 2) (/ (cbrt (/ (+ 1 i) (/ 4/3 (/ 1.205e-29 PI)))) 6.25e+18))) (* 823 8.625e-05)))

series894.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)))
0.0ms
(exp (/ 1.1 (* 823 8.625e-05)))
894.0ms
(exp (/ (- 1.77 (/ (* 1.205e-29 2) (/ (cbrt (/ (+ 1 i) (/ 4/3 (/ 1.205e-29 PI)))) 6.25e+18))) (* 823 8.625e-05)))

simplify5.7s

Counts
82 → 82
Iterations
IterNodes
36594
21546
1524
0235

prune1.8s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.0b

localize167.0ms

Local error

Found 4 expressions with local error:

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)))
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)))

rewrite323.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:
18.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)))
270.0ms
(exp (/ (- 1.77 (/ (* 1.205e-29 2) (/ (cbrt (/ (+ 1 i) (/ 4/3 (/ 1.205e-29 PI)))) 6.25e+18))) (* 823 8.625e-05)))

series888.0ms

Counts
4 → 6
Calls
4 calls:
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)))
888.0ms
(exp (/ (- 1.77 (/ (* 1.205e-29 2) (/ (cbrt (/ (+ 1 i) (/ 4/3 (/ 1.205e-29 PI)))) 6.25e+18))) (* 823 8.625e-05)))

simplify4.6s

Counts
73 → 73
Iterations
IterNodes
35859
21271
1401
0163

prune1.7s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes216.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify34.0ms

Iterations
IterNodes
249
149
041

end0.0ms

sample10.1s

Algorithm
intervals
Results
6.4s8000×body80valid
2.6s3977×body80nan
598.0ms11977×pre80true