Details

Time bar (total: 31.2s)

sample300.0ms

Algorithm
intervals
Results
191.0ms256×body80valid
47.0ms92×body80nan

simplify2.7s

Counts
1 → 1
Iterations
IterNodes
43501
3866
2275
1105
042

prune61.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.3b

localize134.0ms

Local error

Found 4 expressions with local error:

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

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
22×cbrt-prod
20×add-sqr-sqrt
14×exp-prod *-un-lft-identity add-cube-cbrt
13×times-frac associate-*l*
pow1 add-exp-log associate-/r/ add-log-exp
add-cbrt-cube
insert-posit16 div-inv
associate-*r* associate-*l/ unswap-sqr
frac-times cbrt-div associate-*r/ rem-exp-log
exp-diff pow1/3 div-sub pow-prod-down prod-exp *-commutative cbrt-unprod
Counts
4 → 85
Calls
4 calls:
25.0ms
(* (cbrt (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) 1e-06)
14.0ms
(cbrt (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI))))
26.0ms
(exp (/ 1.1 (* 823 8.625e-05)))
29.0ms
(exp (/ (- 1.77 (* (/ 2 (/ (cbrt (* 3/4 (* (+ 1 i) (/ 1.205e-29 PI)))) 1.205e-29)) 6.25e+18)) (* 823 8.625e-05)))

series832.0ms

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

simplify6.3s

Counts
91 → 91
Iterations
IterNodes
36600
21613
1546
0240

prune2.8s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.8b

localize191.0ms

Local error

Found 4 expressions with local error:

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

rewrite111.0ms

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

series2.5s

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

simplify4.4s

Counts
77 → 77
Iterations
IterNodes
35861
21302
1401
0158

prune2.7s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.1b

regimes329.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify24.0ms

Iterations
IterNodes
252
152
041

end0.0ms

sample7.7s

Algorithm
intervals
Results
5.6s8000×body80valid
1.8s2698×body80nan