Details

Time bar (total: 6.8s)

sample68.0ms

Algorithm
intervals
Results
25.0ms55×body1280valid
14.0ms43×body640valid
9.0ms128×body80valid
5.0ms21×body320valid
1.0ms9×body160valid

simplify41.0ms

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

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.9b

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

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

series98.0ms

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

simplify810.0ms

Calls
15 calls:
Slowest
137.0ms
(+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x)))))
123.0ms
(- (+ (* 2 (pow x 2)) 2) (* 2 x))
109.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
83.0ms
(- (+ x 1) (* 1/3 (pow x 3)))
50.0ms
(- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1)

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

rewrite16.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
9.0ms
(- (/ 2 (+ (exp (* -2 x)) 1)) 1)
4.0ms
(+ (exp (* -2 x)) 1)
3.0ms
(/ 2 (+ (exp (* -2 x)) 1))

series74.0ms

Calls
3 calls:
Slowest
44.0ms
(- (/ 2 (+ (exp (* -2 x)) 1)) 1)
22.0ms
(/ 2 (+ (exp (* -2 x)) 1))
7.0ms
(+ (exp (* -2 x)) 1)

simplify736.0ms

Calls
15 calls:
Slowest
133.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
125.0ms
(+ (* (exp (* -2 x)) (exp (* -2 x))) (- (* 1 1) (* (exp (* -2 x)) 1)))
98.0ms
(- (+ (* 2 (pow x 2)) 2) (* 2 x))
82.0ms
(- (+ x 1) (* 1/3 (pow x 3)))
43.0ms
(- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1)

prune350.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

20.0b
(+ (* (pow x 5) 2/15) (* x (* (* x x) -1/3)))
0.4b
(* (* x x) -1/3)
0.1b
(* x (* (* x x) -1/3))
0.0b
(* (pow x 5) 2/15)

rewrite25.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
10.0ms
(+ (* (pow x 5) 2/15) (* x (* (* x x) -1/3)))
6.0ms
(* x (* (* x x) -1/3))
5.0ms
(* (* x x) -1/3)
3.0ms
(* (pow x 5) 2/15)

series138.0ms

Calls
4 calls:
Slowest
80.0ms
(+ (* (pow x 5) 2/15) (* x (* (* x x) -1/3)))
23.0ms
(* (pow x 5) 2/15)
19.0ms
(* (* x x) -1/3)
15.0ms
(* x (* (* x x) -1/3))

simplify369.0ms

Calls
15 calls:
Slowest
70.0ms
(* (exp (* (pow x 5) 2/15)) (exp (* x (* (* x x) -1/3))))
64.0ms
(- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
60.0ms
(- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
60.0ms
(- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
20.0ms
(* -1/3 (pow x 3))

prune485.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes115.0ms

Accuracy

100% (0.0b remaining)

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

bsearch111.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.1s1782×body1280valid
912.0ms1239×body640valid
423.0ms4077×body80valid
175.0ms601×body320valid
52.0ms301×body160valid