Details

Time bar (total: 1.3m)

sample1.4s

Algorithm
intervals
Results
746.0ms136×body10240exit
190.0ms48×body1280nan
175.0ms259×body80valid
98.0ms39×body640nan
47.0ms28×body320nan
12.0ms11×body160nan
8.0ms13×body80nan

simplify292.0ms

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

prune57.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.3b

localize202.0ms

Local error

Found 4 expressions with local error:

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

rewrite157.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
141.0ms
(* (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)) (/ 1 (exp (+ (+ (- 1 z) 6) 0.5))))
9.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
6.0ms
(- (- 1 z) 1)
1.0ms
(sqrt (* 2 PI))

series108.0ms

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

simplify9.2s

Calls
35 calls:
Slowest
726.0ms
(pow (sqrt (+ (+ (- 1 z) 6) 0.5)) (+ (- (- 1 z) 1) 0.5))
713.0ms
(+ (log (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5))) (log (/ 1 (exp (+ (+ (- 1 z) 6) 0.5)))))
667.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)))))
628.0ms
(sqrt (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)))
578.0ms
(pow (* (cbrt (+ (+ (- 1 z) 6) 0.5)) (cbrt (+ (+ (- 1 z) 6) 0.5))) (+ (- (- 1 z) 1) 0.5))

prune3.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.4b

localize55.0ms

Local error

Found 4 expressions with local error:

7.0b
(- (- 1 z) 1)
7.0b
(- (- 1 z) 1)
7.0b
(- (- 1 z) 1)
1.0b
(sqrt (* 2 PI))

rewrite12.0ms

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

series22.0ms

Calls
4 calls:
Slowest
9.0ms
(- (- 1 z) 1)
6.0ms
(- (- 1 z) 1)
6.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

simplify335.0ms

Calls
14 calls:
Slowest
242.0ms
(* (* (* (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)) (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5))) (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5))) (* (* (/ 1 (exp (+ (+ (- 1 z) 6) 0.5))) (/ 1 (exp (+ (+ (- 1 z) 6) 0.5)))) (/ 1 (exp (+ (+ (- 1 z) 6) 0.5)))))
17.0ms
(+ (sqrt (- 1 z)) 1)
11.0ms
(+ (sqrt (- 1 z)) 1)
10.0ms
(+ (sqrt (- 1 z)) 1)
6.0ms
(* -1 z)

prune3.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.4b

localize86.0ms

Local error

Found 4 expressions with local error:

7.0b
(- (- 1 z) 1)
7.0b
(- (- 1 z) 1)
7.0b
(- (- 1 z) 1)
7.0b
(- (- 1 z) 1)

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt sub-neg associate--l+
4×associate--l- pow1 *-un-lft-identity flip3-- add-cbrt-cube difference-of-sqr-1 add-exp-log add-cube-cbrt insert-posit16 flip-- add-log-exp
Calls
4 calls:
Slowest
7.0ms
(- (- 1 z) 1)
6.0ms
(- (- 1 z) 1)
5.0ms
(- (- 1 z) 1)
3.0ms
(- (- 1 z) 1)

series26.0ms

Calls
4 calls:
Slowest
7.0ms
(- (- 1 z) 1)
6.0ms
(- (- 1 z) 1)
6.0ms
(- (- 1 z) 1)
6.0ms
(- (- 1 z) 1)

simplify145.0ms

Calls
16 calls:
Slowest
17.0ms
(+ (sqrt (- 1 z)) 1)
16.0ms
(+ (sqrt (- 1 z)) 1)
11.0ms
(+ (sqrt (- 1 z)) 1)
9.0ms
(+ (sqrt (- 1 z)) 1)
6.0ms
(* -1 z)

prune4.5s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.4b

localize40.0ms

Local error

Found 4 expressions with local error:

7.0b
(- (- 1 z) 1)
7.0b
(- (- 1 z) 1)
1.0b
(sqrt (* 2 PI))
1.0b
(* (cbrt (+ (+ (- 1 z) 6) 0.5)) (cbrt (+ (+ (- 1 z) 6) 0.5)))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-div
10×add-sqr-sqrt
9×pow1
8×*-un-lft-identity add-cube-cbrt
6×cbrt-prod flip3-+ associate-*r* associate-*l* add-exp-log flip-+
4×frac-times sub-neg add-cbrt-cube pow1/3 associate--l+ insert-posit16 add-log-exp
2×associate--l- flip3-- difference-of-sqr-1 pow-prod-down associate-*l/ associate-*r/ pow-prod-up flip--
1×pow2 pow-plus pow1/2 prod-exp *-commutative sqrt-prod cbrt-unprod
Calls
4 calls:
Slowest
60.0ms
(* (cbrt (+ (+ (- 1 z) 6) 0.5)) (cbrt (+ (+ (- 1 z) 6) 0.5)))
3.0ms
(- (- 1 z) 1)
3.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

series74.0ms

Calls
4 calls:
Slowest
53.0ms
(* (cbrt (+ (+ (- 1 z) 6) 0.5)) (cbrt (+ (+ (- 1 z) 6) 0.5)))
11.0ms
(- (- 1 z) 1)
10.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

simplify8.6s

Calls
45 calls:
Slowest
698.0ms
(* (cbrt (+ (pow (+ (- 1 z) 6) 3) (pow 0.5 3))) (cbrt (+ (+ (- 1 z) 6) 0.5)))
589.0ms
(pow (* (cbrt (+ (+ (- 1 z) 6) 0.5)) (cbrt (+ (+ (- 1 z) 6) 0.5))) (+ (- (- 1 z) 1) 0.5))
499.0ms
(* (cbrt (+ (* (+ (- 1 z) 6) (+ (- 1 z) 6)) (- (* 0.5 0.5) (* (+ (- 1 z) 6) 0.5)))) (cbrt (+ (* (+ (- 1 z) 6) (+ (- 1 z) 6)) (- (* 0.5 0.5) (* (+ (- 1 z) 6) 0.5)))))
490.0ms
(cbrt (+ (* (+ (- 1 z) 6) (+ (- 1 z) 6)) (- (* 0.5 0.5) (* (+ (- 1 z) 6) 0.5))))
485.0ms
(* (cbrt (- (* (+ (- 1 z) 6) (+ (- 1 z) 6)) (* 0.5 0.5))) (cbrt (+ (+ (- 1 z) 6) 0.5)))

prune3.7s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.4b

regimes191.0ms

Accuracy

0% (0.5b remaining)

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

bsearch27.0ms

end0.0ms

sample41.4s

Algorithm
intervals
Results
21.8s3910×body10240exit
6.2s8078×body80valid
6.0s1484×body1280nan
4.7s1248×body640nan
1.2s604×body320nan
792.0ms319×body160nan
228.0ms325×body80nan