Details

Time bar (total: 2.3m)

sample2.8s

Algorithm
intervals
Results
2.3s134×body10240exit
188.0ms65×body1280nan
110.0ms261×body80valid
57.0ms40×body640nan
24.0ms22×body320nan
7.0ms10×body160nan
2.0ms6×body80nan

simplify3.0s

Counts
1 → 1
Iterations

Useful iterations: 3 (1.4s)

IterNodesCost
060123
1148123
2611121
3387888
done500188

prune64.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.8b

localize108.0ms

Local error

Found 4 expressions with local error:

3.7b
(- (- 1.0 z) 1.0)
3.7b
(- (- 1.0 z) 1.0)
3.7b
(- (- 1.0 z) 1.0)
3.7b
(- (- 1.0 z) 1.0)

rewrite230.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:
51.0ms
(- (- 1.0 z) 1.0)
55.0ms
(- (- 1.0 z) 1.0)
53.0ms
(- (- 1.0 z) 1.0)
62.0ms
(- (- 1.0 z) 1.0)

series62.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(- (- 1.0 z) 1.0)
17.0ms
(- (- 1.0 z) 1.0)
14.0ms
(- (- 1.0 z) 1.0)
18.0ms
(- (- 1.0 z) 1.0)

simplify2.9s

Counts
212 → 212
Iterations

Useful iterations: done (2.9s)

IterNodesCost
0842848
11692152
23211656
312401132
done5000904

prune2.9s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.8b

localize103.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z)))))
1.0b
(+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z))))
1.0b
(sqrt (* PI 2.0))
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))))))))

rewrite27.5s

Algorithm
rewrite-expression-head
Rules
380×*-un-lft-identity
213×distribute-lft-out
192×frac-add
116×add-log-exp
111×times-frac
90×sum-log
48×flip3-+ flip-+
47×fma-def
33×distribute-rgt-neg-in
23×add-sqr-sqrt add-cube-cbrt
7×pow1
4×add-exp-log expm1-log1p-u associate-/r/ add-cbrt-cube log1p-expm1-u
3×+-commutative
2×associate-+r+ sqrt-pow1 div-inv
1×associate-+l+ pow1/2 pow-prod-down sqrt-prod
Counts
4 → 221
Calls
4 calls:
555.0ms
(+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z)))))
1.5s
(+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z))))
5.0ms
(sqrt (* PI 2.0))
25.3s
(+ (/ -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))))))))

series583.0ms

Counts
4 → 10
Calls
4 calls:
203.0ms
(+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z)))))
130.0ms
(+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z))))
0.0ms
(sqrt (* PI 2.0))
249.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))))))))

simplify1.3s

Counts
231 → 231
Iterations

Useful iterations: done (1.3s)

IterNodesCost
069421712
1270017738
done500017614

prune3.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.2b

localize186.0ms

Local error

Found 4 expressions with local error:

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

rewrite168.0ms

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

series1.7s

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

simplify1.3s

Counts
74 → 74
Iterations

Useful iterations: 2 (470.0ms)

IterNodesCost
02363963
15783916
220433281
done50003281

prune2.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize289.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.2s

Algorithm
rewrite-expression-head
Rules
2444×*-un-lft-identity
936×times-frac
856×distribute-lft-out
312×distribute-lft-out--
155×swap-sqr
104×distribute-rgt-neg-in
48×frac-add
25×frac-times
24×flip3-+ flip-+
17×associate-*r* associate-*l*
14×pow1
10×add-sqr-sqrt
8×add-cube-cbrt
6×add-exp-log add-cbrt-cube
5×associate-*r/ associate-*l/
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×sqrt-pow1 pow-prod-down fma-udef
1×pow2 distribute-rgt-in distribute-lft-in pow-plus pow1/2 prod-exp sqrt-prod pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
Counts
4 → 277
Calls
4 calls:
3.1s
(* (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0)))) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0)))))
1.0ms
(fma (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z)) (- (* (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0)))) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0)))))))
11.0ms
(sqrt (* PI 2.0))
1.0ms
(fma -1259.1392167224028 (* (* (- 4.0 z) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (- 3.0 z) (- (- (/ 12.507343278686905 (- 5.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0)))))) (* (+ (- z) 2.0) (fma (fma (fma (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (- 4.0 z) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) -176.6150291621406)) (- 3.0 z) (* (+ (sqrt 0.9999999999998099) (sqrt (/ 676.5203681218851 (- 1.0 z)))) (* (- (sqrt 0.9999999999998099) (sqrt (/ 676.5203681218851 (- 1.0 z)))) (* (- 4.0 z) 771.3234287776531)))) (- (- (/ 12.507343278686905 (- 5.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0)))) (* (* (- 4.0 z) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (- 3.0 z) (fma (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z)) (- (* (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0)))) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))))))))))))

series3.6s

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

simplify774.0ms

Counts
287 → 287
Iterations

Useful iterations: done (734.0ms)

IterNodesCost
035416197
1115214690
done500113921

prune3.0s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

regimes644.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify49.0ms

Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
081272
1110272
2114272
3120272
4124272
done124272

end0.0ms

sample1.3m

Algorithm
intervals
Results
1.1m3969×body10240exit
4.8s1473×body1280nan
4.5s8098×body80valid
2.2s1153×body640nan
828.0ms656×body320nan
249.0ms328×body160nan
122.0ms281×body80nan
1.0ms1×body160valid