Details

Time bar (total: 6.8m)

sample1.4s

Algorithm
intervals
Results
430.0ms43×body640nan
286.0ms111×body10240exit
186.0ms106×body1280valid
147.0ms79×body640valid
64.0ms46×body1280nan
60.0ms17×body320nan
38.0ms43×body320valid
12.0ms20×body160valid
7.0ms13×body160nan
4.0ms14×body80valid
3.0ms12×body80nan

simplify3.9s

Counts
1 → 1
Iterations

Useful iterations: 3 (1.4s)

IterNodesCost
0551620
11331620
24491620
328791540
done50001540

prune66.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize232.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))))
0.7b
(/ (* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
1.0b
(sqrt (* PI 2.0))

rewrite1.5m

Algorithm
rewrite-expression-head
Rules
1160×frac-add
308×flip3-+ flip-+
283×associate-*l/
145×associate-+l-
143×*-un-lft-identity pow-sub
141×associate-/l/
140×frac-times
108×distribute-lft-out
35×associate-*l*
30×add-exp-log
20×add-cbrt-cube
17×prod-exp
15×add-sqr-sqrt
10×add-cube-cbrt
9×pow1
7×unpow-prod-down cbrt-unprod
5×div-exp associate-*r*
4×expm1-log1p-u associate-/r* times-frac log1p-expm1-u add-log-exp
3×pow-to-exp cbrt-undiv pow-exp unswap-sqr
2×sqrt-pow1 exp-sum pow-prod-down associate-*r/ *-commutative sqrt-prod sqr-pow
1×unpow-prod-up clear-num frac-2neg pow1/2 exp-diff associate-/r/ div-inv associate-/l* distribute-lft-out--
Counts
4 → 400
Calls
4 calls:
1.2m
(* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))))
17.7s
(/ (* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
724.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
4.0ms
(sqrt (* PI 2.0))

series1.8s

Counts
4 → 10
Calls
4 calls:
601.0ms
(* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))))
805.0ms
(/ (* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
391.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
0.0ms
(sqrt (* PI 2.0))

simplify12.4s

Counts
410 → 410
Iterations

Useful iterations: done (11.9s)

IterNodesCost
01366784291
done5000713806

prune11.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize262.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (exp (+ (* (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5))) (log (sqrt (* PI 2.0))))))
0.7b
(/ (* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (exp (+ (* (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5))) (log (sqrt (* PI 2.0)))))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(sqrt (* PI 2.0))
4.4b
(+ (* (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5))) (log (sqrt (* PI 2.0))))

rewrite1.1m

Algorithm
rewrite-expression-head
Rules
580×frac-add
155×flip3-+ flip-+
153×*-un-lft-identity
140×associate-*l/
113×distribute-lft-out
70×associate-/l/
24×associate-*l*
16×log-prod
13×add-sqr-sqrt
12×associate-+l+
11×add-cbrt-cube add-cube-cbrt
9×pow1
7×add-exp-log
6×distribute-rgt-in distribute-lft-in
5×add-log-exp
4×expm1-log1p-u associate-+r+ associate-/r* times-frac associate-*r* log1p-expm1-u
3×exp-sum
2×cbrt-undiv sqrt-pow1 div-exp pow-prod-down prod-exp associate-+l- sqrt-prod cbrt-unprod distribute-lft-out--
1×+-commutative clear-num sum-log fma-def frac-2neg pow1/2 exp-diff associate-/r/ *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 251
Calls
4 calls:
48.4s
(* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (exp (+ (* (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5))) (log (sqrt (* PI 2.0))))))
17.1s
(/ (* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (exp (+ (* (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5))) (log (sqrt (* PI 2.0)))))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
7.0ms
(sqrt (* PI 2.0))
183.0ms
(+ (* (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5))) (log (sqrt (* PI 2.0))))

series1.2s

Counts
4 → 10
Calls
4 calls:
450.0ms
(* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (exp (+ (* (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5))) (log (sqrt (* PI 2.0))))))
618.0ms
(/ (* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (exp (+ (* (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5))) (log (sqrt (* PI 2.0)))))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))
153.0ms
(+ (* (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5))) (log (sqrt (* PI 2.0))))

simplify9.9s

Counts
261 → 261
Iterations

Useful iterations: done (9.7s)

IterNodesCost
01126399255
14403358428
done5000355473

