Details

Time bar (total: 14.7s)

sample120.0ms

Algorithm
intervals
Results
82.0ms182×body1280valid
12.0ms260×body80valid
11.0ms37×body640valid
4.0ms21×body320valid
1.0ms10×body160valid

simplify55.0ms

Calls
1 calls:
Slowest
55.0ms
(+ (- (exp x) 2) (exp (- x)))

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.0b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity
13×add-cube-cbrt
12×prod-diff
6×fma-neg
5×add-log-exp
4×div-inv
3×expm1-log1p-u pow1 associate-/r* sub-neg flip3-- add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u flip--
2×associate--l+ frac-sub
1×associate--l- clear-num frac-2neg diff-log distribute-lft-out-- difference-of-squares
Calls
3 calls:
Slowest
22.0ms
(- (- (exp x) 2) (/ -1 (exp x)))
4.0ms
(- (exp x) 2)
1.0ms
(/ -1 (exp x))

series116.0ms

Calls
3 calls:
Slowest
84.0ms
(- (- (exp x) 2) (/ -1 (exp x)))
21.0ms
(- (exp x) 2)
10.0ms
(/ -1 (exp x))

simplify3.2s

Calls
51 calls:
Slowest
269.0ms
(- (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) -1))
170.0ms
(fma 1 (- (exp x) 2) (- (* (cbrt (/ -1 (exp x))) (* (cbrt (/ -1 (exp x))) (cbrt (/ -1 (exp x)))))))
169.0ms
(* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp x))
149.0ms
(fma 1 (- (exp x) 2) (- (* (/ -1 (exp x)) 1)))
145.0ms
(fma 1 (- (exp x) 2) (- (* (/ 1 (exp x)) -1)))

prune657.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma (pow x 4) 1/12 (* x x))
0.0b
(fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))

rewrite1.0ms

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

series193.0ms

Calls
2 calls:
Slowest
121.0ms
(fma (pow x 4) 1/12 (* x x))
72.0ms
(fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))

simplify168.0ms

Calls
6 calls:
Slowest
45.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
39.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
36.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
21.0ms
(+ (pow x 2) (* 1/12 (pow x 4)))
13.0ms
(+ (pow x 2) (* 1/12 (pow x 4)))

prune316.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

31.8b
(sqrt (fma (pow x 4) 1/12 (* x x)))
31.8b
(sqrt (fma (pow x 4) 1/12 (* x x)))
0.0b
(* (sqrt (fma (pow x 4) 1/12 (* x x))) (sqrt (fma (pow x 4) 1/12 (* x x))))
0.0b
(fma (pow x 4) 1/12 (* x x))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
10×*-un-lft-identity add-cube-cbrt
9×pow1
6×add-cbrt-cube pow1/2 associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square pow-prod-down pow-prod-up
1×pow2 rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod fma-udef
Calls
4 calls:
Slowest
15.0ms
(* (sqrt (fma (pow x 4) 1/12 (* x x))) (sqrt (fma (pow x 4) 1/12 (* x x))))
2.0ms
(sqrt (fma (pow x 4) 1/12 (* x x)))
2.0ms
(sqrt (fma (pow x 4) 1/12 (* x x)))
0.0ms
(fma (pow x 4) 1/12 (* x x))

series477.0ms

Calls
4 calls:
Slowest
145.0ms
(* (sqrt (fma (pow x 4) 1/12 (* x x))) (sqrt (fma (pow x 4) 1/12 (* x x))))
128.0ms
(sqrt (fma (pow x 4) 1/12 (* x x)))
113.0ms
(fma (pow x 4) 1/12 (* x x))
89.0ms
(sqrt (fma (pow x 4) 1/12 (* x x)))

simplify2.5s

Calls
42 calls:
Slowest
298.0ms
(- (+ (* (pow x 2) (sqrt 1/12)) (* 1/2 (/ 1 (sqrt 1/12)))) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt 1/12) 3)))))
293.0ms
(- (+ (* (pow x 2) (sqrt 1/12)) (* 1/2 (/ 1 (sqrt 1/12)))) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt 1/12) 3)))))
242.0ms
(- (+ (* (pow x 2) (sqrt 1/12)) (* 1/2 (/ 1 (sqrt 1/12)))) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt 1/12) 3)))))
240.0ms
(- (+ (* (pow x 2) (sqrt 1/12)) (* 1/2 (/ 1 (sqrt 1/12)))) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt 1/12) 3)))))
204.0ms
(* (* (* (sqrt (fma (pow x 4) 1/12 (* x x))) (sqrt (fma (pow x 4) 1/12 (* x x)))) (sqrt (fma (pow x 4) 1/12 (* x x)))) (* (* (sqrt (fma (pow x 4) 1/12 (* x x))) (sqrt (fma (pow x 4) 1/12 (* x x)))) (sqrt (fma (pow x 4) 1/12 (* x x)))))

prune931.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 3 expressions with local error:

0.1b
(* (pow x 4) 1/12)
0.0b
(fma (pow x 6) 1/360 (pow (fma x x (* (pow x 4) 1/12)) 1))
0.0b
(fma x x (* (pow x 4) 1/12))

rewrite6.0ms

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

series274.0ms

Calls
3 calls:
Slowest
133.0ms
(fma x x (* (pow x 4) 1/12))
95.0ms
(fma (pow x 6) 1/360 (pow (fma x x (* (pow x 4) 1/12)) 1))
46.0ms
(* (pow x 4) 1/12)

simplify238.0ms

Calls
11 calls:
Slowest
68.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
49.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
36.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
17.0ms
(+ (pow x 2) (* 1/12 (pow x 4)))
14.0ms
(+ (pow x 2) (* 1/12 (pow x 4)))

prune486.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes23.0ms

Accuracy

0% (0.7b remaining)

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

bsearch2.0ms

end0.0ms

sample4.8s

Algorithm
intervals
Results
3.1s5651×body1280valid
798.0ms1283×body640valid
531.0ms8114×body80valid
111.0ms598×body320valid
34.0ms288×body160valid