Details

Time bar (total: 6.9s)

sample85.0ms

Algorithm
intervals
Results
32.0ms55×body1280valid
18.0ms43×body640valid
14.0ms128×body80valid
6.0ms21×body320valid
2.0ms9×body160valid

simplify47.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.9b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt fma-neg
5×*-un-lft-identity add-cube-cbrt
4×add-exp-log associate-/r/
3×expm1-log1p-u pow1 associate-/r* flip3-+ add-cbrt-cube flip-+ insert-posit16 log1p-expm1-u add-log-exp
2×div-inv
1×+-commutative expm1-def clear-num sub-neg frac-2neg flip3-- difference-of-sqr-1 flip--
Calls
3 calls:
Slowest
22.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
2.0ms
(+ 1 (exp (* -2 x)))
2.0ms
(/ 2 (+ 1 (exp (* -2 x))))

series66.0ms

Calls
3 calls:
Slowest
36.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
20.0ms
(/ 2 (+ 1 (exp (* -2 x))))
9.0ms
(+ 1 (exp (* -2 x)))

simplify1.1s

Calls
20 calls:
Slowest
170.0ms
(+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x)))))
160.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
156.0ms
(- (+ (* 2 (pow x 2)) 2) (* 2 x))
82.0ms
(- (+ x 1) (* 1/3 (pow x 3)))
63.0ms
(/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3)))

prune451.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
6×*-un-lft-identity fma-neg add-cube-cbrt
4×add-exp-log associate-/r/
3×expm1-log1p-u pow1 associate-/r* fma-def flip3-+ add-cbrt-cube flip-+ insert-posit16 log1p-expm1-u add-log-exp
2×div-inv
1×+-commutative expm1-def clear-num sub-neg frac-2neg flip3-- difference-of-sqr-1 flip--
Calls
3 calls:
Slowest
11.0ms
(- (/ 2 (+ (exp (* -2 x)) 1)) 1)
5.0ms
(+ (exp (* -2 x)) 1)
3.0ms
(/ 2 (+ (exp (* -2 x)) 1))

series67.0ms

Calls
3 calls:
Slowest
39.0ms
(- (/ 2 (+ (exp (* -2 x)) 1)) 1)
18.0ms
(/ 2 (+ (exp (* -2 x)) 1))
10.0ms
(+ (exp (* -2 x)) 1)

simplify1.0s

Calls
22 calls:
Slowest
155.0ms
(- (+ (* 2 (pow x 2)) 2) (* 2 x))
131.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
124.0ms
(+ (* (exp (* -2 x)) (exp (* -2 x))) (- (* 1 1) (* (exp (* -2 x)) 1)))
84.0ms
(/ 2 (+ (pow (exp (* -2 x)) 3) (pow 1 3)))
77.0ms
(/ 2 (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 1)))

prune478.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

14.8b
(fma (* (* x -1/3) x) x (fma 2/15 (pow x 5) x))
0.3b
(* x -1/3)
0.1b
(* (* x -1/3) x)
0.0b
(fma 2/15 (pow x 5) x)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
2×*-commutative fma-udef
1×associate-*l*
Calls
4 calls:
Slowest
3.0ms
(* (* x -1/3) x)
0.0ms
(fma (* (* x -1/3) x) x (fma 2/15 (pow x 5) x))
0.0ms
(* x -1/3)
0.0ms
(fma 2/15 (pow x 5) x)

series118.0ms

Calls
4 calls:
Slowest
60.0ms
(fma 2/15 (pow x 5) x)
39.0ms
(fma (* (* x -1/3) x) x (fma 2/15 (pow x 5) x))
10.0ms
(* (* x -1/3) x)
8.0ms
(* x -1/3)

simplify497.0ms

Calls
12 calls:
Slowest
149.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
138.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
132.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
13.0ms
(+ x (* 2/15 (pow x 5)))
12.0ms
(+ x (* 2/15 (pow x 5)))

prune487.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes79.0ms

Accuracy

100% (0.0b remaining)

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

bsearch143.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
993.0ms1782×body1280valid
469.0ms1239×body640valid
371.0ms4077×body80valid
142.0ms601×body320valid
46.0ms301×body160valid