Details

Time bar (total: 3.7m)

sample1.3s

Algorithm
intervals
Results
735.0ms154×body10240exit
160.0ms260×body80valid
144.0ms45×body1280nan
122.0ms46×body640nan
50.0ms10×body160nan
39.0ms25×body320nan
4.0ms8×body80nan

simplify353.0ms

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

prune66.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize184.0ms

Local error

Found 4 expressions with local error:

2.6b
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
2.3b
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b
(sqrt (* 2 PI))
1.0b
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))

rewrite4.3s

Algorithm
rewrite-expression-head
Rules
1068×*-un-lft-identity
361×distribute-lft-out
342×times-frac
255×distribute-lft-out--
30×add-log-exp
23×frac-add
22×fma-def
17×sum-log
12×flip3-+ flip-+
7×add-sqr-sqrt pow1 add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×+-commutative associate-+l+
2×sqrt-pow1
1×associate-+r+ pow1/2 pow-prod-down sqrt-prod
Counts
4 → 193
Calls
4 calls:
Slowest
2.5s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.3s
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
537.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
4.0ms
(sqrt (* 2 PI))

series295.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
154.0ms
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
77.0ms
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
64.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
0.0ms
(sqrt (* 2 PI))

simplify53.3s

Counts
199 → 203
Calls
199 calls:
Slowest
764.0ms
(+ (* (+ (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3) (pow (/ 12.507343278686905 (- 6 (+ z 1))) 3)) (* (- 9 (+ z 1)) (- (- 1 z) -6))) (* (+ (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (+ (* 1.5056327351493116e-07 (- (- 1 z) -6)) (* (- 9 (+ z 1)) 9.984369578019572e-06))))
762.0ms
(+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3))
723.0ms
(* (* (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))))
687.0ms
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
587.0ms
(+ (* (+ (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3) (pow (/ 12.507343278686905 (- 6 (+ z 1))) 3)) (- (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))) (* (+ (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (- (* (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 1.5056327351493116e-07 (- 9 (+ z 1)))) (* (/ 9.984369578019572e-06 (- (- 1 z) -6)) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))

prune8.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize251.0ms

Local error

Found 4 expressions with local error:

2.0b
(fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z))))
1.0b
(fma (fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)))) (- 4 z) (* -176.6150291621406 (fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (* (- (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))))
1.0b
(sqrt (* 2 PI))
1.0b
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
1045×*-un-lft-identity
348×distribute-lft-out
342×times-frac
255×distribute-lft-out--
16×add-log-exp
15×frac-add
13×fma-def
8×sum-log
7×pow1 flip3-+ flip-+
5×add-sqr-sqrt add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×sqrt-pow1 fma-udef
1×+-commutative associate-+l+ associate-+r+ pow1/2 pow-prod-down sqrt-prod
Counts
4 → 162
Calls
4 calls:
Slowest
1.1s
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
4.0ms
(sqrt (* 2 PI))
0.0ms
(fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z))))
0.0ms
(fma (fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)))) (- 4 z) (* -176.6150291621406 (fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (* (- (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))))

series560.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
285.0ms
(fma (fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)))) (- 4 z) (* -176.6150291621406 (fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (* (- (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))))
138.0ms
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
136.0ms
(fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z))))
0.0ms
(sqrt (* 2 PI))

simplify48.6s

Counts
169 → 172
Calls
169 calls:
Slowest
851.0ms
(+ (* (+ (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3) (pow (/ 12.507343278686905 (- 6 (+ z 1))) 3)) (* (- 9 (+ z 1)) (- (- 1 z) -6))) (* (+ (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (+ (* 1.5056327351493116e-07 (- (- 1 z) -6)) (* (- 9 (+ z 1)) 9.984369578019572e-06))))
795.0ms
(* (* (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))))
679.0ms
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
600.0ms
(* (fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)))) (- 4 z))
580.0ms
(+ (* (- (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))) (* (- 9 (+ z 1)) (- (- 1 z) -6))) (* (- (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (* 1.5056327351493116e-07 (- (- 1 z) -6)) (* (- 9 (+ z 1)) 9.984369578019572e-06))))

prune9.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize242.0ms

Local error

Found 4 expressions with local error:

