Details

Time bar (total: 2.4m)

sample1.0s

Algorithm
intervals
Results
479.0ms108×body10240exit
149.0ms257×body80valid
141.0ms53×body1280nan
95.0ms37×body640nan
25.0ms18×body320nan
15.0ms12×body160nan
5.0ms9×body80nan

simplify266.0ms

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

prune77.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize218.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))
1.0b
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))

rewrite3.4s

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.6s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
602.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
123.0ms
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))
7.0ms
(sqrt (* 2 PI))

series235.0ms

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

simplify17.6s

Counts
103 → 126
Calls
103 calls:
Slowest
807.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))
530.0ms
(* (* (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1)))) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1)))))
438.0ms
(* (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z)) (- 5 (+ z 1)))
384.0ms
(+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3))
374.0ms
(+ (* -0.13857109526572012 (- 6 (+ z 1))) (* (- 7 (+ z 1)) 12.507343278686905))

prune5.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize201.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)
1.0b
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))

rewrite3.4s

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.5s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
743.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
134.0ms
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))
1.0ms
(sqrt PI)

series206.0ms

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

simplify17.4s

Counts
107 → 128
Calls
107 calls:
Slowest
637.0ms
(+ (* (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))) (- (* (/ -176.6150291621406 (- 5 (+ z 1))) (/ -176.6150291621406 (- 5 (+ z 1)))) (* (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))))
633.0ms
(* (* (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1)))) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1)))))
461.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))
410.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))
399.0ms
(+ (* (+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (- 5 (+ z 1))) (* (+ (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))))) -176.6150291621406))

prune5.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize302.0ms

Local error

Found 4 expressions with local error:

2.6b
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
2.6b
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
2.6b
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
2.5b
(+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))

rewrite654.0ms

Algorithm
rewrite-expression-head
Rules
52×*-un-lft-identity
36×fma-def
26×add-sqr-sqrt
24×add-log-exp
18×times-frac
17×add-cube-cbrt
15×distribute-lft-out
12×sum-log
8×flip3-+ frac-add flip-+
6×difference-of-squares
4×expm1-log1p-u pow1 +-commutative add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×associate-+l+ distribute-lft-out--
2×associate-/r/
1×associate-+r+ flip3-- div-inv flip--
Counts
4 → 116
Calls
4 calls:
Slowest
245.0ms
(+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))
162.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
131.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
113.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))

series237.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
70.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
60.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
55.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
52.0ms
(+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))

simplify15.8s

Counts
104 → 128
Calls
104 calls:
Slowest
536.0ms
(+ (* 676.5203681218851 (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (- 1 z) (- (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (* 0.9999999999998099 0.9999999999998099))))
522.0ms
(+ (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (- (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))))
480.0ms
(* (- 1 z) (+ (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))
479.0ms
(+ (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (- (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))))
464.0ms
(+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))) (- 2 z)) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) -1259.1392167224028))

prune7.7s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize323.0ms

Local error

Found 4 expressions with local error:

2.8b
(fma (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -1259.1392167224028 (- 2 z)))
2.6b
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
2.6b
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
2.5b
(+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))

rewrite546.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
32×fma-def
25×add-sqr-sqrt
19×add-log-exp
18×times-frac
16×add-cube-cbrt
11×distribute-lft-out
9×sum-log
6×flip3-+ frac-add flip-+ difference-of-squares
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×+-commutative distribute-lft-out--
2×associate-+l+ associate-/r/
1×associate-+r+ flip3-- fma-udef div-inv flip--
Counts
4 → 103
Calls
4 calls:
Slowest
290.0ms
(+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))
133.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
120.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
0.0ms
(fma (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -1259.1392167224028 (- 2 z)))

series823.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
604.0ms
(fma (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -1259.1392167224028 (- 2 z)))
74.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))
74.0ms
(+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))
71.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))

simplify15.2s

Counts
92 → 115
Calls
92 calls:
Slowest
696.0ms
(- (+ (* 2518.2784334448056 (/ 1 (pow z 2))) (+ (* 380723.32003516535 (* (/ 1 (pow z 2)) (pow 0.9999999999994298 1/3))) (+ (pow 0.9999999999994298 1/3) (* 1259.1392167224028 (/ 1 z))))) (+ (* 76279.96808062849 (* (/ 1 (* (pow 0.9999999999998099 2) (pow z 2))) (pow 0.9999999999994298 1/3))) (+ (* 676.5203681220137 (* (/ 1 z) (pow 0.9999999999994298 1/3))) (* 305119.87232239795 (* (/ 1 (* (pow z 2) (pow 0.9999999999996199 2))) (pow 0.9999999999994298 1/3))))))
691.0ms
(- (+ (* 2518.2784334448056 (/ 1 (pow z 2))) (+ (* 380723.32003516535 (* (/ 1 (pow z 2)) (pow 0.9999999999994298 1/3))) (+ (pow 0.9999999999994298 1/3) (* 1259.1392167224028 (/ 1 z))))) (+ (* 76279.96808062849 (* (/ 1 (* (pow 0.9999999999998099 2) (pow z 2))) (pow 0.9999999999994298 1/3))) (+ (* 676.5203681220137 (* (/ 1 z) (pow 0.9999999999994298 1/3))) (* 305119.87232239795 (* (/ 1 (* (pow z 2) (pow 0.9999999999996199 2))) (pow 0.9999999999994298 1/3))))))
588.0ms
(- (+ (* 0.9985240296129076 (* (pow 311004782.50394994 1/3) z)) (+ (pow 311004782.50394994 1/3) (* 1.82939922770824 (* (pow 311004782.50394994 1/3) (pow z 2))))) (+ (* 76279.96808062849 (* (pow 311004782.50394994 1/3) (/ (pow z 2) (pow 677.5203681218849 2)))) (+ (* 314.7848041806007 z) (+ (* 157.39240209030035 (pow z 2)) (+ (* 140060349465.7229 (* (pow 311004782.50394994 1/3) (/ (pow z 2) (pow 459033.8492200144 2)))) 629.5696083612014)))))
521.0ms
(* (- 1 z) (+ (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))
511.0ms
(+ (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (- (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (- 2 z)))))

prune6.9s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

regimes493.0ms

Accuracy

0% (0.5b remaining)

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

bsearch44.0ms

end0.0ms

sample42.5s

Algorithm
intervals
Results
22.0s3906×body10240exit
6.8s1489×body1280nan
5.9s8086×body80valid
4.4s1262×body640nan
1.7s620×body320nan
802.0ms344×body160nan
275.0ms299×body80nan