Details

Time bar (total: 2.5m)

sample1.7s

Algorithm
intervals
Results
462.0ms15×body160valid
369.0ms109×body10240exit
304.0ms106×body1280valid
144.0ms48×body1280nan
138.0ms84×body640valid
90.0ms50×body640nan
81.0ms41×body320valid
18.0ms15×body320nan
9.0ms11×body160nan
6.0ms15×body80valid
5.0ms10×body80nan

simplify225.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
224.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))))

prune58.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize193.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)))

rewrite983.0ms

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
Counts
4 → 96
Calls
4 calls:
Slowest
503.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
468.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
7.0ms
(sqrt (* PI 2))
4.0ms
(sqrt (* PI 2))

series730.0ms

Counts
4 → 8
Calls
4 calls:
Slowest
399.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
330.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.0s

Counts
64 → 104
Calls
64 calls:
Slowest
865.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))))))
855.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))))))
456.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
444.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
428.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))

prune4.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.5b

localize592.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))

rewrite550.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--
Counts
4 → 90
Calls
4 calls:
Slowest
473.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
65.0ms
(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))
7.0ms
(sqrt (* PI 2))
2.0ms
(sqrt PI)

series816.0ms

Counts
4 → 8
Calls
4 calls:
Slowest
429.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
386.0ms
(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt PI)

simplify9.1s

Counts
55 → 98
Calls
55 calls:
Slowest
394.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))
390.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
389.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
370.0ms
(* (pow (sqrt (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (sqrt (sqrt (* PI 2))))
352.0ms
(+ (log (* (sqrt 2) (pow (+ z 6.5) (- z 0.5)))) (log (sqrt PI)))

prune5.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize185.0ms

Local error

Found 4 expressions with local error:

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

rewrite559.0ms

Algorithm
rewrite-expression-head
Rules
20×add-exp-log
17×*-un-lft-identity
14×add-sqr-sqrt
11×pow1 associate-*l*
10×prod-exp
8×add-cube-cbrt
7×unpow-prod-down
6×add-cbrt-cube
5×rem-log-exp sqrt-prod distribute-lft-out
4×expm1-log1p-u associate-*r* 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 log-pow pow-sub sqr-pow
1×unpow-prod-up rem-sqrt-square log-div log-prod associate-*r/ *-commutative associate-+l- cbrt-unprod distribute-lft-out--
Counts
4 → 83
Calls
4 calls:
Slowest
492.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
56.0ms
(log (* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI)))
8.0ms
(sqrt (* PI 2))
2.0ms
(sqrt PI)

series1.1s

Counts
4 → 8
Calls
4 calls:
Slowest
696.0ms
(log (* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI)))
374.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt PI)

simplify8.9s

Counts
45 → 91
Calls
45 calls:
Slowest
742.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))
458.0ms
(log (* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI)))
401.0ms
(log (* (* (sqrt 2) (pow (+ z 6.5) z)) (sqrt PI)))
396.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
351.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))

prune4.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize175.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)))

rewrite843.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*
Counts
4 → 133
Calls
4 calls:
Slowest
423.0ms
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)))
408.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
4.0ms
(sqrt (* PI 2))
4.0ms
(sqrt (* PI 2))

series1.2s

Counts
4 → 8
Calls
4 calls:
Slowest
772.0ms
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)))
412.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

simplify36.4s

Counts
118 → 141
Calls
118 calls:
Slowest
854.0ms
(/ (pow (+ (+ 7 (- z 1)) 0.5) z) (pow 1 (- 1 0.5)))
817.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))))
789.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))))
687.0ms
(/ (sqrt (* PI 2)) (pow (+ (+ 7 (- z 1)) 0.5) (fma (- 0.5) 1 (* 0.5 1))))
684.0ms
(/ (sqrt (* PI 2)) (pow (+ (+ 7 (- z 1)) 0.5) (fma (- (sqrt 0.5)) (sqrt 0.5) (* (sqrt 0.5) (sqrt 0.5)))))

prune6.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.5b

regimes173.0ms

Accuracy

0% (0.3b remaining)

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

bsearch37.0ms

end0.0ms

sample48.8s

Algorithm
intervals
Results
16.4s3807×body10240exit
11.1s3363×body1280valid
7.4s2569×body640valid
4.9s1482×body1280nan
3.0s1266×body640nan
2.6s1222×body320valid
1.1s545×body320nan
803.0ms343×body160nan
630.0ms596×body160valid
220.0ms344×body80valid
137.0ms323×body80nan