Details

Time bar (total: 2.4m)

sample2.2s

Algorithm
intervals
Results
1.9s122×body10240exit
82.0ms257×body80valid
64.0ms37×body1280nan
52.0ms41×body640nan
22.0ms26×body320nan
3.0ms5×body160nan
2.0ms7×body80nan

simplify2.8s

Counts
1 → 1
Iterations

Useful iterations: 3 (618.0ms)

IterNodesCost
060123
1148123
2611121
3456588
done500088

prune38.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.7b

localize88.0ms

Local error

Found 4 expressions with local error:

7.2b
(- (- 1.0 z) 1.0)
7.2b
(- (- 1.0 z) 1.0)
7.2b
(- (- 1.0 z) 1.0)
7.2b
(- (- 1.0 z) 1.0)

rewrite287.0ms

Algorithm
rewrite-expression-head
Rules
116×*-un-lft-identity
104×add-sqr-sqrt
96×prod-diff
64×add-cube-cbrt
44×associate--l+
28×distribute-lft-out--
24×add-log-exp
20×fma-neg difference-of-squares
12×diff-log
8×sub-neg
4×pow1 add-exp-log associate--l- expm1-log1p-u flip3-- add-cbrt-cube flip-- log1p-expm1-u
Counts
4 → 200
Calls
4 calls:
74.0ms
(- (- 1.0 z) 1.0)
59.0ms
(- (- 1.0 z) 1.0)
68.0ms
(- (- 1.0 z) 1.0)
71.0ms
(- (- 1.0 z) 1.0)

series84.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(- (- 1.0 z) 1.0)
19.0ms
(- (- 1.0 z) 1.0)
19.0ms
(- (- 1.0 z) 1.0)
24.0ms
(- (- 1.0 z) 1.0)

simplify2.3s

Counts
212 → 212
Iterations

Useful iterations: 3 (852.0ms)

IterNodesCost
0842848
11842172
25111656
330701312
done50001312

prune2.8s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.7b

localize120.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.9s

Algorithm
rewrite-expression-head
Rules
342×frac-add
249×*-un-lft-identity
171×add-log-exp
166×distribute-lft-out
135×sum-log
95×flip3-+ flip-+
39×fma-def
33×times-frac
15×add-sqr-sqrt add-cube-cbrt
9×distribute-rgt-neg-in
7×pow1
4×add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×+-commutative
2×associate-+l+ associate-+r+ sqrt-pow1 associate-/r/
1×pow1/2 pow-prod-down sqrt-prod div-inv
Counts
4 → 246
Calls
4 calls:
1.4s
(+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ (- z) 4.0))) (/ 771.3234287776531 (+ 3.0 (- z))))
13.5s
(+ (/ -1259.1392167224028 (+ 2.0 (- z))) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ (- z) 4.0))) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z))))))
34.0s
(+ (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ (- z) 4.0))) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z)))))))
5.0ms
(sqrt (* PI 2.0))

series750.0ms

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

simplify1.7s

Counts
256 → 256
Iterations

Useful iterations: done (1.6s)

IterNodesCost
073835846
1303330431
done500030307

prune4.8s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.2b

localize193.0ms

Local error

Found 4 expressions with local error:

0.9b
(fma (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (+ (- z) 4.0) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) -176.6150291621406))
1.0b
(+ (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ (fma -1259.1392167224028 (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0)) (* (- 3.0 z) (* (+ (- z) 7.0) (- 6.0 z)))) (* (- 2.0 z) (fma (fma (fma (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (+ (- z) 4.0) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) -176.6150291621406)) (- 3.0 z) (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0)) 771.3234287776531)) (* (+ (- z) 7.0) (- 6.0 z)) (* (fma 9.984369578019572e-06 (- 6.0 z) (* (+ (- z) 7.0) -0.13857109526572012)) (* (- 3.0 z) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0))))))) (* (- 2.0 z) (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0)) (* (- 3.0 z) (* (+ (- z) 7.0) (- 6.0 z)))))))
1.0b
(sqrt (* PI 2.0))
1.5b
(fma -1259.1392167224028 (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0)) (* (- 3.0 z) (* (+ (- z) 7.0) (- 6.0 z)))) (* (- 2.0 z) (fma (fma (fma (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (+ (- z) 4.0) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) -176.6150291621406)) (- 3.0 z) (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0)) 771.3234287776531)) (* (+ (- z) 7.0) (- 6.0 z)) (* (fma 9.984369578019572e-06 (- 6.0 z) (* (+ (- z) 7.0) -0.13857109526572012)) (* (- 3.0 z) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0)))))))

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
60×*-un-lft-identity
25×distribute-lft-out
18×times-frac
13×fma-def
9×add-log-exp
7×pow1
6×distribute-rgt-neg-in
5×add-sqr-sqrt add-cube-cbrt
4×add-exp-log expm1-log1p-u frac-add add-cbrt-cube log1p-expm1-u
3×sum-log
2×sqrt-pow1 flip3-+ flip-+ fma-udef
1×+-commutative associate-+l+ pow1/2 pow-prod-down sqrt-prod
Counts
4 → 66
Calls
4 calls:
0.0ms
(fma (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (+ (- z) 4.0) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) -176.6150291621406))
1.8s
(+ (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ (fma -1259.1392167224028 (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0)) (* (- 3.0 z) (* (+ (- z) 7.0) (- 6.0 z)))) (* (- 2.0 z) (fma (fma (fma (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (+ (- z) 4.0) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) -176.6150291621406)) (- 3.0 z) (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0)) 771.3234287776531)) (* (+ (- z) 7.0) (- 6.0 z)) (* (fma 9.984369578019572e-06 (- 6.0 z) (* (+ (- z) 7.0) -0.13857109526572012)) (* (- 3.0 z) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0))))))) (* (- 2.0 z) (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0)) (* (- 3.0 z) (* (+ (- z) 7.0) (- 6.0 z)))))))
5.0ms
(sqrt (* PI 2.0))
0.0ms
(fma -1259.1392167224028 (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0)) (* (- 3.0 z) (* (+ (- z) 7.0) (- 6.0 z)))) (* (- 2.0 z) (fma (fma (fma (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (+ (- z) 4.0) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) -176.6150291621406)) (- 3.0 z) (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0)) 771.3234287776531)) (* (+ (- z) 7.0) (- 6.0 z)) (* (fma 9.984369578019572e-06 (- 6.0 z) (* (+ (- z) 7.0) -0.13857109526572012)) (* (- 3.0 z) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (+ (- z) 4.0)))))))

