Details

Time bar (total: 2.4m)

sample2.9s

Algorithm
intervals
Results
2.1s131×body10240exit
473.0ms29×body320nan
92.0ms47×body1280nan
86.0ms257×body80valid
48.0ms36×body640nan
8.0ms11×body160nan
2.0ms7×body80nan

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 3 (840.0ms)

IterNodesCost
060123
1148123
2611121
3387888
done500188

prune73.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.7b

localize111.0ms

Local error

Found 4 expressions with local error:

5.6b
(- (- 1.0 z) 1.0)
5.6b
(- (- 1.0 z) 1.0)
5.6b
(- (- 1.0 z) 1.0)
5.6b
(- (- 1.0 z) 1.0)

rewrite313.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:
50.0ms
(- (- 1.0 z) 1.0)
62.0ms
(- (- 1.0 z) 1.0)
94.0ms
(- (- 1.0 z) 1.0)
89.0ms
(- (- 1.0 z) 1.0)

series69.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(- (- 1.0 z) 1.0)
12.0ms
(- (- 1.0 z) 1.0)
21.0ms
(- (- 1.0 z) 1.0)
21.0ms
(- (- 1.0 z) 1.0)

simplify2.9s

Counts
212 → 212
Iterations

Useful iterations: done (2.9s)

IterNodesCost
0842848
11692152
23211656
312401132
done5000904

prune2.7s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.7b

localize80.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.3s

Algorithm
rewrite-expression-head
Rules
190×frac-add
146×*-un-lft-identity
116×add-log-exp
100×distribute-lft-out
90×sum-log
47×flip3-+ flip-+
30×fma-def
15×add-sqr-sqrt add-cube-cbrt times-frac
7×pow1
4×add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×+-commutative distribute-rgt-neg-in
2×associate-+l+ sqrt-pow1 associate-/r/
1×associate-+r+ pow1/2 pow-prod-down sqrt-prod div-inv
Counts
4 → 176
Calls
4 calls:
238.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z))))
1.5s
(+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z))))
24.5s
(+ (/ -1259.1392167224028 (+ (- z) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z))))))))
8.0ms
(sqrt (* PI 2.0))

series453.0ms

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

simplify1.4s

Counts
186 → 186
Iterations

Useful iterations: done (1.3s)

IterNodesCost
068920910
1268517050
done500016928

prune3.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

localize177.0ms

Local error

Found 4 expressions with local error:

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

rewrite330.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
8×pow1
7×add-sqr-sqrt add-cube-cbrt
6×distribute-lft-out
5×add-exp-log unpow-prod-down cube-prod add-cbrt-cube
4×cube-div expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-unpow
2×sqrt-pow1 flip3-+ frac-add flip-+ fma-udef
1×cube-mult pow-to-exp pow-pow pow1/2 unpow3 pow-prod-down pow-exp sqrt-prod rem-cube-cbrt sqr-pow
Counts
4 → 66
Calls
4 calls:
1.0ms
(fma (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))))
8.0ms
(sqrt (* PI 2.0))
318.0ms
(pow (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3)
1.0ms
(fma -1259.1392167224028 (* (* (fma (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))))) (- 5.0 z)) (* (* (+ (- z) 7.0) (- 6.0 z)) (- 8.0 z))) (* (fma (+ (pow (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3) (pow (/ 771.3234287776531 (- 3.0 z)) 3)) (* (* (* (+ (- z) 7.0) (- 6.0 z)) (- 8.0 z)) (- 5.0 z)) (* (fma (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))))) (fma 12.507343278686905 (* (* (+ (- z) 7.0) (- 6.0 z)) (- 8.0 z)) (* (- 5.0 z) (fma 1.5056327351493116e-07 (* (+ (- z) 7.0) (- 6.0 z)) (* (- 8.0 z) (fma 9.984369578019572e-06 (- 6.0 z) (* (+ (- z) 7.0) -0.13857109526572012)))))))) (+ (- z) 2.0)))

series1.6s

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

simplify1.9s

Counts
76 → 76
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02194659
15964553
221093479
done50013445

prune2.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize154.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
408×associate-*r/
272×frac-times
248×associate-*l/
216×flip3-- flip--
162×frac-add
83×flip3-+ flip-+
17×*-un-lft-identity
8×pow1
7×add-sqr-sqrt add-cube-cbrt
6×distribute-lft-out add-log-exp
5×add-exp-log unpow-prod-down cube-prod add-cbrt-cube
4×cube-div expm1-log1p-u log1p-expm1-u
3×pow-unpow
2×associate-+r+ sqrt-pow1
1×+-commutative distribute-rgt-in cube-mult pow-to-exp pow-pow fma-def distribute-lft-in pow1/2 unpow3 pow-prod-down pow-exp sum-log sqrt-prod fma-udef rem-cube-cbrt sqr-pow
Counts
4 → 232
Calls
4 calls:
1.0ms
(fma (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))))
9.0ms
(sqrt (* PI 2.0))
263.0ms
(pow (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3)
1.2s
(+ (* (fma (- (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 771.3234287776531 (- 3.0 z)) (pow (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (- 4.0 z))) 2)) (* (* (* (- 5.0 z) (- 7.0 z)) (* (- 6.0 z) (- 8.0 z))) -1259.1392167224028)) (* (fma (+ (pow (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3) (pow (/ 771.3234287776531 (- 3.0 z)) 3)) (* (* (* (+ (- z) 7.0) (- 6.0 z)) (- 8.0 z)) (- 5.0 z)) (* (fma (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))))) (fma 12.507343278686905 (* (* (+ (- z) 7.0) (- 6.0 z)) (- 8.0 z)) (* (- 5.0 z) (fma 1.5056327351493116e-07 (* (+ (- z) 7.0) (- 6.0 z)) (* (- 8.0 z) (fma 9.984369578019572e-06 (- 6.0 z) (* (+ (- z) 7.0) -0.13857109526572012)))))))) (+ (- z) 2.0)))

series2.7s

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

simplify968.0ms

Counts
242 → 242
Iterations

Useful iterations: done (908.0ms)

IterNodesCost
0125950837
done500045376

prune12.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes512.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify13.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
082312
1111312
done111312

end0.0ms

sample1.3m

Algorithm
intervals
Results
1.1m3898×body10240exit
4.0s8091×body80valid
3.7s1469×body1280nan
2.1s1247×body640nan
1.6s649×body320nan
316.0ms282×body160nan
86.0ms284×body80nan
0.0ms1×body160valid