Details

Time bar (total: 4.0m)

sample1.8s

Algorithm
intervals
Results
875.0ms127×body10240exit
317.0ms113×body1280valid
204.0ms82×body640valid
158.0ms37×body1280nan
53.0ms32×body640nan
40.0ms33×body320valid
23.0ms21×body320nan
14.0ms17×body160valid
11.0ms8×body160nan
6.0ms14×body80valid
5.0ms13×body80nan

simplify1.2s

Counts
1 → 1

prune37.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize136.0ms

Local error

Found 4 expressions with local error:

1.2b
(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (+ (- z -6) 0.5))) (* (sqrt (* PI 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))))))
1.2b
(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (+ (- z -6) 0.5)))
1.0b
(sqrt (* PI 2))
1.0b
(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))

rewrite16.1s

Algorithm
rewrite-expression-head
Rules
709×frac-add
276×associate-*r/
226×flip3-+ flip-+
125×*-un-lft-identity
100×times-frac
92×frac-times
52×add-sqr-sqrt add-cube-cbrt
45×unpow-prod-down associate-*l*
28×distribute-lft-out
24×add-exp-log
21×exp-sum
18×fma-def add-cbrt-cube
12×pow1 prod-exp
11×distribute-lft-out--
10×associate-/l*
9×unpow-prod-up div-exp sqr-pow
6×cbrt-unprod add-log-exp
4×distribute-rgt-in expm1-log1p-u associate-/r* distribute-lft-in pow-prod-down associate-/r/ insert-posit16 log1p-expm1-u
3×pow-to-exp cbrt-undiv pow-exp associate-+l- div-inv
2×sqrt-pow1 exp-diff
1×+-commutative clear-num sum-log frac-2neg pow1/2 associate-*r* associate-*l/ *-commutative sqrt-prod pow-sub associate-/l/
Counts
4 → 385
Calls
4 calls:
Slowest
15.8s
(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (+ (- z -6) 0.5))) (* (sqrt (* PI 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))))))
216.0ms
(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (+ (- z -6) 0.5)))
40.0ms
(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
4.0ms
(sqrt (* PI 2))

series1.2s

Counts
4 → 10
Calls
4 calls:
Slowest
854.0ms
(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (+ (- z -6) 0.5))) (* (sqrt (* PI 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))))))
248.0ms
(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (+ (- z -6) 0.5)))
71.0ms
(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
0.0ms
(sqrt (* PI 2))

simplify13.5s

Counts
395 → 395

prune18.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize198.0ms

Local error

Found 4 expressions with local error:

1.2b
(* (/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (exp (+ (- z -6) 0.5))) (* (sqrt (* PI 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))))))
1.0b
(sqrt (* PI 2))
1.0b
(/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (exp (+ (- z -6) 0.5)))
1.0b
(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))

rewrite16.1s

Algorithm
rewrite-expression-head
Rules
709×frac-add
276×associate-*r/
226×flip3-+ flip-+
123×*-un-lft-identity
92×frac-times times-frac
50×add-sqr-sqrt add-cube-cbrt
45×unpow-prod-down
41×associate-*l*
28×distribute-lft-out
24×add-exp-log
19×exp-sum
18×fma-def add-cbrt-cube
12×pow1 prod-exp
11×distribute-lft-out--
9×div-exp associate-/l* sqr-pow
6×cbrt-unprod add-log-exp
4×distribute-rgt-in expm1-log1p-u associate-/r* distribute-lft-in pow-prod-down associate-/r/ insert-posit16 log1p-expm1-u
3×pow-to-exp cbrt-undiv pow-exp associate-+l- div-inv
2×sqrt-pow1 exp-diff
1×+-commutative clear-num sum-log frac-2neg pow1/2 div-sub associate-*r* associate-*l/ *-commutative sqrt-prod pow-sub associate-/l/
Counts
4 → 376
Calls
4 calls:
Slowest
15.9s
(* (/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (exp (+ (- z -6) 0.5))) (* (sqrt (* PI 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))))))
126.0ms
(/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (exp (+ (- z -6) 0.5)))
33.0ms
(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
5.0ms
(sqrt (* PI 2))

series1.1s

Counts
4 → 10
Calls
4 calls:
Slowest
693.0ms
(* (/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (exp (+ (- z -6) 0.5))) (* (sqrt (* PI 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))))))
309.0ms
(/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (exp (+ (- z -6) 0.5)))
98.0ms
(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
0.0ms
(sqrt (* PI 2))

simplify14.9s

Counts
386 → 386

prune20.6s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize212.0ms

Local error

Found 4 expressions with local error:

1.2b
(* (* (/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (exp (+ (- z -6) 0.5))) (sqrt (* PI 2))) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3))))))
1.0b
(sqrt (* PI 2))
1.0b
(/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (exp (+ (- z -6) 0.5)))
1.0b
(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))

