Details

Time bar (total: 7.4s)

sample58.0ms

Algorithm
intervals
Results
24.0ms62×body1280valid
13.0ms24×body640valid
8.0ms143×body80valid
3.0ms17×body320valid
1.0ms10×body160valid

simplify26.0ms

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.5b

localize12.0ms

Local error

Found 3 expressions with local error:

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

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

series93.0ms

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

simplify1.0s

Calls
20 calls:
Slowest
164.0ms
(- (+ (* 2 (pow x 2)) 2) (* 2 x))
146.0ms
(+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x)))))
127.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
83.0ms
(- (+ x 1) (* 1/3 (pow x 3)))
73.0ms
(/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3)))

prune438.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize1.0ms

Local error

Found 3 expressions with local error:

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

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

series117.0ms

Calls
3 calls:
Slowest
79.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
24.0ms
(/ 2 (+ 1 (exp (* -2 x))))
14.0ms
(+ 1 (exp (* -2 x)))

simplify1.1s

Calls
20 calls:
Slowest
169.0ms
(+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x)))))
157.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
137.0ms
(- (+ (* 2 (pow x 2)) 2) (* 2 x))
91.0ms
(- (+ x 1) (* 1/3 (pow x 3)))
80.0ms
(/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3)))

prune490.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

series272.0ms

Calls
4 calls:
Slowest
161.0ms
(fma 2/15 (pow x 5) x)
66.0ms
(fma (* (* x -1/3) x) x (fma 2/15 (pow x 5) x))
29.0ms
(* (* x -1/3) x)
15.0ms
(* x -1/3)

simplify562.0ms

Calls
12 calls:
Slowest
168.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
167.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
140.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
13.0ms
(+ x (* 2/15 (pow x 5)))
13.0ms
(* -1/3 (pow x 2))

prune435.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes207.0ms

Accuracy

100% (0.0b remaining)

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

bsearch125.0ms

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.2s1777×body1280valid
464.0ms1181×body640valid
397.0ms4101×body80valid
149.0ms649×body320valid
45.0ms292×body160valid