Details

Time bar (total: 3.6m)

sample1.5s

Algorithm
intervals
Results
484.0ms131×body10240exit
331.0ms107×body1280valid
205.0ms73×body640valid
156.0ms52×body1280nan
109.0ms43×body640nan
67.0ms47×body320valid
27.0ms18×body320nan
19.0ms19×body160valid
11.0ms12×body160nan
8.0ms15×body80valid
5.0ms11×body80nan

simplify215.0ms

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

prune74.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize141.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.4s

Algorithm
rewrite-expression-head
Rules
84×add-sqr-sqrt
60×sqrt-prod
58×associate-*l*
52×*-un-lft-identity
42×associate-*r*
34×add-cube-cbrt
30×unswap-sqr
26×unpow-prod-up
22×associate-+l+
18×unpow-prod-down prod-diff
14×pow1 add-exp-log
10×distribute-lft-out
8×add-cbrt-cube sqr-pow
6×prod-exp *-commutative
4×expm1-log1p-u rem-sqrt-square sqrt-pow1 pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
2×pow-to-exp +-commutative sub-neg pow1/2 associate-*l/ pow-exp associate-+l- cbrt-unprod distribute-lft-out-- pow-sub
Calls
4 calls:
Slowest
489.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
479.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
381.0ms
(sqrt (* PI 2))
12.0ms
(sqrt (* PI 2))

series677.0ms

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

simplify32.5s

Calls
162 calls:
Slowest
885.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))))))
862.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (fma (sqrt z) (sqrt z) (- (* 1 1))))
819.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))))))
560.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (fma 1 z (- (* (sqrt 1) (sqrt 1)))))
483.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (fma (sqrt z) (sqrt z) (- (* (sqrt 1) (sqrt 1)))))

prune7.6s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite833.0ms

Algorithm
rewrite-expression-head
Rules
208×add-sqr-sqrt
183×associate-*l*
175×*-un-lft-identity
166×add-cube-cbrt
154×times-frac exp-sum
135×prod-diff
119×sqrt-prod
77×distribute-rgt-in distribute-lft-in
35×associate-*l/
27×associate-*r*
25×associate-/r*
21×unswap-sqr
16×add-exp-log
15×sub-neg
13×unpow-prod-up
12×pow1
11×associate-+l+ add-cbrt-cube
9×unpow-prod-down
6×prod-exp associate-/l*
5×distribute-lft-out
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp sqr-pow
3×rem-sqrt-square sqrt-pow1 pow-prod-down cbrt-unprod
2×pow1/2 div-exp
1×pow-to-exp cbrt-undiv +-commutative clear-num frac-2neg pow-exp associate-+l- div-inv distribute-lft-out-- pow-sub
Calls
4 calls:
Slowest
557.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
255.0ms
(* (/ (sqrt 2) (exp (* (log (+ z 6.5)) (- 0.5 z)))) (sqrt PI))
9.0ms
(sqrt (* PI 2))
2.0ms
(sqrt PI)

series801.0ms

Calls
4 calls:
Slowest
460.0ms
(* (/ (sqrt 2) (exp (* (log (+ z 6.5)) (- 0.5 z)))) (sqrt PI))
340.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt PI)

simplify1.2m

Calls
300 calls:
Slowest
845.0ms
(/ 1 (exp (* (log (+ z 6.5)) (fma (sqrt 0.5) (sqrt 0.5) (- (* z 1))))))
714.0ms
(sqrt (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)))
587.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)))
565.0ms
(* (/ (sqrt 2) (exp (* (log (+ z 6.5)) (fma (sqrt 0.5) (sqrt 0.5) (- (* z 1)))))) (sqrt PI))
558.0ms
(/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (exp (* 0.5 (log (+ z 6.5)))))

prune18.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize454.0ms

Local error

Found 4 expressions with local error:

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

rewrite481.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt
36×sqrt-prod
30×*-un-lft-identity
29×associate-*l*
21×associate-*r* add-cube-cbrt
15×unswap-sqr
13×unpow-prod-up
11×pow1 associate-+l+
9×unpow-prod-down prod-diff add-exp-log
6×add-cbrt-cube
5×distribute-lft-out
4×expm1-log1p-u rem-sqrt-square sqrt-pow1 insert-posit16 log1p-expm1-u add-log-exp sqr-pow
3×pow1/2 prod-exp *-commutative
2×pow-prod-down
1×pow-to-exp +-commutative sub-neg associate-*l/ pow-exp associate-+l- cbrt-unprod distribute-lft-out-- pow-sub
Calls
4 calls:
Slowest
461.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
12.0ms
(sqrt (* PI 2))
2.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series326.0ms

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

simplify16.5s

Calls
94 calls:
Slowest
499.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (fma 1 z (- (* (sqrt 1) (sqrt 1)))))
483.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (fma (sqrt z) (sqrt z) (- (* (sqrt 1) (sqrt 1)))))
438.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (fma (sqrt z) (sqrt z) (- (* 1 1))))
427.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (* (sqrt PI) (sqrt 2))))
423.0ms
(pow (+ (+ 7 (- z 1)) 0.5) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt 1) (sqrt 1)))))

prune7.3s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.3b

localize125.0ms

Local error

Found 4 expressions with local error:

58.8b
(fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))
1.0b
(sqrt (* PI 2))
1.0b
(sqrt PI)
1.0b
(fma (sqrt 0.5) (sqrt 0.5) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
15×sqrt-prod
14×add-sqr-sqrt
8×pow1 *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×rem-sqrt-square sqrt-pow1 associate-*r* associate-*l*
2×pow1/2 fma-udef unswap-sqr
1×pow-prod-down *-commutative
Calls
4 calls:
Slowest
6.0ms
(sqrt (* PI 2))
1.0ms
(sqrt PI)
0.0ms
(fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))
0.0ms
(fma (sqrt 0.5) (sqrt 0.5) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))

series1.4s

Calls
4 calls:
Slowest
1.2s
(fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))
176.0ms
(fma (sqrt 0.5) (sqrt 0.5) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt PI)

simplify830.0ms

Calls
28 calls:
Slowest
286.0ms
(* (/ (sqrt 2) (exp (* (log (+ z 6.5)) (fma (sqrt 0.5) (sqrt 0.5) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))))) (sqrt PI))
267.0ms
(* (/ (sqrt 2) (exp (* (log (+ z 6.5)) (fma (sqrt 0.5) (sqrt 0.5) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))))) (sqrt PI))
54.0ms
(- (pow (sqrt 0.5) 2) z)
51.0ms
(- (pow (sqrt 0.5) 2) z)
28.0ms
(- (pow (sqrt 0.5) 2) z)

prune4.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.3b

regimes432.0ms

Accuracy

0% (0.3b remaining)

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

bsearch33.0ms

end0.0ms

sample48.7s

Algorithm
intervals
Results
17.8s3897×body10240exit
11.6s3335×body1280valid
6.0s2478×body640valid
4.5s1505×body1280nan
3.7s1224×body640nan
2.0s1283×body320valid
1.0s646×body160valid
949.0ms626×body320nan
376.0ms294×body160nan
159.0ms347×body80valid
136.0ms309×body80nan