Details

Time bar (total: 1.2m)

sample1.2s

Algorithm
intervals
Results
716.0ms140×body10240exit
144.0ms46×body640nan
134.0ms258×body80valid
103.0ms44×body1280nan
26.0ms16×body320nan
6.0ms13×body80nan
2.0ms3×body160nan

simplify2.4s

Counts
1 → 1

prune56.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.6b

localize150.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* 2 PI))
1.0b
(/ (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))) (exp (+ 0.5 (- 7 z))))
1.0b
(+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
0.9b
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))

rewrite260.0ms

Algorithm
rewrite-expression-head
Rules
77×*-un-lft-identity
48×times-frac
25×add-sqr-sqrt unpow-prod-down add-cube-cbrt
18×distribute-lft-out
11×exp-sum add-log-exp
10×associate-/l*
9×distribute-lft-out--
7×pow1
6×add-cbrt-cube add-exp-log
5×unpow-prod-up sqr-pow
4×associate-/r* sum-log insert-posit16
3×flip3-+ div-exp frac-add flip-+ pow-sub associate-/l/
2×+-commutative associate-+r- sqrt-pow1
1×neg-sub0 pow-to-exp cbrt-undiv associate-+r+ clear-num frac-2neg pow1/2 exp-diff unsub-neg pow-prod-down pow-exp associate-/r/ sqrt-prod div-inv
Counts
4 → 121
Calls
4 calls:
Slowest
132.0ms
(+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
91.0ms
(/ (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))) (exp (+ 0.5 (- 7 z))))
29.0ms
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))
5.0ms
(sqrt (* 2 PI))

series367.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
215.0ms
(/ (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))) (exp (+ 0.5 (- 7 z))))
80.0ms
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))
71.0ms
(+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
0.0ms
(sqrt (* 2 PI))

simplify1.5s

Counts
131 → 131

prune5.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize208.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* 2 PI))
1.0b
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
1.0b
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
1.0b
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-prod
25×*-un-lft-identity
15×unpow-prod-down
10×add-sqr-sqrt add-cube-cbrt
9×cbrt-div pow-sub
7×pow1
6×distribute-lft-out
4×add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×neg-sub0 unpow-prod-up associate-+r- pow1/3 unsub-neg distribute-lft-out-- sqr-pow
2×sqrt-pow1
1×pow1/2 pow-prod-down sqrt-prod
Counts
4 → 78
Calls
4 calls:
Slowest
22.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
20.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
15.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
13.0ms
(sqrt (* 2 PI))

series999.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
370.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
320.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
309.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
0.0ms
(sqrt (* 2 PI))

simplify989.0ms

Counts
88 → 88

prune3.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize197.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* 2 PI))
1.0b
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
1.0b
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
1.0b
(+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
20×cbrt-prod
10×unpow-prod-down
9×add-log-exp
8×add-sqr-sqrt add-cube-cbrt
7×pow1 distribute-lft-out
6×cbrt-div pow-sub
4×add-cbrt-cube add-exp-log insert-posit16
3×sum-log
2×neg-sub0 unpow-prod-up associate-+r- sqrt-pow1 flip3-+ pow1/3 unsub-neg frac-add flip-+ distribute-lft-out-- sqr-pow
1×+-commutative associate-+r+ pow1/2 pow-prod-down sqrt-prod
Counts
4 → 74
Calls
4 calls:
Slowest
150.0ms
(+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
22.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
15.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
5.0ms
(sqrt (* 2 PI))

series810.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
378.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
373.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
59.0ms
(+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
0.0ms
(sqrt (* 2 PI))

simplify2.5s

Counts
84 → 84

prune3.8s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.1b

localize179.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* 2 PI))
1.0b
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
1.0b
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
1.0b
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-prod
25×*-un-lft-identity
15×unpow-prod-down
10×add-sqr-sqrt add-cube-cbrt
9×cbrt-div pow-sub
7×pow1
6×distribute-lft-out
4×add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×neg-sub0 unpow-prod-up associate-+r- pow1/3 unsub-neg distribute-lft-out-- sqr-pow
2×sqrt-pow1
1×pow1/2 pow-prod-down sqrt-prod
Counts
4 → 78
Calls
4 calls:
Slowest
29.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
28.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
19.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
3.0ms
(sqrt (* 2 PI))

series1.1s

Counts
4 → 10
Calls
4 calls:
Slowest
401.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
373.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
367.0ms
(cbrt (pow (+ 0.5 (- 7 z)) (+ 0.5 (- z))))
0.0ms
(sqrt (* 2 PI))

simplify1.5s

Counts
88 → 88

prune3.6s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.1b

regimes304.0ms

Accuracy

0% (0.6b remaining)

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

bsearch16.0ms

end0.0ms

sample41.0s

Algorithm
intervals
Results
23.0s3865×body10240exit
6.2s8092×body80valid
5.4s1499×body1280nan
3.6s1324×body640nan
1.3s653×body320nan
800.0ms312×body160nan
249.0ms280×body80nan