Details

Time bar (total: 2.8m)

sample1.4s

Algorithm
intervals
Results
777.0ms143×body10240exit
217.0ms259×body80valid
134.0ms47×body1280nan
105.0ms45×body640nan
21.0ms13×body320nan
16.0ms14×body160nan
4.0ms7×body80nan

simplify2.4s

Counts
1 → 1

prune66.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize221.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* 2 PI))
1.0b
(+ (/ 771.3234287776531 (+ 3 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4)))
1.0b
(+ (/ -0.13857109526572012 (+ 6 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5)))
0.9b
(/ (pow (+ (+ 0.5 7) (- 0 z)) (+ 0.5 (- 0 z))) (exp (+ (+ 0.5 7) (- 0 z))))

rewrite979.0ms

Algorithm
rewrite-expression-head
Rules
247×*-un-lft-identity
114×times-frac
86×distribute-lft-out
45×add-sqr-sqrt add-cube-cbrt
42×fma-def
35×unpow-prod-down
28×distribute-lft-out--
13×exp-sum
12×associate-/l*
8×add-log-exp
7×pow1 associate-/r/
6×add-cbrt-cube add-exp-log
5×unpow-prod-up sqr-pow
4×expm1-log1p-u associate-/r* flip3-+ flip-+ insert-posit16 log1p-expm1-u sub0-neg
3×exp-diff div-exp div-inv pow-sub associate-/l/
2×+-commutative associate-+r- sum-log sqrt-pow1 unsub-neg frac-add
1×pow-to-exp cbrt-undiv clear-num frac-2neg pow1/2 pow-prod-down pow-exp sqrt-prod
Counts
4 → 193
Calls
4 calls:
Slowest
506.0ms
(+ (/ 771.3234287776531 (+ 3 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4)))
318.0ms
(/ (pow (+ (+ 0.5 7) (- 0 z)) (+ 0.5 (- 0 z))) (exp (+ (+ 0.5 7) (- 0 z))))
147.0ms
(+ (/ -0.13857109526572012 (+ 6 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5)))
4.0ms
(sqrt (* 2 PI))

series435.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
244.0ms
(/ (pow (+ (+ 0.5 7) (- 0 z)) (+ 0.5 (- 0 z))) (exp (+ (+ 0.5 7) (- 0 z))))
100.0ms
(+ (/ -0.13857109526572012 (+ 6 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5)))
91.0ms
(+ (/ 771.3234287776531 (+ 3 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4)))
0.0ms
(sqrt (* 2 PI))

simplify1.2s

Counts
203 → 203

prune8.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize285.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* 2 PI))
1.0b
(* (/ 1 (exp (+ 0.5 7))) (/ (pow (+ (+ 0.5 7) (- 0 z)) (+ 0.5 (- 0 z))) (exp (- 0 z))))
1.0b
(+ (/ 771.3234287776531 (+ 3 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4)))
1.0b
(+ (/ -0.13857109526572012 (+ 6 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5)))

rewrite648.0ms

Algorithm
rewrite-expression-head
Rules
457×*-un-lft-identity
263×times-frac
177×add-sqr-sqrt
174×associate-*r*
143×add-cube-cbrt
140×distribute-lft-out
135×exp-sum
108×prod-diff
101×unpow-prod-down
46×distribute-lft-out--
42×fma-def
24×add-exp-log
20×div-exp
17×sqr-pow
16×add-cbrt-cube associate-*l* prod-exp
14×unpow-prod-up
12×sub-neg unswap-sqr
9×pow1
8×add-log-exp
6×associate-/r/
4×expm1-log1p-u pow-to-exp cbrt-undiv rec-exp flip3-+ 1-exp pow-exp cbrt-unprod flip-+ insert-posit16 log1p-expm1-u div-inv
2×+-commutative sum-log sqrt-pow1 pow-prod-down frac-add
1×exp-neg frac-times pow1/2 exp-diff associate-*l/ associate-*r/ *-commutative sqrt-prod sub0-neg
Counts
4 → 343
Calls
4 calls:
Slowest
368.0ms
(* (/ 1 (exp (+ 0.5 7))) (/ (pow (+ (+ 0.5 7) (- 0 z)) (+ 0.5 (- 0 z))) (exp (- 0 z))))
134.0ms
(+ (/ 771.3234287776531 (+ 3 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4)))
127.0ms
(+ (/ -0.13857109526572012 (+ 6 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5)))
8.0ms
(sqrt (* 2 PI))

