Details

Time bar (total: 45.4s)

sample105.0ms

Algorithm
intervals
Results
37.0ms55×body1280valid
23.0ms128×body80valid
22.0ms47×body640valid
7.0ms18×body320valid
2.0ms8×body160valid

simplify132.0ms

Calls
1 calls:
Slowest
132.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.3b

localize14.0ms

Local error

Found 3 expressions with local error:

2.1b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
0.0b
(/ 2 (+ 1 (exp (* -2 x))))
0.0b
(+ 1 (exp (* -2 x)))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity
23×add-sqr-sqrt
15×times-frac
12×add-cube-cbrt
7×add-log-exp
5×add-cbrt-cube add-exp-log distribute-lft-out
4×associate-/r* difference-of-squares
3×pow1 insert-posit16 associate-/l*
2×flip3-+ difference-of-sqr-1 associate-/r/ flip-+
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg flip3-- diff-log div-exp div-inv flip-- distribute-lft-out--
Calls
3 calls:
Slowest
95.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
14.0ms
(/ 2 (+ 1 (exp (* -2 x))))
6.0ms
(+ 1 (exp (* -2 x)))

series121.0ms

Calls
3 calls:
Slowest
83.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
26.0ms
(/ 2 (+ 1 (exp (* -2 x))))
12.0ms
(+ 1 (exp (* -2 x)))

simplify6.7s

Calls
57 calls:
Slowest
357.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
357.0ms
(/ (* (* 2 2) 2) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x)))))
253.0ms
(- (+ x 1) (* 1/3 (pow x 3)))
238.0ms
(+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x)))))
177.0ms
(- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1)

prune659.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

2.1b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
2.1b
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
0.0b
(/ 2 (+ 1 (exp (* -2 x))))
0.0b
(+ 1 (exp (* -2 x)))

rewrite225.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
33×*-un-lft-identity
18×times-frac
15×add-cube-cbrt
11×log-pow
10×exp-prod
8×add-log-exp difference-of-squares
6×add-cbrt-cube add-exp-log
5×pow1 log-prod distribute-lft-out
4×associate-/r* difference-of-sqr-1 insert-posit16
3×associate-/l*
2×sub-neg flip3-+ exp-sum associate-/r/ flip-+ distribute-lft-out--
1×cbrt-undiv +-commutative log-div clear-num sum-log frac-2neg flip3-- exp-diff diff-log div-exp rem-log-exp div-inv flip--
Calls
4 calls:
Slowest
148.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
60.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
10.0ms
(/ 2 (+ 1 (exp (* -2 x))))
5.0ms
(+ 1 (exp (* -2 x)))

series178.0ms

Calls
4 calls:
Slowest
69.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
64.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
34.0ms
(/ 2 (+ 1 (exp (* -2 x))))
11.0ms
(+ 1 (exp (* -2 x)))

simplify9.5s

Calls
77 calls:
Slowest
396.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
372.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
356.0ms
(/ (* (* 2 2) 2) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x)))))
278.0ms
(+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x)))))
217.0ms
(- (+ x 1) (* 1/3 (pow x 3)))

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

2.1b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
2.1b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
2.1b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
2.1b
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))

rewrite358.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
22×*-un-lft-identity
16×difference-of-squares
12×times-frac
11×log-pow
10×exp-prod add-log-exp
8×difference-of-sqr-1
6×add-cube-cbrt
5×pow1 log-prod
4×sub-neg add-cbrt-cube add-exp-log insert-posit16 distribute-lft-out--
3×flip3-- diff-log flip--
2×exp-sum
1×log-div exp-diff rem-log-exp
Calls
4 calls:
Slowest
114.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
89.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
87.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
67.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

series337.0ms

Calls
4 calls:
Slowest
101.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
90.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
87.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
59.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))

simplify9.8s

Calls
65 calls:
Slowest
492.0ms
(+ (/ (sqrt 2) (sqrt (+ 1 (exp (* -2 x))))) 1)
418.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
393.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
352.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
329.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))

prune1.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

2.1b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
2.1b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
2.1b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
2.1b
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))

rewrite263.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
22×*-un-lft-identity
16×difference-of-squares
12×times-frac
11×log-pow
10×exp-prod add-log-exp
8×difference-of-sqr-1
6×add-cube-cbrt
5×pow1 log-prod
4×sub-neg add-cbrt-cube add-exp-log insert-posit16 distribute-lft-out--
3×flip3-- diff-log flip--
2×exp-sum
1×log-div exp-diff rem-log-exp
Calls
4 calls:
Slowest
112.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
56.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
48.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
46.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

series253.0ms

Calls
4 calls:
Slowest
73.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
64.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
59.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
56.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

simplify9.5s

Calls
65 calls:
Slowest
385.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
381.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
347.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
330.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
190.0ms
(+ (sqrt (/ 2 (+ 1 (exp (* -2 x))))) (sqrt 1))

prune1.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes238.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 28.6b

bsearch148.0ms

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.1s1633×body1280valid
607.0ms1249×body640valid
604.0ms611×body320valid
399.0ms4196×body80valid
58.0ms311×body160valid