Details

Time bar (total: 3.5m)

sample1.4s

Algorithm
intervals
Results
481.0ms127×body10240exit
289.0ms111×body1280valid
173.0ms61×body1280nan
153.0ms80×body640valid
98.0ms45×body640nan
39.0ms34×body320valid
35.0ms25×body320nan
19.0ms21×body160valid
4.0ms6×body160nan
4.0ms11×body80valid
4.0ms10×body80nan

simplify692.0ms

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

prune66.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

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

rewrite963.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
481.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
463.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
9.0ms
(sqrt (* PI 2))
8.0ms
(sqrt (* PI 2))

series852.0ms

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

simplify13.8s

Counts
64 → 104
Calls
64 calls:
Slowest
794.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))))))
749.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))))))
473.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
464.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))
462.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

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

rewrite749.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
443.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
288.0ms
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)))
8.0ms
(sqrt (* PI 2))
7.0ms
(sqrt (* PI 2))

series1.0s

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

Counts
118 → 141
Calls
118 calls:
Slowest
908.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))))
905.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))))
743.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))
722.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (fma (- (sqrt 0.5)) (sqrt 0.5) (* (sqrt 0.5) (sqrt 0.5))))
715.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)))))

prune6.6s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.5b

localize226.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) (exp (* (log (+ z 6.5)) (- 0.5 z)))) (sqrt PI))

rewrite519.0ms

Algorithm
rewrite-expression-head
Rules
165×associate-*l*
161×add-sqr-sqrt
154×times-frac
148×*-un-lft-identity
139×add-cube-cbrt
132×exp-sum
108×prod-diff
88×sqrt-prod
66×distribute-rgt-in distribute-lft-in
13×add-exp-log
12×sub-neg
11×add-cbrt-cube
10×pow1 associate-*r*
9×unswap-sqr
7×unpow-prod-down
5×prod-exp distribute-lft-out
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-pow1 cbrt-unprod
2×pow1/2 pow-prod-down associate-*l/ *-commutative sqr-pow
1×pow-to-exp cbrt-undiv unpow-prod-up rem-sqrt-square div-exp pow-exp associate-+l- div-inv distribute-lft-out-- pow-sub
Counts
4 → 247
Calls
4 calls:
Slowest
460.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
36.0ms
(* (/ (sqrt 2) (exp (* (log (+ z 6.5)) (- 0.5 z)))) (sqrt PI))
7.0ms
(sqrt (* PI 2))
2.0ms
(sqrt PI)

series863.0ms

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

simplify53.7s

Counts
217 → 255
Calls
217 calls:
Slowest
861.0ms
(/ (sqrt (sqrt 2)) (exp (* (log (+ z 6.5)) (fma (sqrt 0.5) (sqrt 0.5) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))))
646.0ms
(* (/ (sqrt (sqrt 2)) (sqrt (exp (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt (sqrt PI)))
556.0ms
(* (* (* (/ (sqrt 2) (exp (* (log (+ z 6.5)) (- 0.5 z)))) (/ (sqrt 2) (exp (* (log (+ z 6.5)) (- 0.5 z))))) (/ (sqrt 2) (exp (* (log (+ z 6.5)) (- 0.5 z))))) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)))
486.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
483.0ms
(/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (exp (* (fma 1 0.5 (- (* z 1))) (log (+ z 6.5)))))

prune14.8s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.5b

localize179.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) (sqrt 2)))
1.0b
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))

rewrite895.0ms

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

series783.0ms

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

simplify11.3s

Counts
60 → 104
Calls
60 calls:
Slowest
459.0ms
(* (pow (sqrt (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (sqrt (sqrt (* PI 2))))
452.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))
445.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
405.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))
389.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))

prune4.6s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.5b

regimes579.0ms

Accuracy

0% (0.3b remaining)

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

bsearch45.0ms

end0.0ms

sample49.1s

Algorithm
intervals
Results
18.6s3911×body10240exit
10.3s3364×body1280valid
6.5s2541×body640valid
4.9s1552×body1280nan
2.9s1225×body640nan
2.5s1188×body320valid
1.5s649×body320nan
683.0ms636×body160valid
293.0ms297×body160nan
241.0ms362×body80valid
166.0ms316×body80nan