Details

Time bar (total: 15.9s)

sample151.0ms

Algorithm
intervals
Results
72.0ms112×body1280valid
35.0ms82×body640valid
18.0ms245×body80valid
10.0ms37×body320valid
3.0ms19×body160valid

simplify84.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.3b

localize12.0ms

Local error

Found 1 expressions with local error:

6.3b
(- (exp x) (exp (- x)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity
9×prod-diff
8×add-cube-cbrt
3×fma-neg add-log-exp
1×expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log insert-posit16 log1p-expm1-u flip-- distribute-lft-out-- difference-of-squares
Calls
1 calls:
Slowest
6.0ms
(- (exp x) (exp (- x)))

series55.0ms

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

simplify1.3s

Calls
27 calls:
Slowest
104.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
84.0ms
(fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1)))
72.0ms
(fma 1 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
72.0ms
(fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
71.0ms
(fma 1 (exp x) (- (* (exp (- x)) 1)))

prune294.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (fma 1/3 (* x x) 2) x)
0.0b
(fma 1/60 (pow x 5) (* (fma 1/3 (* x x) 2) x))

rewrite4.0ms

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

series70.0ms

Calls
2 calls:
Slowest
37.0ms
(* (fma 1/3 (* x x) 2) x)
32.0ms
(fma 1/60 (pow x 5) (* (fma 1/3 (* x x) 2) x))

simplify510.0ms

Calls
8 calls:
Slowest
102.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
99.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
95.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
72.0ms
(+ (* 2 x) (* 1/3 (pow x 3)))
53.0ms
(+ (* 2 x) (* 1/3 (pow x 3)))

prune267.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt (fma 1/3 (* x x) 2))
1.0b
(cbrt (fma 1/3 (* x x) 2))
1.0b
(cbrt (fma 1/3 (* x x) 2))
0.4b
(* (* (cbrt (fma 1/3 (* x x) 2)) (cbrt (fma 1/3 (* x x) 2))) (* (cbrt (fma 1/3 (* x x) 2)) x))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod pow1 add-exp-log
7×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 pow-prod-down prod-exp cbrt-unprod
1×associate-*r* associate-*l* *-commutative
Calls
4 calls:
Slowest
22.0ms
(* (* (cbrt (fma 1/3 (* x x) 2)) (cbrt (fma 1/3 (* x x) 2))) (* (cbrt (fma 1/3 (* x x) 2)) x))
1.0ms
(cbrt (fma 1/3 (* x x) 2))
1.0ms
(cbrt (fma 1/3 (* x x) 2))
1.0ms
(cbrt (fma 1/3 (* x x) 2))

series380.0ms

Calls
4 calls:
Slowest
129.0ms
(cbrt (fma 1/3 (* x x) 2))
118.0ms
(cbrt (fma 1/3 (* x x) 2))
94.0ms
(cbrt (fma 1/3 (* x x) 2))
40.0ms
(* (* (cbrt (fma 1/3 (* x x) 2)) (cbrt (fma 1/3 (* x x) 2))) (* (cbrt (fma 1/3 (* x x) 2)) x))

simplify4.2s

Calls
28 calls:
Slowest
551.0ms
(* (* (* (* (cbrt (fma 1/3 (* x x) 2)) (cbrt (fma 1/3 (* x x) 2))) (* (cbrt (fma 1/3 (* x x) 2)) (cbrt (fma 1/3 (* x x) 2)))) (* (cbrt (fma 1/3 (* x x) 2)) (cbrt (fma 1/3 (* x x) 2)))) (* (* (* (cbrt (fma 1/3 (* x x) 2)) x) (* (cbrt (fma 1/3 (* x x) 2)) x)) (* (cbrt (fma 1/3 (* x x) 2)) x)))
455.0ms
(* (* (fma 1/3 (* x x) 2) (fma 1/3 (* x x) 2)) (* (* (* (cbrt (fma 1/3 (* x x) 2)) x) (* (cbrt (fma 1/3 (* x x) 2)) x)) (* (cbrt (fma 1/3 (* x x) 2)) x)))
396.0ms
(- (+ (* 1/18 (* (pow x 2) (pow 2 1/3))) (pow 2 1/3)) (* 1/324 (* (pow x 4) (pow 2 1/3))))
372.0ms
(- (+ (* 1/18 (* (pow x 2) (pow 2 1/3))) (pow 2 1/3)) (* 1/324 (* (pow x 4) (pow 2 1/3))))
320.0ms
(- (+ (* 2 (/ (exp (* 1/3 (- (log 1/3) (* 2 (log (/ 1 x)))))) (pow x 2))) (exp (* 1/3 (- (log 1/3) (* 2 (log (/ 1 x))))))) (* 4 (/ (exp (* 1/3 (- (log 1/3) (* 2 (log (/ 1 x)))))) (pow x 4))))

prune780.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 3 expressions with local error:

6.5b
(log (exp (fma 1/60 (pow x 5) (* (fma 1/3 (* x x) 2) x))))
0.0b
(* (fma 1/3 (* x x) 2) x)
0.0b
(fma 1/60 (pow x 5) (* (fma 1/3 (* x x) 2) x))

rewrite5.0ms

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

series110.0ms

Calls
3 calls:
Slowest
56.0ms
(* (fma 1/3 (* x x) 2) x)
32.0ms
(log (exp (fma 1/60 (pow x 5) (* (fma 1/3 (* x x) 2) x))))
23.0ms
(fma 1/60 (pow x 5) (* (fma 1/3 (* x x) 2) x))

simplify1.7s

Calls
18 calls:
Slowest
205.0ms
(log (sqrt (exp (fma 1/60 (pow x 5) (* (fma 1/3 (* x x) 2) x)))))
190.0ms
(log (* (cbrt (exp (fma 1/60 (pow x 5) (* (fma 1/3 (* x x) 2) x)))) (cbrt (exp (fma 1/60 (pow x 5) (* (fma 1/3 (* x x) 2) x))))))
133.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
133.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
127.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))

prune531.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.0b

regimes149.0ms

Accuracy

0% (0.6b remaining)

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

bsearch3.0ms

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.3s3446×body1280valid
1.1s2471×body640valid
1.1s8063×body80valid
352.0ms1200×body320valid
99.0ms599×body160valid