series2.2s

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

simplify1.4s

Counts
76 → 76
Iterations

Useful iterations: 2 (479.0ms)

IterNodesCost
02128354
15598080
222616957
done50006957

prune2.2s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.1b

localize211.0ms

Local error

Found 4 expressions with local error:

0.9b
(fma (- 4.0 z) (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) -176.6150291621406))
1.0b
(+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 12.507343278686905 (- 5.0 z))) (/ (/ (fma (* (- 3.0 z) (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (- 4.0 z)) (* (- 7.0 z) (- 6.0 z)))) -1259.1392167224028 (* (fma (fma (fma (- 4.0 z) (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) -176.6150291621406)) (- 3.0 z) (* (* 771.3234287776531 (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)))) (- 4.0 z))) (* (- 7.0 z) (- 6.0 z)) (* (fma 9.984369578019572e-06 (- 6.0 z) (* (- 7.0 z) -0.13857109526572012)) (* (* (- 3.0 z) (- 4.0 z)) (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)))))) (- 2.0 z))) (* (- 2.0 z) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (- 4.0 z)))) (* (- 6.0 z) (* (- 7.0 z) (- 3.0 z)))))
1.0b
(sqrt (* PI 2.0))
1.5b
(fma (* (- 3.0 z) (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (- 4.0 z)) (* (- 7.0 z) (- 6.0 z)))) -1259.1392167224028 (* (fma (fma (fma (- 4.0 z) (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) -176.6150291621406)) (- 3.0 z) (* (* 771.3234287776531 (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)))) (- 4.0 z))) (* (- 7.0 z) (- 6.0 z)) (* (fma 9.984369578019572e-06 (- 6.0 z) (* (- 7.0 z) -0.13857109526572012)) (* (* (- 3.0 z) (- 4.0 z)) (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)))))) (- 2.0 z)))

rewrite837.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
9×add-log-exp
8×fma-def times-frac distribute-lft-out
7×pow1
5×add-sqr-sqrt add-cube-cbrt
4×add-exp-log expm1-log1p-u frac-add add-cbrt-cube log1p-expm1-u distribute-lft-out--
3×sum-log
2×sqrt-pow1 flip3-+ flip-+ fma-udef
1×+-commutative associate-+l+ pow1/2 pow-prod-down sqrt-prod
Counts
4 → 61
Calls
4 calls:
1.0ms
(fma (- 4.0 z) (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) -176.6150291621406))
827.0ms
(+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 12.507343278686905 (- 5.0 z))) (/ (/ (fma (* (- 3.0 z) (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (- 4.0 z)) (* (- 7.0 z) (- 6.0 z)))) -1259.1392167224028 (* (fma (fma (fma (- 4.0 z) (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) -176.6150291621406)) (- 3.0 z) (* (* 771.3234287776531 (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)))) (- 4.0 z))) (* (- 7.0 z) (- 6.0 z)) (* (fma 9.984369578019572e-06 (- 6.0 z) (* (- 7.0 z) -0.13857109526572012)) (* (* (- 3.0 z) (- 4.0 z)) (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)))))) (- 2.0 z))) (* (- 2.0 z) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (- 4.0 z)))) (* (- 6.0 z) (* (- 7.0 z) (- 3.0 z)))))
5.0ms
(sqrt (* PI 2.0))
1.0ms
(fma (* (- 3.0 z) (* (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) (- 4.0 z)) (* (- 7.0 z) (- 6.0 z)))) -1259.1392167224028 (* (fma (fma (fma (- 4.0 z) (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099))) -176.6150291621406)) (- 3.0 z) (* (* 771.3234287776531 (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)))) (- 4.0 z))) (* (- 7.0 z) (- 6.0 z)) (* (fma 9.984369578019572e-06 (- 6.0 z) (* (- 7.0 z) -0.13857109526572012)) (* (* (- 3.0 z) (- 4.0 z)) (fma 0.9999999999998099 0.9999999999998099 (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)))))) (- 2.0 z)))

series1.8s

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

simplify1.2s

Counts
71 → 71
Iterations

Useful iterations: 2 (423.0ms)

IterNodesCost
02167842
15587616
222436882
done50026882

prune1.8s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.1b

regimes1.0s

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify17.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
071232
197232
done97232

end0.0ms

sample1.1m

Algorithm
intervals
Results
53.1s3859×body10240exit
3.0s1491×body1280nan
2.9s8080×body80valid
2.5s1246×body640nan
1.1s601×body320nan
663.0ms297×body160nan
103.0ms276×body80nan