prune4.4s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize156.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (/ (exp z) (exp (fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0)))))))
0.6b
(* (/ (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (/ (exp z) (exp (fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0))))))) (exp (- (- 1.0 7.0) 0.5)))
1.0b
(sqrt (* PI 2.0))
4.5b
(fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0))))

rewrite1.5m

Algorithm
rewrite-expression-head
Rules
4543×*-un-lft-identity
3399×distribute-lft-out
1359×times-frac
460×add-sqr-sqrt
445×add-cube-cbrt
389×associate-*l*
290×frac-add
175×exp-sum
148×fma-udef
77×flip3-+ flip-+
70×associate-/l/
51×div-inv
31×associate-*r*
24×prod-diff associate-/l*
18×add-cbrt-cube
16×associate-/r*
11×associate--l+ add-exp-log
9×pow1
6×cbrt-undiv div-exp
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×prod-exp cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
2×sub-neg sqrt-pow1 exp-diff pow-prod-down associate-/r/
1×frac-times clear-num frac-2neg pow1/2 associate-*l/ associate-*r/ *-commutative sqrt-prod
Counts
4 → 977
Calls
4 calls:
46.5s
(/ (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (/ (exp z) (exp (fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0)))))))
44.2s
(* (/ (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (/ (exp z) (exp (fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0))))))) (exp (- (- 1.0 7.0) 0.5)))
3.0ms
(sqrt (* PI 2.0))
0.0ms
(fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0))))

series1.4s

Counts
4 → 10
Calls
4 calls:
549.0ms
(/ (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (/ (exp z) (exp (fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0)))))))
706.0ms
(* (/ (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (/ (exp z) (exp (fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0))))))) (exp (- (- 1.0 7.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))
121.0ms
(fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0))))

simplify5.0s

Counts
987 → 987
Iterations

Useful iterations: done (4.5s)

IterNodesCost
08221847176
127631778045
done50001745556

prune4.7s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize149.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
0.5b
(* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (/ (exp (- (- 1.0 7.0) 0.5)) (exp (- z (fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0))))))))
1.0b
(sqrt (* PI 2.0))
4.5b
(fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0))))

rewrite57.9s

Algorithm
rewrite-expression-head
Rules
870×frac-add
789×*-un-lft-identity
733×exp-sum
615×prod-diff
531×add-sqr-sqrt
450×times-frac
442×add-cube-cbrt
439×associate-*r*
232×flip3-+ flip-+
212×distribute-lft-out
154×associate--l+
128×add-log-exp
103×sum-log
70×frac-times associate-*l/
59×sub-neg
45×distribute-lft-out--
42×difference-of-squares
24×associate-*l*
21×fma-def
9×pow1 add-cbrt-cube
7×add-exp-log
4×expm1-log1p-u log1p-expm1-u
3×associate-/r/
2×sqrt-pow1 pow-prod-down prod-exp cbrt-unprod div-inv unswap-sqr
1×cbrt-undiv +-commutative associate-+r+ pow1/2 exp-diff div-exp associate-*r/ *-commutative sqrt-prod fma-udef
Counts
4 → 788
Calls
4 calls:
13.0s
(+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
44.8s
(* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (/ (exp (- (- 1.0 7.0) 0.5)) (exp (- z (fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0))))))))
3.0ms
(sqrt (* PI 2.0))
0.0ms
(fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0))))

series947.0ms

Counts
4 → 10
Calls
4 calls:
158.0ms
(+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
662.0ms
(* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (/ (exp (- (- 1.0 7.0) 0.5)) (exp (- z (fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0))))))))
0.0ms
(sqrt (* PI 2.0))
127.0ms
(fma (+ (- z 1.0) 0.5) (log (+ (+ (- z 1.0) 7.0) 0.5)) (log (sqrt (* PI 2.0))))

simplify8.7s

Counts
798 → 798
Iterations

Useful iterations: done (8.1s)

IterNodesCost
019801655285
done50011515438

prune12.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

regimes111.0ms

Accuracy

0% (0.9b remaining)

Error of 0.9b against oracle of 0.0b and baseline of 0.9b

bsearch0.0ms

simplify18.0ms

Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
0631970
1811970
done811970

end0.0ms

sample22.5s

Algorithm
intervals
Results
8.8s3949×body10240exit
5.5s3435×body1280valid
2.6s2419×body640valid
1.7s1471×body1280nan
1.3s1303×body640nan
1.2s1236×body320valid
411.0ms620×body320nan
372.0ms647×body160valid
143.0ms361×body160nan
73.0ms284×body80nan
67.0ms370×body80valid