6.1b
(- (- 1 z) 1)
2.0b
(fma (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))))
1.0b
(fma (fma (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))))) (- 4 z) (* (fma (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (* (- (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z)))) -176.6150291621406))
1.0b
(sqrt (* 2 PI))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
36×add-sqr-sqrt
27×prod-diff
20×add-cube-cbrt
11×associate--l+
10×difference-of-squares
9×add-log-exp
7×pow1 distribute-lft-out--
6×fma-neg
5×add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
3×diff-log
2×sub-neg sqrt-pow1 fma-udef
1×associate--l- expm1-def flip3-- pow1/2 difference-of-sqr-1 pow-prod-down sqrt-prod flip--
Counts
4 → 94
Calls
4 calls:
Slowest
41.0ms
(- (- 1 z) 1)
7.0ms
(sqrt (* 2 PI))
0.0ms
(fma (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))))
0.0ms
(fma (fma (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))))) (- 4 z) (* (fma (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (* (- (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z)))) -176.6150291621406))

series392.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
263.0ms
(fma (fma (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))))) (- 4 z) (* (fma (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (* (- (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z)))) -176.6150291621406))
114.0ms
(fma (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))))
14.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

simplify14.8s

Counts
126 → 104
Calls
126 calls:
Slowest
582.0ms
(fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1))))
502.0ms
(fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1))))
455.0ms
(fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
455.0ms
(exp (fma (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))))))
409.0ms
(sqrt (fma (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))))))

prune5.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize163.0ms

Local error

Found 4 expressions with local error:

6.1b
(- (- 1 z) 1)
1.0b
(sqrt (* 2 PI))
1.0b
(+ (/ -0.13857109526572012 (- 6 z)) (+ (/ 12.507343278686905 (- 5 z)) (/ 1.5056327351493116e-07 (- 8 z))))
1.0b
(+ (+ (/ -0.13857109526572012 (- 6 z)) (+ (/ 12.507343278686905 (- 5 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
445×*-un-lft-identity
159×times-frac
116×distribute-lft-out
94×distribute-lft-out--
52×add-sqr-sqrt
34×fma-def
30×add-cube-cbrt
27×prod-diff
23×add-log-exp
13×frac-add difference-of-squares
11×associate--l+
9×sum-log
7×pow1
6×fma-neg
5×flip3-+ add-exp-log flip-+
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
3×diff-log
2×+-commutative sub-neg sqrt-pow1 flip3-- associate-/r/ flip--
1×associate--l- associate-+l+ associate-+r+ expm1-def pow1/2 difference-of-sqr-1 pow-prod-down sqrt-prod div-inv
Counts
4 → 184
Calls
4 calls:
Slowest
937.0ms
(+ (+ (/ -0.13857109526572012 (- 6 z)) (+ (/ 12.507343278686905 (- 5 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))
169.0ms
(+ (/ -0.13857109526572012 (- 6 z)) (+ (/ 12.507343278686905 (- 5 z)) (/ 1.5056327351493116e-07 (- 8 z))))
56.0ms
(- (- 1 z) 1)
7.0ms
(sqrt (* 2 PI))

series272.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
145.0ms
(+ (+ (/ -0.13857109526572012 (- 6 z)) (+ (/ 12.507343278686905 (- 5 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))
113.0ms
(+ (/ -0.13857109526572012 (- 6 z)) (+ (/ 12.507343278686905 (- 5 z)) (/ 1.5056327351493116e-07 (- 8 z))))
13.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

simplify25.4s

Counts
192 → 194
Calls
192 calls:
Slowest
993.0ms
(fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1))))
665.0ms
(* (* (+ (+ (/ -0.13857109526572012 (- 6 z)) (+ (/ 12.507343278686905 (- 5 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (/ 9.984369578019572e-06 (- (- 1 z) -6))) (+ (+ (/ -0.13857109526572012 (- 6 z)) (+ (/ 12.507343278686905 (- 5 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))) (+ (+ (/ -0.13857109526572012 (- 6 z)) (+ (/ 12.507343278686905 (- 5 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
607.0ms
(fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1))))
564.0ms
(* (* (- 6 z) (- (/ 12.507343278686905 (- 5 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (- (- 1 z) -6))
563.0ms
(+ (* -0.13857109526572012 (- (/ 12.507343278686905 (- 5 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (* (- 6 z) (- (* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z))) (* (/ 1.5056327351493116e-07 (- 8 z)) (/ 1.5056327351493116e-07 (- 8 z))))))

prune8.6s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes222.0ms

Accuracy

0% (1.2b remaining)

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

bsearch15.0ms

end0.0ms

sample39.7s

Algorithm
intervals
Results
22.1s3801×body10240exit
6.2s8080×body80valid
5.9s1406×body1280nan
3.0s1167×body640nan
1.6s609×body320nan
380.0ms294×body160nan
152.0ms268×body80nan