series398.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
253.0ms
(* (/ 1 (exp (+ 0.5 7))) (/ (pow (+ (+ 0.5 7) (- 0 z)) (+ 0.5 (- 0 z))) (exp (- 0 z))))
83.0ms
(+ (/ -0.13857109526572012 (+ 6 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5)))
62.0ms
(+ (/ 771.3234287776531 (+ 3 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4)))
0.0ms
(sqrt (* 2 PI))

simplify1.1s

Counts
353 → 353

prune18.5s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize230.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* 2 PI))
1.0b
(+ (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
1.0b
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
1.0b
(+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (- 5 z)))

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
313×*-un-lft-identity
134×times-frac
83×distribute-lft-out
58×distribute-lft-out--
55×fma-def
35×add-sqr-sqrt
23×add-cube-cbrt
17×add-log-exp
11×frac-add
8×sum-log
7×pow1
6×difference-of-squares
5×flip3-+ flip-+
4×expm1-log1p-u add-cbrt-cube add-exp-log associate-/r/ insert-posit16 log1p-expm1-u
3×+-commutative
2×sqrt-pow1 flip3-- div-inv flip--
1×associate-+l+ pow1/2 pow-prod-down sqrt-prod
Counts
4 → 150
Calls
4 calls:
Slowest
1.4s
(+ (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
69.0ms
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
66.0ms
(+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (- 5 z)))
8.0ms
(sqrt (* 2 PI))

series328.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
158.0ms
(+ (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
95.0ms
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
76.0ms
(+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (- 5 z)))
0.0ms
(sqrt (* 2 PI))

simplify1.2s

Counts
160 → 160

prune6.4s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize332.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (* (- (* (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))) (- 2 z)) (* (- (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (/ 676.5203681218851 (- 1 z))) -1259.1392167224028))
1.0b
(sqrt (* 2 PI))
1.0b
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
1.0b
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))

rewrite669.0ms

Algorithm
rewrite-expression-head
Rules
1310×associate-*l/
1220×frac-add
1104×frac-sub
1100×frac-times
506×flip3-+ flip-+
400×flip3-- flip--
370×associate-*r/
90×*-un-lft-identity
46×add-sqr-sqrt times-frac
43×fma-def
34×add-cube-cbrt
22×associate-+l+
18×prod-diff
14×distribute-lft-out--
11×distribute-rgt-in distribute-lft-in
10×distribute-lft-out add-log-exp
7×pow1
6×difference-of-squares
4×expm1-log1p-u add-cbrt-cube add-exp-log associate-/r/ insert-posit16 log1p-expm1-u
3×+-commutative sum-log
2×sub-neg sqrt-pow1 div-inv
1×pow1/2 pow-prod-down sqrt-prod
Counts
4 → 848
Calls
4 calls:
Slowest
472.0ms
(+ (* (- (* (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))) (- 2 z)) (* (- (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (/ 676.5203681218851 (- 1 z))) -1259.1392167224028))
67.0ms
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
54.0ms
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
4.0ms
(sqrt (* 2 PI))

series741.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
559.0ms
(+ (* (- (* (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))) (- 2 z)) (* (- (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (/ 676.5203681218851 (- 1 z))) -1259.1392167224028))
99.0ms
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
82.0ms
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
0.0ms
(sqrt (* 2 PI))

simplify16.5s

Counts
858 → 858

prune1.0m

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes361.0ms

Accuracy

0% (0.4b remaining)

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

bsearch41.0ms

end0.0ms

sample42.0s

Algorithm
intervals
Results
21.6s3794×body10240exit
6.3s8082×body80valid
5.9s1458×body1280nan
5.5s1250×body640nan
1.7s591×body320nan
366.0ms318×body160nan
188.0ms307×body80nan