Details

Time bar (total: 3.5m)

sample1.9s

Algorithm
intervals
Results
490.0ms127×body10240exit
293.0ms111×body1280valid
216.0ms80×body640valid
211.0ms61×body1280nan
78.0ms45×body640nan
62.0ms25×body320nan
47.0ms34×body320valid
17.0ms21×body160valid
6.0ms10×body80nan
5.0ms6×body160nan
4.0ms11×body80valid

simplify218.0ms

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

prune65.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

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

rewrite931.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
484.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
438.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
4.0ms
(sqrt (* PI 2))
4.0ms
(sqrt (* PI 2))

series739.0ms

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

Counts
64 → 104
Calls
64 calls:
Slowest
844.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))))))
788.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))))))
480.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
459.0ms
(* (pow (sqrt (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (sqrt (sqrt (* PI 2))))
441.0ms
(* (pow (sqrt (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (sqrt (sqrt (* PI 2))))

prune4.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.5b

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

rewrite857.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
474.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
371.0ms
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)))
4.0ms
(sqrt (* PI 2))
4.0ms
(sqrt (* PI 2))

series1.1s

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

simplify39.0s

Counts
118 → 141
Calls
118 calls:
Slowest
960.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))))
926.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 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
699.0ms
(/ (sqrt (* PI 2)) (pow (+ (+ 7 (- z 1)) 0.5) (fma (- 0.5) 1 (* 0.5 1))))
683.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (- 0.5))

prune6.5s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.5b

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

rewrite545.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
487.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
39.0ms
(* (/ (sqrt 2) (exp (* (log (+ z 6.5)) (- 0.5 z)))) (sqrt PI))
8.0ms
(sqrt (* PI 2))
2.0ms
(sqrt PI)

series810.0ms

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

simplify54.0s

Counts
217 → 255
Calls
217 calls:
Slowest
693.0ms
(pow (sqrt (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5))
685.0ms
(/ (sqrt 1) (exp (* (log (+ z 6.5)) (fma (sqrt 0.5) (sqrt 0.5) (- (* (sqrt z) (sqrt z)))))))
601.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)))
496.0ms
(* (/ (sqrt 2) (exp (* (log (+ z 6.5)) (- 0.5 z)))) (sqrt PI))
465.0ms
(/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (exp (* (log (+ z 6.5)) (fma (sqrt 0.5) (sqrt 0.5) (- (* z 1))))))

prune13.9s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.5b

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

rewrite1.0s

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
508.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (* (sqrt PI) (sqrt 2)))
499.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
8.0ms
(sqrt (* PI 2))
2.0ms
(sqrt PI)

series792.0ms

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

simplify11.7s

Counts
60 → 104
Calls
60 calls:
Slowest
486.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
446.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))
431.0ms
(+ (* (log (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (log (* (sqrt PI) (sqrt 2))))
420.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
413.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))

prune4.5s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.5b

regimes543.0ms

Accuracy

0% (0.3b remaining)

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

bsearch32.0ms

end0.0ms

sample51.5s

Algorithm
intervals
Results
17.6s3911×body10240exit
10.6s3364×body1280valid
6.8s1552×body1280nan
6.6s2541×body640valid
3.5s1225×body640nan
2.5s1188×body320valid
1.9s649×body320nan
776.0ms636×body160valid
357.0ms297×body160nan
175.0ms362×body80valid
143.0ms316×body80nan