Details

Time bar (total: 9.4m)

sample1.3s

Algorithm
intervals
Results
676.0ms133×body10240exit
176.0ms261×body80valid
163.0ms45×body1280nan
97.0ms42×body640nan
28.0ms18×body320nan
11.0ms10×body160nan
6.0ms10×body80nan

simplify269.0ms

Calls
1 calls:
Slowest
268.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)))))

prune67.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.4b

localize167.0ms

Local error

Found 4 expressions with local error:

5.9b
(- (- 1 z) 1)
1.0b
(sqrt (* 2 PI))
1.0b
(* (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)) (/ 1 (exp (+ (+ (- 1 z) 6) 0.5))))
1.0b
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
11×add-exp-log
8×add-sqr-sqrt
7×*-un-lft-identity associate-*l* add-cube-cbrt
6×add-cbrt-cube prod-exp
5×associate-*r*
4×pow1 associate-+l- insert-posit16 add-log-exp
3×rec-exp unpow-prod-down
2×pow-to-exp sub-neg pow-exp associate--l+ pow-sub
1×associate--l- frac-times unpow-prod-up +-commutative flip3-+ flip3-- pow1/2 exp-diff difference-of-sqr-1 associate-*l/ associate-*r/ associate-/r/ un-div-inv *-commutative sqrt-prod cbrt-unprod flip-+ div-inv flip--
Calls
4 calls:
Slowest
145.0ms
(* (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)) (/ 1 (exp (+ (+ (- 1 z) 6) 0.5))))
10.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
4.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

series111.0ms

Calls
4 calls:
Slowest
89.0ms
(* (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)) (/ 1 (exp (+ (+ (- 1 z) 6) 0.5))))
15.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
6.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

simplify9.7s

Calls
35 calls:
Slowest
836.0ms
(+ (log (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5))) (log (/ 1 (exp (+ (+ (- 1 z) 6) 0.5)))))
681.0ms
(pow (sqrt (+ (+ (- 1 z) 6) 0.5)) (+ (- (- 1 z) 1) 0.5))
679.0ms
(pow (* (cbrt (+ (+ (- 1 z) 6) 0.5)) (cbrt (+ (+ (- 1 z) 6) 0.5))) (+ (- (- 1 z) 1) 0.5))
670.0ms
(sqrt (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)))
636.0ms
(* (cbrt (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5))) (cbrt (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5))))

prune3.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize26.0ms

Local error

Found 4 expressions with local error:

5.9b
(- (- 1 z) 1)
1.0b
(sqrt (* 2 PI))
1.0b
(* (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)) (/ 1 (exp (+ (+ (- 1 z) 6) 0.5))))
1.0b
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)

rewrite213.0ms

Algorithm
rewrite-expression-head
Rules
11×add-exp-log
8×add-sqr-sqrt
7×*-un-lft-identity associate-*l* add-cube-cbrt
6×add-cbrt-cube prod-exp
5×associate-*r*
4×pow1 associate-+l- insert-posit16 add-log-exp
3×rec-exp unpow-prod-down
2×pow-to-exp sub-neg pow-exp associate--l+ pow-sub
1×associate--l- frac-times unpow-prod-up +-commutative flip3-+ flip3-- pow1/2 exp-diff difference-of-sqr-1 associate-*l/ associate-*r/ associate-/r/ un-div-inv *-commutative sqrt-prod cbrt-unprod flip-+ div-inv flip--
Calls
4 calls:
Slowest
202.0ms
(* (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)) (/ 1 (exp (+ (+ (- 1 z) 6) 0.5))))
5.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
4.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

series95.0ms

Calls
4 calls:
Slowest
74.0ms
(* (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)) (/ 1 (exp (+ (+ (- 1 z) 6) 0.5))))
14.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
6.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

simplify8.7s