rewrite16.9s

Algorithm
rewrite-expression-head
Rules
709×frac-add
235×*-un-lft-identity
226×flip3-+ flip-+
143×distribute-lft-out
94×associate-*l/
92×frac-times associate-*r/
56×times-frac
33×add-sqr-sqrt add-cube-cbrt
29×associate-*r*
25×unpow-prod-down
19×add-exp-log
18×fma-def
15×add-cbrt-cube
12×pow1
10×exp-sum
9×prod-exp associate-/l*
7×distribute-lft-out--
6×div-exp add-log-exp
5×cbrt-unprod sqr-pow
4×expm1-log1p-u associate-/r* pow-prod-down insert-posit16 log1p-expm1-u
3×associate-/r/
2×pow-to-exp cbrt-undiv sqrt-pow1 pow-exp associate-+l- div-inv
1×distribute-rgt-in +-commutative clear-num sum-log frac-2neg distribute-lft-in pow1/2 exp-diff div-sub associate-*l* *-commutative sqrt-prod pow-sub associate-/l/
Counts
4 → 358
Calls
4 calls:
Slowest
16.7s
(* (* (/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (exp (+ (- z -6) 0.5))) (sqrt (* PI 2))) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3))))))
156.0ms
(/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (exp (+ (- z -6) 0.5)))
65.0ms
(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
4.0ms
(sqrt (* PI 2))

series1.1s

Counts
4 → 10
Calls
4 calls:
Slowest
855.0ms
(* (* (/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (exp (+ (- z -6) 0.5))) (sqrt (* PI 2))) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3))))))
229.0ms
(/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (exp (+ (- z -6) 0.5)))
65.0ms
(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
0.0ms
(sqrt (* PI 2))

simplify12.6s

Counts
368 → 368

prune18.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize209.0ms

Local error

Found 4 expressions with local error:

1.2b
(* (* (/ 1 (sqrt (exp (+ (- z -6) 0.5)))) (/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (exp (+ (- z -6) 0.5))))) (* (sqrt (* PI 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))))))
1.0b
(sqrt (* PI 2))
1.0b
(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
0.9b
(/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (exp (+ (- z -6) 0.5))))

rewrite15.1s

Algorithm
rewrite-expression-head
Rules
1417×frac-add
553×associate-*r/
450×flip3-+ flip-+
369×frac-times
150×add-exp-log
116×*-un-lft-identity
96×associate-*l/
83×times-frac prod-exp
48×add-sqr-sqrt add-cube-cbrt
47×add-cbrt-cube
43×div-exp
41×sqrt-prod
40×unpow-prod-down
26×distribute-lft-out
23×cbrt-unprod
19×pow1
18×fma-def
10×exp-sum distribute-lft-out--
9×pow-to-exp cbrt-undiv pow-prod-down pow-exp associate-/l*
8×rec-exp 1-exp sqr-pow
7×associate-/r*
6×add-log-exp
4×distribute-rgt-in expm1-log1p-u distribute-lft-in insert-posit16 log1p-expm1-u
3×associate-/r/
2×sqrt-pow1 associate-+l- div-inv
1×+-commutative clear-num sum-log frac-2neg pow1/2 exp-diff sqrt-div div-sub associate-*r* associate-*l* *-commutative pow-sub associate-/l/
Counts
4 → 586
Calls
4 calls:
Slowest
14.9s
(* (* (/ 1 (sqrt (exp (+ (- z -6) 0.5)))) (/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (exp (+ (- z -6) 0.5))))) (* (sqrt (* PI 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))))))
129.0ms
(/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (exp (+ (- z -6) 0.5))))
32.0ms
(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
4.0ms
(sqrt (* PI 2))

series1.2s

Counts
4 → 10
Calls
4 calls:
Slowest
887.0ms
(* (* (/ 1 (sqrt (exp (+ (- z -6) 0.5)))) (/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (exp (+ (- z -6) 0.5))))) (* (sqrt (* PI 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))))))
234.0ms
(/ (pow (+ (- z -6) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (exp (+ (- z -6) 0.5))))
55.0ms
(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
0.0ms
(sqrt (* PI 2))

simplify14.3s

Counts
596 → 596

prune22.9s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes149.0ms

Accuracy

0% (1.0b remaining)

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

bsearch17.0ms

end0.0ms

sample30.9s

Algorithm
intervals
Results
11.6s3992×body10240exit
7.3s3409×body1280valid
4.0s2475×body640valid
2.9s1523×body1280nan
1.7s1257×body640nan
1.5s1240×body320valid
838.0ms612×body320nan
408.0ms601×body160valid
254.0ms312×body160nan
103.0ms380×body80valid
97.0ms295×body80nan