Details

Time bar (total: 1.3m)

sample1.2s

Algorithm
intervals
Results
591.0ms136×body10240exit
172.0ms257×body80valid
162.0ms43×body1280nan
151.0ms42×body640nan
26.0ms18×body320nan
7.0ms7×body160nan
4.0ms8×body80nan

simplify327.0ms

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

prune81.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.4b

localize174.0ms

Local error

Found 4 expressions with local error:

5.8b
(- (- 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))))
0.9b
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)

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
147.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)
3.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

series299.0ms

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

simplify9.7s

Calls
35 calls:
Slowest
690.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)))))
646.0ms
(exp (+ (+ (- 1 z) 6) 0.5))
623.0ms
(sqrt (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)))
598.0ms
(pow (sqrt (+ (+ (- 1 z) 6) 0.5)) (+ (- (- 1 z) 1) 0.5))
587.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

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.4b

localize35.0ms

Local error

Found 4 expressions with local error:

5.8b
(- (- 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))))
0.9b
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)

rewrite156.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))))
10.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
3.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

series292.0ms

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

simplify8.8s

Calls
34 calls:
Slowest
693.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))))
657.0ms
(pow (sqrt (+ (+ (- 1 z) 6) 0.5)) (+ (- (- 1 z) 1) 0.5))
651.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)))))
629.0ms
(sqrt (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)))
561.0ms
(pow (* (cbrt (+ (+ (- 1 z) 6) 0.5)) (cbrt (+ (+ (- 1 z) 6) 0.5))) (+ (- (- 1 z) 1) 0.5))

prune3.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.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
9.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
6.0ms
(- (- 1 z) 1)
6.0ms
(- (- 1 z) 1)
1.0ms
(sqrt (* 2 PI))

series79.0ms

Calls
4 calls:
Slowest
35.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
24.0ms
(- (- 1 z) 1)
19.0ms
(- (- 1 z) 1)
0.0ms
(sqrt (* 2 PI))

simplify1.2s

Calls
13 calls:
Slowest
570.0ms
(sqrt (pow (+ (+ (- 1 z) 6) 0.5) (+ (- (- 1 z) 1) 0.5)))
276.0ms
(- 0.9999999999998099 (+ (* 2313.9702863329594 (/ 1 (pow z 2))) (* 771.3234287776531 (/ 1 z))))
254.0ms
(- 0.9999999999998099 (+ (* 2313.9702863329594 (/ 1 (pow z 2))) (* 771.3234287776531 (/ 1 z))))
49.0ms
(+ (* 85.702603197517 z) (+ (* 28.567534399172338 (pow z 2)) 258.10780959255084))
16.0ms
(+ (sqrt (- 1 z)) 1)

prune3.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 4 expressions with local error:

5.8b
(- (- 1 z) 1)
5.8b
(- (- 1 z) 1)
1.0b
(sqrt PI)
0.9b
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)

rewrite25.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 flip-+
Calls
4 calls:
Slowest
10.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
7.0ms
(- (- 1 z) 1)
7.0ms
(- (- 1 z) 1)
0.0ms
(sqrt PI)

series62.0ms

Calls
4 calls:
Slowest
30.0ms
(+ (/ 771.3234287776531 (+ (- 1 z) 2)) 0.9999999999998099)
19.0ms
(- (- 1 z) 1)
12.0ms
(- (- 1 z) 1)
0.0ms
(sqrt PI)

simplify593.0ms

Calls
12 calls:
Slowest
246.0ms
(- 0.9999999999998099 (+ (* 2313.9702863329594 (/ 1 (pow z 2))) (* 771.3234287776531 (/ 1 z))))
205.0ms
(- 0.9999999999998099 (+ (* 2313.9702863329594 (/ 1 (pow z 2))) (* 771.3234287776531 (/ 1 z))))
58.0ms
(+ (* 85.702603197517 z) (+ (* 28.567534399172338 (pow z 2)) 258.10780959255084))
22.0ms
(+ (sqrt (- 1 z)) 1)
18.0ms
(+ (sqrt (- 1 z)) 1)

prune3.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

regimes324.0ms

Accuracy

0% (0.7b remaining)

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

bsearch15.0ms

end0.0ms

sample40.5s

Algorithm
intervals
Results
21.5s3922×body10240exit
7.7s8090×body80valid
5.7s1425×body1280nan
3.5s1353×body640nan
1.1s614×body320nan
401.0ms306×body160nan
167.0ms313×body80nan