Calls
34 calls:
Slowest
669.0ms
(pow (* (cbrt (+ (+ (- 1 z) 6) 0.5)) (cbrt (+ (+ (- 1 z) 6) 0.5))) (+ (- (- 1 z) 1) 0.5))
645.0ms
(- (+ (* 0.5688888888888889 (* (/ (pow z 2) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (+ (* 1/2 (* (/ (* (pow (log 7.5) 2) (pow z 2)) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (+ (* (pow (pow 7.5 1.0) 0.5) (/ 1 (exp 7.5))) (* 0.9333333333333333 (* (/ z (exp 7.5)) (pow (pow 7.5 1.0) 0.5)))))) (+ (* 0.25 (* (/ (pow z 2) (exp 7.5)) (pow (/ 1 (pow 7.5 3.0)) 0.5))) (+ (* 0.9333333333333333 (* (/ (* (log 7.5) (pow z 2)) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* (/ (* (log 7.5) z) (exp 7.5)) (pow (pow 7.5 1.0) 0.5)))))
577.0ms
(* (cbrt (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5))) (cbrt (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5))))
574.0ms
(pow (sqrt (+ (+ (- 1 z) 6) 0.5)) (+ (- (- 1 z) 1) 0.5))
565.0ms
(sqrt (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)))

prune3.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize31.0ms

Local error

Found 4 expressions with local error:

5.9b
(- (- 1 z) 1)
5.9b
(- (- 1 z) 1)
1.0b
(sqrt (* 2 PI))
1.0b
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 sub-neg *-un-lft-identity add-cbrt-cube associate--l+ add-exp-log add-cube-cbrt insert-posit16 add-log-exp
2×associate--l- flip3-- difference-of-sqr-1 flip--
1×+-commutative flip3-+ pow1/2 sqrt-prod flip-+
Calls
4 calls:
Slowest
8.0ms
(- (- 1 z) 1)
5.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
3.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

series27.0ms

Calls
4 calls:
Slowest
14.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
7.0ms
(- (- 1 z) 1)
6.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

simplify1.2s

Calls
13 calls:
Slowest
604.0ms
(sqrt (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)))
263.0ms
(- 0.9999999999998099 (+ (* 2313.9702863329594 (/ 1 (pow z 2))) (* 771.3234287776531 (/ 1 z))))
248.0ms
(- 0.9999999999998099 (+ (* 2313.9702863329594 (/ 1 (pow z 2))) (* 771.3234287776531 (/ 1 z))))
76.0ms
(+ (* 85.702603197517 z) (+ (* 28.567534399172338 (pow z 2)) 258.10780959255084))
14.0ms
(+ (sqrt (- 1 z)) 1)

prune3.3s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.1b

localize64.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* 2 PI))
1.0b
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
0.5b
(* (/ PI (sin (* PI z))) (sqrt (* 2 PI)))
0.5b
(* (* (* (/ PI (sin (* PI z))) (sqrt (* 2 PI))) (/ (* (pow (+ (+ (- 1 z) 6) 0.5) (- 1 z)) 1) (* (pow (+ (+ (- 1 z) 6) 0.5) (- 1 0.5)) (exp (+ (+ (- 1 z) 6) 0.5))))) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))) (+ (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (/ -0.13857109526572012 (- 7 (+ z 1))))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (+ (- 1 z) 6)))))

rewrite3.3s

Algorithm
rewrite-expression-head
Rules
2016×frac-add
737×flip3-+ flip-+
513×frac-times
391×associate-*l/
257×associate-*r/
111×*-un-lft-identity
84×distribute-lft-out
49×add-exp-log
35×add-cbrt-cube
33×prod-exp
27×associate-*r*
19×cbrt-unprod
15×pow1
8×div-exp
7×add-sqr-sqrt pow-prod-down add-cube-cbrt
5×associate-*l*
4×cbrt-undiv insert-posit16 add-log-exp
2×pow-to-exp pow-exp *-commutative sqrt-prod
1×distribute-rgt-in +-commutative distribute-lft-in pow1/2 div-inv
Calls
4 calls:
Slowest
3.3s
(* (* (* (/ PI (sin (* PI z))) (sqrt (* 2 PI))) (/ (* (pow (+ (+ (- 1 z) 6) 0.5) (- 1 z)) 1) (* (pow (+ (+ (- 1 z) 6) 0.5) (- 1 0.5)) (exp (+ (+ (- 1 z) 6) 0.5))))) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))) (+ (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (/ -0.13857109526572012 (- 7 (+ z 1))))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (+ (- 1 z) 6)))))
10.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
8.0ms
(* (/ PI (sin (* PI z))) (sqrt (* 2 PI)))
1.0ms
(sqrt (* 2 PI))

series768.0ms

