Details

Time bar (total: 2.6m)

sample1.2s

Algorithm
intervals
Results
672.0ms138×body10240exit
161.0ms258×body80valid
114.0ms44×body1280nan
107.0ms43×body640nan
35.0ms24×body320nan
11.0ms7×body160nan
3.0ms6×body80nan

simplify335.0ms

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

prune53.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize220.0ms

Local error

Found 4 expressions with local error:

2.5b
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
2.3b
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b
(sqrt (* 2 PI))
0.9b
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))

rewrite3.6s

Algorithm
rewrite-expression-head
Rules
108×*-un-lft-identity
36×times-frac
33×fma-def
32×distribute-lft-out
22×add-sqr-sqrt
20×add-log-exp
18×distribute-lft-out--
16×add-cube-cbrt
10×sum-log
9×frac-add
7×pow1
6×flip3-+ flip-+
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×+-commutative difference-of-squares
2×associate-+l+ sqrt-pow1 associate-/r/
1×flip3-- pow1/2 pow-prod-down sqrt-prod div-inv flip--
Counts
4 → 116
Calls
4 calls:
Slowest
2.8s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
577.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
160.0ms
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))
4.0ms
(sqrt (* 2 PI))

series221.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
92.0ms
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
76.0ms
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))
52.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
0.0ms
(sqrt (* 2 PI))

simplify12.6s

Counts
85 → 126
Calls
85 calls:
Slowest
903.0ms
(/ -0.13857109526572012 (- (pow 7 3) (pow (+ z 1) 3)))
729.0ms
(/ -0.13857109526572012 (- (* 7 7) (* (+ z 1) (+ z 1))))
518.0ms
(+ (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (- 1 z)) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 676.5203681218851))
461.0ms
(* (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z)) (- 5 (+ z 1)))
423.0ms
(+ (* (+ (* (+ (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3) (pow 0.9999999999998099 3)) (- 1 z)) (* (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) 676.5203681218851)) (- 5 (+ z 1))) (* (* (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (- 1 z)) -176.6150291621406))

prune5.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize214.0ms

Local error

Found 4 expressions with local error:

3.3b
(exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))
2.3b
(+ (log (exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b
(sqrt (* 2 PI))
0.9b
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))

rewrite4.3s

Algorithm
rewrite-expression-head
Rules
102×*-un-lft-identity
36×times-frac
33×fma-def
27×distribute-lft-out
24×add-sqr-sqrt
18×add-cube-cbrt distribute-lft-out--
13×add-log-exp
10×exp-prod
9×pow1
7×log-pow
5×sum-log
4×expm1-log1p-u associate-+l+ log-prod add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×difference-of-squares rem-exp-log
2×+-commutative sqrt-pow1 flip3-+ exp-sum associate-/r/ flip-+
1×flip3-- pow1/2 pow-prod-down frac-add sqrt-prod div-inv flip--
Counts
4 → 111
Calls
4 calls:
Slowest
3.6s
(+ (log (exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
529.0ms
(exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))
148.0ms
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))
8.0ms
(sqrt (* 2 PI))

series301.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
117.0ms
(exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))
110.0ms
(+ (log (exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
73.0ms
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))
0.0ms
(sqrt (* 2 PI))

simplify8.1s

Counts
80 → 121
Calls
80 calls:
Slowest
602.0ms
(/ -0.13857109526572012 (- (* 7 7) (* (+ z 1) (+ z 1))))
502.0ms
(/ -0.13857109526572012 (- (pow 7 3) (pow (+ z 1) 3)))
380.0ms
(+ (* -0.13857109526572012 (- 6 (+ z 1))) (* (- 7 (+ z 1)) 12.507343278686905))
332.0ms
(+ (* 65945.43707599111 (* (pow z 2) (exp 47.95075976068347))) (+ (exp 47.95075976068347) (* 361.7355639412844 (* z (exp 47.95075976068347)))))
332.0ms
(- (+ (* 307.69502253760675 (/ 1 (pow z 3))) (+ (* 61.7052898218402 (/ 1 (pow z 2))) (* 12.368772183421186 (/ 1 z)))))

prune5.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize228.0ms

Local error

Found 4 expressions with local error:

3.3b
(exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))
2.3b
(+ (log (exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b
(sqrt (* 2 PI))
1.0b
(* (cbrt (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))) (cbrt (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))))

rewrite4.9s

Algorithm
rewrite-expression-head
Rules
1123×*-un-lft-identity
360×times-frac
314×distribute-lft-out
240×distribute-lft-out--
204×cbrt-prod
90×swap-sqr
24×add-sqr-sqrt cbrt-div
16×pow1 associate-*r* associate-*l* add-cube-cbrt
11×add-log-exp
10×exp-prod
9×frac-times fma-def flip3-+ flip-+
8×frac-add
7×log-pow
6×pow1/3 add-exp-log
4×expm1-log1p-u associate-+l+ log-prod sum-log add-cbrt-cube insert-posit16 log1p-expm1-u unswap-sqr
3×pow-prod-down associate-*l/ associate-*r/ rem-exp-log
2×sqrt-pow1 exp-sum pow-sqr pow-prod-up
1×pow2 +-commutative pow-plus pow1/2 prod-exp *-commutative sqrt-prod cbrt-unprod
Counts
4 → 224
Calls
4 calls:
Slowest
3.5s
(+ (log (exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
686.0ms
(* (cbrt (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))) (cbrt (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))))
628.0ms
(exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))
7.0ms
(sqrt (* 2 PI))

series521.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
319.0ms
(* (cbrt (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))) (cbrt (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))))
118.0ms
(exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))
84.0ms
(+ (log (exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
0.0ms
(sqrt (* 2 PI))

simplify31.6s

Counts
291 → 234
Calls
291 calls:
Slowest
633.0ms
(* (cbrt (- (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (cbrt (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))))
400.0ms
(* (cbrt (+ (* -0.13857109526572012 (- 6 (+ z 1))) (* (- 7 (+ z 1)) 12.507343278686905))) (cbrt (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))))
354.0ms
(* (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))
347.0ms
(* (cbrt (+ (* -0.13857109526572012 (- 6 (+ z 1))) (* (- 7 (+ z 1)) 12.507343278686905))) (cbrt (+ (* -0.13857109526572012 (- 6 (+ z 1))) (* (- 7 (+ z 1)) 12.507343278686905))))
334.0ms
(* (cbrt (+ (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))))) (cbrt (+ (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))))))

