Details

Time bar (total: 2.4m)

sample1.3s

Algorithm
intervals
Results
373.0ms102×body10240exit
311.0ms107×body1280valid
198.0ms87×body640valid
150.0ms36×body1280nan
101.0ms52×body640nan
53.0ms19×body320nan
49.0ms33×body320valid
18.0ms20×body160valid
5.0ms6×body160nan
4.0ms11×body80valid
3.0ms7×body80nan

simplify639.0ms

Calls
1 calls:
Slowest
638.0ms
(* (* (* (sqrt (* PI 2)) (pow (+ (+ (- z 1) 7) 0.5) (+ (- z 1) 0.5))) (exp (- (+ (+ (- z 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1) 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (/ 771.3234287776531 (+ (- z 1) 3))) (/ -176.6150291621406 (+ (- z 1) 4))) (/ 12.507343278686905 (+ (- z 1) 5))) (/ -0.13857109526572012 (+ (- z 1) 6))) (/ 9.984369578019572e-06 (+ (- z 1) 7))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))))

prune85.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize127.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* PI 2))
1.0b
(sqrt (* PI 2))
1.0b
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
22×associate-*l*
20×add-sqr-sqrt
14×unpow-prod-down add-exp-log
10×pow1 add-cube-cbrt distribute-lft-out
8×add-cbrt-cube associate-*r*
6×prod-exp unswap-sqr
4×expm1-log1p-u sqrt-pow1 sqrt-prod insert-posit16 log1p-expm1-u add-log-exp sqr-pow
2×pow-to-exp unpow-prod-up pow1/2 pow-prod-down associate-*l/ pow-exp *-commutative associate-+l- cbrt-unprod distribute-lft-out-- pow-sub
Calls
4 calls:
Slowest
536.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
446.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
14.0ms
(sqrt (* PI 2))
8.0ms
(sqrt (* PI 2))

series739.0ms

Calls
4 calls:
Slowest
396.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
342.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

simplify14.1s

Calls
64 calls:
Slowest
815.0ms
(+ (* (+ (/ 12.507343278686905 (+ z 4)) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (- (+ (+ 7 (- z 1)) 0.5))))) (* (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 1.5056327351493116e-07 (+ z 7))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (- (+ (+ 7 (- z 1)) 0.5))))))
747.0ms
(+ (* (+ (/ 12.507343278686905 (+ z 4)) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (- (+ (+ 7 (- z 1)) 0.5))))) (* (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 1.5056327351493116e-07 (+ z 7))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (- (+ (+ 7 (- z 1)) 0.5))))))
463.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
431.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
419.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))

prune4.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize188.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* PI 2))
1.0b
(sqrt PI)
1.0b
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b
(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))

rewrite488.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity add-exp-log
16×add-sqr-sqrt
12×associate-*l*
11×add-cbrt-cube
10×pow1 associate-*r* prod-exp add-cube-cbrt
8×sqrt-prod
7×unpow-prod-down
5×distribute-lft-out
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-pow1 unswap-sqr
2×pow-to-exp pow1/2 pow-prod-down associate-*l/ pow-exp *-commutative pow-sub sqr-pow
1×unpow-prod-up rem-sqrt-square associate-*r/ associate-+l- distribute-lft-out--
Calls
4 calls:
Slowest
420.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
61.0ms
(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))
4.0ms
(sqrt (* PI 2))
1.0ms
(sqrt PI)

series766.0ms

Calls
4 calls:
Slowest
401.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
365.0ms
(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt PI)

simplify10.1s

Calls
55 calls:
Slowest
777.0ms
(* (pow (sqrt (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (sqrt (sqrt (* PI 2))))
484.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
447.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
383.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))
382.0ms
(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))

prune4.6s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.5b

localize183.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* PI 2))
1.0b
(sqrt (* PI 2))
1.0b
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)))