Calls
4 calls:
Slowest
531.0ms
(* (* (* (/ PI (sin (* PI z))) (sqrt (* 2 PI))) (/ (* (pow (+ (+ (- 1 z) 6) 0.5) (- 1 z)) 1) (* (pow (+ (+ (- 1 z) 6) 0.5) (- 1 0.5)) (exp (+ (+ (- 1 z) 6) 0.5))))) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))) (+ (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (/ -0.13857109526572012 (- 7 (+ z 1))))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (+ (- 1 z) 6)))))
220.0ms
(* (/ PI (sin (* PI z))) (sqrt (* 2 PI)))
17.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
0.0ms
(sqrt (* 2 PI))

simplify7.9m

Calls
968 calls:
Slowest
1.6s
(* (* (* PI (sqrt (* 2 PI))) (* (pow (+ (+ (- 1 z) 6) 0.5) (- 1 z)) 1)) (+ (* (+ (* (+ (* (+ (pow (/ 771.3234287776531 (+ (- 1 z) 2)) 3) (pow 0.9999999999998099 3)) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (* (+ (* (/ 771.3234287776531 (+ (- 1 z) 2)) (/ 771.3234287776531 (+ (- 1 z) 2))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099))) (+ (pow (/ 676.5203681218851 (- 1 z)) 3) (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3)))) (* (+ (* (/ -176.6150291621406 (+ (- 1 z) 3)) (/ -176.6150291621406 (+ (- 1 z) 3))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))))) (- 7 (+ z 1)))) (* (* (+ (* (/ 771.3234287776531 (+ (- 1 z) 2)) (/ 771.3234287776531 (+ (- 1 z) 2))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099))) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (+ (* (+ (pow (/ -176.6150291621406 (+ (- 1 z) 3)) 3) (pow (/ 12.507343278686905 (- 6 (+ z 1))) 3)) (- 7 (+ z 1))) (* (+ (* (/ -176.6150291621406 (+ (- 1 z) 3)) (/ -176.6150291621406 (+ (- 1 z) 3))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))))) -0.13857109526572012)))) (+ (* (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 1.5056327351493116e-07 (- 9 (+ z 1)))) (- (* (/ 9.984369578019572e-06 (+ (- 1 z) 6)) (/ 9.984369578019572e-06 (+ (- 1 z) 6))) (* (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (+ (- 1 z) 6)))))) (* (* (* (+ (* (/ 771.3234287776531 (+ (- 1 z) 2)) (/ 771.3234287776531 (+ (- 1 z) 2))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099))) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (* (+ (* (/ -176.6150291621406 (+ (- 1 z) 3)) (/ -176.6150291621406 (+ (- 1 z) 3))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))))) (- 7 (+ z 1)))) (+ (pow (/ 1.5056327351493116e-07 (- 9 (+ z 1))) 3) (pow (/ 9.984369578019572e-06 (+ (- 1 z) 6)) 3)))))
1.5s
(* (* (* PI (sqrt (* 2 PI))) (* (pow (+ (+ (- 1 z) 6) 0.5) (- 1 z)) 1)) (+ (* (+ (* (+ (* (- (* (/ 771.3234287776531 (+ (- 1 z) 2)) (/ 771.3234287776531 (+ (- 1 z) 2))) (* 0.9999999999998099 0.9999999999998099)) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (* (- (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099) (+ (pow (/ 676.5203681218851 (- 1 z)) 3) (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3)))) (+ (* (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1))))) (- (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (* (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (/ -0.13857109526572012 (- 7 (+ z 1))))))) (* (* (- (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (+ (pow (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) 3) (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3)))) (+ (* (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 1.5056327351493116e-07 (- 9 (+ z 1)))) (- (* (/ 9.984369578019572e-06 (+ (- 1 z) 6)) (/ 9.984369578019572e-06 (+ (- 1 z) 6))) (* (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (+ (- 1 z) 6)))))) (* (* (* (- (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (+ (* (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1))))) (- (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (* (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (/ -0.13857109526572012 (- 7 (+ z 1))))))) (+ (pow (/ 1.5056327351493116e-07 (- 9 (+ z 1))) 3) (pow (/ 9.984369578019572e-06 (+ (- 1 z) 6)) 3)))))
1.5s
(* (* (* (/ PI (sin (* PI z))) (sqrt (* 2 PI))) (* (pow (+ (+ (- 1 z) 6) 0.5) (- 1 z)) 1)) (+ (* (+ (* (+ (* (- (* (/ 771.3234287776531 (+ (- 1 z) 2)) (/ 771.3234287776531 (+ (- 1 z) 2))) (* 0.9999999999998099 0.9999999999998099)) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (* (- (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099) (+ (pow (/ 676.5203681218851 (- 1 z)) 3) (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3)))) (+ (* (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1))))) (- (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (* (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (/ -0.13857109526572012 (- 7 (+ z 1))))))) (* (* (- (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (+ (pow (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) 3) (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3)))) (+ (* (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 1.5056327351493116e-07 (- 9 (+ z 1)))) (- (* (/ 9.984369578019572e-06 (+ (- 1 z) 6)) (/ 9.984369578019572e-06 (+ (- 1 z) 6))) (* (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (+ (- 1 z) 6)))))) (* (* (* (- (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (+ (* (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1))))) (- (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (* (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (/ -0.13857109526572012 (- 7 (+ z 1))))))) (+ (pow (/ 1.5056327351493116e-07 (- 9 (+ z 1))) 3) (pow (/ 9.984369578019572e-06 (+ (- 1 z) 6)) 3)))))
1.4s
(* (* (* (/ PI (sin (* PI z))) (sqrt (* 2 PI))) (* (pow (+ (+ (- 1 z) 6) 0.5) (- 1 z)) 1)) (+ (* (+ (* (+ (* (+ (pow (/ 771.3234287776531 (+ (- 1 z) 2)) 3) (pow 0.9999999999998099 3)) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (* (+ (* (/ 771.3234287776531 (+ (- 1 z) 2)) (/ 771.3234287776531 (+ (- 1 z) 2))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099))) (+ (pow (/ 676.5203681218851 (- 1 z)) 3) (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3)))) (+ (* (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1))))) (- (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (* (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (/ -0.13857109526572012 (- 7 (+ z 1))))))) (* (* (+ (* (/ 771.3234287776531 (+ (- 1 z) 2)) (/ 771.3234287776531 (+ (- 1 z) 2))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099))) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (+ (pow (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) 3) (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3)))) (+ (* (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 1.5056327351493116e-07 (- 9 (+ z 1)))) (- (* (/ 9.984369578019572e-06 (+ (- 1 z) 6)) (/ 9.984369578019572e-06 (+ (- 1 z) 6))) (* (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (+ (- 1 z) 6)))))) (* (* (* (+ (* (/ 771.3234287776531 (+ (- 1 z) 2)) (/ 771.3234287776531 (+ (- 1 z) 2))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099))) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (+ (* (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1))))) (- (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (* (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (/ -0.13857109526572012 (- 7 (+ z 1))))))) (+ (pow (/ 1.5056327351493116e-07 (- 9 (+ z 1))) 3) (pow (/ 9.984369578019572e-06 (+ (- 1 z) 6)) 3)))))
1.4s
(* (* (* PI (sqrt (* 2 PI))) (/ (* (pow (+ (+ (- 1 z) 6) 0.5) (- 1 z)) 1) (* (pow (+ (+ (- 1 z) 6) 0.5) (- 1 0.5)) (exp (+ (+ (- 1 z) 6) 0.5))))) (+ (* (+ (* (+ (* (- (* (/ 771.3234287776531 (+ (- 1 z) 2)) (/ 771.3234287776531 (+ (- 1 z) 2))) (* 0.9999999999998099 0.9999999999998099)) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (* (- (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099) (+ (pow (/ 676.5203681218851 (- 1 z)) 3) (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3)))) (* (- (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (- 7 (+ z 1)))) (* (* (- (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (+ (* (- (* (/ -176.6150291621406 (+ (- 1 z) 3)) (/ -176.6150291621406 (+ (- 1 z) 3))) (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))) (- 7 (+ z 1))) (* (- (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) -0.13857109526572012)))) (* (- 9 (+ z 1)) (+ (- 1 z) 6))) (* (* (* (- (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))))) (* (- (/ -176.6150291621406 (+ (- 1 z) 3)) (/ 12.507343278686905 (- 6 (+ z 1)))) (- 7 (+ z 1)))) (+ (* 1.5056327351493116e-07 (+ (- 1 z) 6)) (* (- 9 (+ z 1)) 9.984369578019572e-06)))))

prune28.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes192.0ms

Accuracy

0% (0.3b remaining)

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

bsearch16.0ms

end0.0ms

sample27.6s

Algorithm
intervals
Results
15.9s3804×body10240exit
4.1s8099×body80valid
3.5s1477×body1280nan
2.7s1216×body640nan
766.0ms635×body320nan
273.0ms307×body160nan
173.0ms284×body80nan
1.0ms1×body160valid