Details

Time bar (total: 7.4s)

sample85.0ms

Algorithm
intervals
Results
40.0ms55×body1280valid
14.0ms39×body640valid
12.0ms133×body80valid
5.0ms17×body320valid
2.0ms12×body160valid

simplify36.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.2b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite14.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
11.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
1.0ms
(/ 2 (+ 1 (exp (* -2 x))))
1.0ms
(+ 1 (exp (* -2 x)))

series91.0ms

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

simplify1.0s

Calls
20 calls:
Slowest
142.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
130.0ms
(+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x)))))
120.0ms
(- (+ (* 2 (pow x 2)) 2) (* 2 x))
101.0ms
(/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3)))
100.0ms
(- (+ x 1) (* 1/3 (pow x 3)))

prune490.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite29.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
14.0ms
(- (/ 2 (+ (exp (* -2 x)) 1)) 1)
9.0ms
(+ (exp (* -2 x)) 1)
6.0ms
(/ 2 (+ (exp (* -2 x)) 1))

series88.0ms

Calls
3 calls:
Slowest
53.0ms
(- (/ 2 (+ (exp (* -2 x)) 1)) 1)
23.0ms
(/ 2 (+ (exp (* -2 x)) 1))
11.0ms
(+ (exp (* -2 x)) 1)

simplify1.1s

Calls
22 calls:
Slowest
186.0ms
(+ (* (exp (* -2 x)) (exp (* -2 x))) (- (* 1 1) (* (exp (* -2 x)) 1)))
163.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
129.0ms
(- (+ (* 2 (pow x 2)) 2) (* 2 x))
89.0ms
(/ 2 (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 1)))
80.0ms
(/ 2 (+ (pow (exp (* -2 x)) 3) (pow 1 3)))

prune500.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

12.2b
(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)

rewrite7.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
5.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)

series99.0ms

Calls
4 calls:
Slowest
48.0ms
(fma 2/15 (pow x 5) x)
31.0ms
(fma (* (* x -1/3) x) x (fma 2/15 (pow x 5) x))
11.0ms
(* (* x -1/3) x)
10.0ms
(* x -1/3)

simplify467.0ms

Calls
12 calls:
Slowest
136.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
133.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
133.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
9.0ms
(* -1/3 (pow x 2))
9.0ms
(+ x (* 2/15 (pow x 5)))

prune470.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes108.0ms

Accuracy

100% (0.0b remaining)

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

bsearch120.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
945.0ms1764×body1280valid
831.0ms1251×body640valid
392.0ms4058×body80valid
179.0ms611×body320valid
50.0ms316×body160valid