rewrite847.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
35×add-exp-log
28×add-sqr-sqrt
23×unpow-prod-up add-cube-cbrt
21×associate-/r* times-frac
19×unpow-prod-down
18×prod-diff
15×distribute-lft-out
12×div-exp prod-exp
11×add-cbrt-cube associate-*l*
10×pow1
8×pow-to-exp pow-exp
4×expm1-log1p-u sqrt-pow1 associate-*r* insert-posit16 log1p-expm1-u add-log-exp sqr-pow
3×sqrt-prod distribute-lft-out-- unswap-sqr
2×cbrt-undiv sub-neg pow1/2 pow-prod-down cbrt-unprod pow-sub
1×clear-num frac-2neg associate-*l/ associate-/r/ *-commutative associate-+l- div-inv associate-/l*
Calls
4 calls:
Slowest
516.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
318.0ms
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)))
6.0ms
(sqrt (* PI 2))
4.0ms
(sqrt (* PI 2))

series1.2s

Calls
4 calls:
Slowest
797.0ms
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)))
431.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

simplify38.4s

Calls
118 calls:
Slowest
924.0ms
(/ (* (* (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2)))) (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))))
858.0ms
(/ (* (* (* (pow (+ (+ 7 (- z 1)) 0.5) z) (pow (+ (+ 7 (- z 1)) 0.5) z)) (pow (+ (+ 7 (- z 1)) 0.5) z)) (* (* (sqrt (* PI 2)) (sqrt (* PI 2))) (sqrt (* PI 2)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))))
781.0ms
(- (+ (* (* (sqrt 2) (exp (* (log (+ z 6.5)) z))) (* (pow (/ 1 (pow (exp (* 1.0 (- (log -1) (log (/ -1 z))))) 1.0)) 0.5) (sqrt PI))) (* 15.84375 (* (/ (* (sqrt 2) (exp (* (log (+ z 6.5)) z))) (pow z 2)) (* (pow (/ 1 (pow (exp (* 1.0 (- (log -1) (log (/ -1 z))))) 1.0)) 0.5) (sqrt PI))))) (* 3.25 (* (/ (* (sqrt 2) (exp (* (log (+ z 6.5)) z))) z) (* (pow (/ 1 (pow (exp (* 1.0 (- (log -1) (log (/ -1 z))))) 1.0)) 0.5) (sqrt PI)))))
666.0ms
(/ (sqrt (* PI 2)) (pow (+ (+ 7 (- z 1)) 0.5) (fma (- (sqrt 0.5)) (sqrt 0.5) (* (sqrt 0.5) (sqrt 0.5)))))
663.0ms
(/ (sqrt (* PI 2)) (pow (+ (+ 7 (- z 1)) 0.5) (fma (- (sqrt 0.5)) (sqrt 0.5) (* (sqrt 0.5) (sqrt 0.5)))))

prune6.9s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.5b

localize207.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* PI 2))
1.0b
(sqrt (* PI 2))
1.0b
(sqrt (* PI 2))
1.0b
(sqrt (* PI 2))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1
8×sqrt-pow1
4×add-sqr-sqrt expm1-log1p-u *-un-lft-identity add-cbrt-cube pow1/2 pow-prod-down add-exp-log add-cube-cbrt sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
Calls
4 calls:
Slowest
8.0ms
(sqrt (* PI 2))
7.0ms
(sqrt (* PI 2))
7.0ms
(sqrt (* PI 2))
7.0ms
(sqrt (* PI 2))

series0.0ms

Calls
4 calls:
Slowest
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

simplify3.3s

Calls
16 calls:
Slowest
858.0ms
(/ (* (* (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2)))) (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))))
818.0ms
(/ (* (* (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2)))) (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))))
808.0ms
(/ (* (* (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2)))) (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))))
765.0ms
(/ (* (* (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2)))) (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))))
6.0ms
(* PI 2)

prune2.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.5b

regimes196.0ms

Accuracy

0% (0.3b remaining)

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

bsearch43.0ms

end0.0ms

sample49.7s

Algorithm
intervals
Results
18.3s3942×body10240exit
12.1s3299×body1280valid
5.5s2516×body640valid
5.0s1503×body1280nan
3.1s1276×body640nan
2.0s1250×body320valid
1.4s610×body320nan
1.1s653×body160valid
352.0ms312×body160nan
208.0ms369×body80valid
136.0ms315×body80nan