Details

sample169.0ms

Algorithm

intervals

Results

120.0ms	189×	body	1280	valid
17.0ms	257×	body	80	valid
12.0ms	31×	body	640	valid
5.0ms	20×	body	320	valid
2.0ms	9×	body	160	valid

simplify66.0ms

Calls

1 calls:

Slowest

66.0ms

(+ (- (exp x) 2) (exp (- x)))

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.9b

localize25.0ms

Local error

Found 2 expressions with local error:

3.3b	(+ (- (exp x) 2) (exp (- x)))
0.0b	(- (exp x) 2)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

6×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `frac-add` `add-cube-cbrt` `add-log-exp`
3×	`fma-def` `flip3--` `fma-neg` `flip--`
2×	`neg-sub0` `exp-neg` `expm1-log1p-u` `pow1` `associate-+l+` `sub-neg` `add-cbrt-cube` `exp-diff` `add-exp-log` `insert-posit16` `log1p-expm1-u`
1×	`+-commutative` `sum-log` `flip3-+` `associate-+l-` `flip-+` `distribute-lft-out`

Calls

2 calls:

Slowest

31.0ms	(+ (- (exp x) 2) (exp (- x)))
4.0ms	(- (exp x) 2)

series83.0ms

Calls

2 calls:

Slowest

69.0ms	(+ (- (exp x) 2) (exp (- x)))
14.0ms	(- (exp x) 2)

simplify2.1s

Calls

23 calls:

Slowest

477.0ms	(+ (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) (exp 0)))
446.0ms	(+ (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp 0)))
181.0ms	(+ (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) 1))
175.0ms	(+ (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) 1))
141.0ms	(* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp x))

prune429.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 2 expressions with local error:

0.0b	(fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))
0.0b	(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 6) 1/360 (fma (pow x 4) 1/12 (* x x)))
0.0ms	(fma (pow x 4) 1/12 (* x x))

series241.0ms

Calls

2 calls:

Slowest

138.0ms	(fma (pow x 4) 1/12 (* x x))
103.0ms	(fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))

simplify169.0ms

Calls

6 calls:

Slowest

41.0ms	(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
40.0ms	(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
37.0ms	(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
20.0ms	(+ (pow x 2) (* 1/12 (pow x 4)))
17.0ms	(+ (pow x 2) (* 1/12 (pow x 4)))

prune284.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 4 expressions with local error:

31.2b	(log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))
2.7b	(exp (log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))))
0.0b	(fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))
0.0b	(fma (pow x 4) 1/12 (* x x))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`pow1` `log-prod`
5×	`add-exp-log`
4×	`expm1-log1p-u` `exp-prod` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`exp-sum`
2×	`log-pow` `fma-udef`
1×	`rem-log-exp` `rem-exp-log`

Calls

4 calls:

Slowest

4.0ms	(log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))
3.0ms	(exp (log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))))
0.0ms	(fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))
0.0ms	(fma (pow x 4) 1/12 (* x x))

series446.0ms

Calls

4 calls:

Slowest

174.0ms	(log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))
119.0ms	(fma (pow x 4) 1/12 (* x x))
83.0ms	(exp (log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))))
70.0ms	(fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))

simplify1.7s

Calls

24 calls:

Slowest

309.0ms	(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
279.0ms	(- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ -1 x))) (* 90 (/ 1 (pow x 4)))))
267.0ms	(- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ 1 x))) (* 90 (/ 1 (pow x 4)))))
114.0ms	(- (+ (* 1/12 (pow x 2)) (* 2 (log x))) (* 1/1440 (pow x 4)))
77.0ms	(exp (log (sqrt (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))))

prune792.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 4 expressions with local error:

31.2b	(log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))
31.2b	(log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))
30.1b	(sqrt (exp (log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))))
30.1b	(sqrt (exp (log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `log-prod`
12×	`sqrt-prod`
10×	`*-un-lft-identity` `add-cube-cbrt`
8×	`exp-sum`
6×	`pow1` `add-exp-log`
4×	`expm1-log1p-u` `rem-sqrt-square` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow1/2` `rem-log-exp` `log-pow`

Calls

4 calls:

Slowest

4.0ms	(sqrt (exp (log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))))
3.0ms	(sqrt (exp (log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))))
1.0ms	(log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))
1.0ms	(log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))

series610.0ms

Calls

4 calls:

Slowest

165.0ms	(sqrt (exp (log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))))
161.0ms	(sqrt (exp (log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))))
161.0ms	(log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))
122.0ms	(log (fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x))))

simplify4.1s

Calls

36 calls:

Slowest

388.0ms	(- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ -1 x))) (* 90 (/ 1 (pow x 4)))))
367.0ms	(- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ 1 x))) (* 90 (/ 1 (pow x 4)))))
361.0ms	(- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ -1 x))) (* 90 (/ 1 (pow x 4)))))
329.0ms	(- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ 1 x))) (* 90 (/ 1 (pow x 4)))))
250.0ms	(- (* 1/1152 (/ 1 (* (pow (sqrt 1/360) 3) x))) (+ (* 1/2 (/ 1 (* (sqrt 1/360) x))) (+ (* (sqrt 1/360) (pow x 3)) (* 1/24 (/ x (sqrt 1/360))))))

prune1.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes28.0ms

Accuracy

0% (0.6b remaining)

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

bsearch1.0ms

end0.0ms

sample5.4s

Algorithm

intervals

Results

4.0s	5733×	body	1280	valid
565.0ms	8029×	body	80	valid
471.0ms	1175×	body	640	valid
126.0ms	633×	body	320	valid
38.0ms	290×	body	160	valid