prune10.7s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize208.0ms

Local error

Found 4 expressions with local error:

2.5b
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
2.3b
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b
(sqrt PI)
0.9b
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))

rewrite3.5s

Algorithm
rewrite-expression-head
Rules
109×*-un-lft-identity
36×times-frac
33×fma-def
32×distribute-lft-out
24×add-sqr-sqrt
20×add-log-exp
18×distribute-lft-out--
17×add-cube-cbrt
10×sum-log
9×frac-add
6×flip3-+ flip-+
5×pow1
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×+-commutative sqrt-prod difference-of-squares
2×associate-+l+ associate-/r/
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 div-inv flip--
Counts
4 → 118
Calls
4 calls:
Slowest
2.7s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
672.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
108.0ms
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))
1.0ms
(sqrt PI)

series214.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
87.0ms
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
74.0ms
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))
52.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
0.0ms
(sqrt PI)

simplify12.1s

Counts
86 → 128
Calls
86 calls:
Slowest
715.0ms
(/ -0.13857109526572012 (- (* 7 7) (* (+ z 1) (+ z 1))))
522.0ms
(/ -0.13857109526572012 (- (pow 7 3) (pow (+ z 1) 3)))
515.0ms
(+ (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (- 1 z)) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 676.5203681218851))
467.0ms
(* (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z)) (- 5 (+ z 1)))
388.0ms
(+ (* -0.13857109526572012 (- 6 (+ z 1))) (* (- 7 (+ z 1)) 12.507343278686905))

prune5.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

regimes284.0ms

Accuracy

0% (0.5b remaining)

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

bsearch21.0ms

end0.0ms

sample42.2s

Algorithm
intervals
Results
23.8s3966×body10240exit
6.4s1436×body1280nan
5.4s8080×body80valid
3.8s1295×body640nan
1.3s641×body320nan
676.0ms281×body80nan
468.0ms302×body160nan