Details

Time bar (total: 7.0s)

sample91.0ms

Algorithm
intervals
Results
41.0ms62×body1280valid
14.0ms143×body80valid
11.0ms24×body640valid
6.0ms17×body320valid
2.0ms10×body160valid

simplify61.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.5b

localize13.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)))

rewrite7.0ms

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

series140.0ms

Calls
3 calls:
Slowest
85.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
40.0ms
(/ 2 (+ 1 (exp (* -2 x))))
15.0ms
(+ 1 (exp (* -2 x)))

simplify821.0ms

Calls
15 calls:
Slowest
162.0ms
(+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x)))))
116.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
107.0ms
(- (+ (* 2 (pow x 2)) 2) (* 2 x))
88.0ms
(- (+ x 1) (* 1/3 (pow x 3)))
48.0ms
(- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1)

prune406.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.0ms

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

series124.0ms

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

simplify693.0ms

Calls
15 calls:
Slowest
128.0ms
(+ (* (exp (* -2 x)) (exp (* -2 x))) (- (* 1 1) (* (exp (* -2 x)) 1)))
108.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
98.0ms
(- (+ (* 2 (pow x 2)) 2) (* 2 x))
57.0ms
(- (+ x 1) (* 1/3 (pow x 3)))
47.0ms
(+ (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1)

prune367.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

20.4b
(+ (* (pow x 5) 2/15) (* x (* (* x x) -1/3)))
0.2b
(* (* x x) -1/3)
0.1b
(* x (* (* x x) -1/3))
0.1b
(* (pow x 5) 2/15)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube associate-*l* add-exp-log insert-posit16
3×*-commutative
1×+-commutative sum-log flip3-+ associate-*r* flip-+
Calls
4 calls:
Slowest
5.0ms
(+ (* (pow x 5) 2/15) (* x (* (* x x) -1/3)))
3.0ms
(* x (* (* x x) -1/3))
2.0ms
(* (* x x) -1/3)
2.0ms
(* (pow x 5) 2/15)

series381.0ms

Calls
4 calls:
Slowest
200.0ms
(+ (* (pow x 5) 2/15) (* x (* (* x x) -1/3)))
93.0ms
(* (pow x 5) 2/15)
59.0ms
(* x (* (* x x) -1/3))
28.0ms
(* (* x x) -1/3)

simplify412.0ms

Calls
15 calls:
Slowest
105.0ms
(* (exp (* (pow x 5) 2/15)) (exp (* x (* (* x x) -1/3))))
83.0ms
(- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
64.0ms
(- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
58.0ms
(- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
13.0ms
(* -1/3 (pow x 2))

prune492.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes113.0ms

Accuracy

100% (0.0b remaining)

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

bsearch142.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.3s1777×body1280valid
530.0ms1181×body640valid
360.0ms4101×body80valid
203.0ms649×body320valid
49.0ms292×body160valid