Details

sample72.0ms

Algorithm

intervals

Results

22.0ms	65×	body	1280	valid
19.0ms	70×	body	10240	exit
12.0ms	57×	body	640	valid
5.0ms	90×	body	80	valid
4.0ms	27×	body	320	valid
2.0ms	17×	body	160	valid

simplify15.0ms

Calls

1 calls:

Slowest

15.0ms

(/ (exp x) (- (exp x) 1))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.4b

localize9.0ms

Local error

Found 2 expressions with local error:

4.8b	(- (exp x) 1)
0.5b	(/ (exp x) (- (exp x) 1))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
12×	`*-un-lft-identity` `times-frac` `add-cube-cbrt`
5×	`difference-of-sqr-1`
4×	`associate-/r*` `add-cbrt-cube`
3×	`fma-neg` `add-exp-log` `associate-/l*`
2×	`expm1-log1p-u` `pow1` `flip3--` `associate-/r/` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp`
1×	`cbrt-undiv` `expm1-def` `clear-num` `sub-neg` `frac-2neg` `div-exp` `div-inv`

Calls

2 calls:

Slowest

10.0ms	(/ (exp x) (- (exp x) 1))
4.0ms	(- (exp x) 1)

series50.0ms

Calls

2 calls:

Slowest

26.0ms	(- (exp x) 1)
23.0ms	(/ (exp x) (- (exp x) 1))

simplify1.0s

Calls

43 calls:

Slowest

275.0ms	(/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1)))
137.0ms	(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
73.0ms	(+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))
51.0ms	(/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))))
38.0ms	(+ (* 1/12 x) (+ (/ 1 x) 1/2))

prune393.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize9.0ms

Local error

Found 1 expressions with local error:

0.5b	(/ (exp x) (expm1 x))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `*-un-lft-identity` `times-frac` `add-cube-cbrt`
3×	`associate-/r` `add-cbrt-cube` `associate-/l`
2×	`add-exp-log`
1×	`expm1-log1p-u` `pow1` `cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`

Calls

1 calls:

Slowest

5.0ms

(/ (exp x) (expm1 x))

series22.0ms

Calls

1 calls:

Slowest

22.0ms

(/ (exp x) (expm1 x))

simplify547.0ms

Calls

28 calls:

Slowest

201.0ms	(/ (* (* (exp x) (exp x)) (exp x)) (* (* (expm1 x) (expm1 x)) (expm1 x)))
54.0ms	(/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (expm1 x)) (cbrt (expm1 x))))
29.0ms	(/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (expm1 x)))
28.0ms	(/ (* (cbrt (exp x)) (cbrt (exp x))) 1)
26.0ms	(+ (* 1/12 x) (+ (/ 1 x) 1/2))

prune271.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.4b

localize18.0ms

Local error

Found 1 expressions with local error:

0.1b	(fma x 1/12 (+ 1/2 (/ 1 x)))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`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

1 calls:

Slowest

0.0ms

(fma x 1/12 (+ 1/2 (/ 1 x)))

series18.0ms

Calls

1 calls:

Slowest

18.0ms

(fma x 1/12 (+ 1/2 (/ 1 x)))

simplify98.0ms

Calls

3 calls:

Slowest

46.0ms	(+ (* 1/12 x) (+ (/ 1 x) 1/2))
29.0ms	(+ (* 1/12 x) (+ (/ 1 x) 1/2))
22.0ms	(+ (* 1/12 x) (+ (/ 1 x) 1/2))

prune102.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.4b

localize8.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (fma x 1/12 (+ 1/2 (/ 1 x))))
0.6b	(cbrt (fma x 1/12 (+ 1/2 (/ 1 x))))
0.6b	(cbrt (fma x 1/12 (+ 1/2 (/ 1 x))))
0.5b	(* (cbrt (fma x 1/12 (+ 1/2 (/ 1 x)))) (cbrt (fma x 1/12 (+ 1/2 (/ 1 x)))))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

15×	`cbrt-prod`
11×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`pow1`
7×	`pow1/3`
6×	`associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow-prod-down` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Calls

4 calls:

Slowest

10.0ms	(* (cbrt (fma x 1/12 (+ 1/2 (/ 1 x)))) (cbrt (fma x 1/12 (+ 1/2 (/ 1 x)))))
1.0ms	(cbrt (fma x 1/12 (+ 1/2 (/ 1 x))))
1.0ms	(cbrt (fma x 1/12 (+ 1/2 (/ 1 x))))
1.0ms	(cbrt (fma x 1/12 (+ 1/2 (/ 1 x))))

series306.0ms

Calls

4 calls:

Slowest

99.0ms	(cbrt (fma x 1/12 (+ 1/2 (/ 1 x))))
96.0ms	(cbrt (fma x 1/12 (+ 1/2 (/ 1 x))))
63.0ms	(cbrt (fma x 1/12 (+ 1/2 (/ 1 x))))
48.0ms	(* (cbrt (fma x 1/12 (+ 1/2 (/ 1 x)))) (cbrt (fma x 1/12 (+ 1/2 (/ 1 x)))))

simplify4.7s

Calls

41 calls:

Slowest

718.0ms	(* (fma x 1/12 (+ 1/2 (/ 1 x))) (fma x 1/12 (+ 1/2 (/ 1 x))))
681.0ms	(* (fma x 1/12 (+ 1/2 (/ 1 x))) (fma x 1/12 (+ 1/2 (/ 1 x))))
575.0ms	(- (+ (exp (* 1/3 (- (log -1/12) (log (/ -1 x))))) (* 2 (/ (exp (* 1/3 (- (log -1/12) (log (/ -1 x))))) x))) (* 8/3 (/ (exp (* 1/3 (- (log -1/12) (log (/ -1 x))))) (pow x 3))))
302.0ms	(+ (* 4 (/ (exp (* 1/3 (- (log 1/144) (* 2 (log (/ 1 x)))))) x)) (+ (* 4 (/ (exp (* 1/3 (- (log 1/144) (* 2 (log (/ 1 x)))))) (pow x 2))) (exp (* 1/3 (- (log 1/144) (* 2 (log (/ 1 x))))))))
291.0ms	(+ (* 4 (/ (exp (* 1/3 (- (log 1/144) (* 2 (log (/ -1 x)))))) x)) (+ (* 4 (/ (exp (* 1/3 (- (log 1/144) (* 2 (log (/ -1 x)))))) (pow x 2))) (exp (* 1/3 (- (log 1/144) (* 2 (log (/ -1 x))))))))

prune622.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.4b

regimes33.0ms

Accuracy

0% (0.1b remaining)

Error of 0.5b against oracle of 0.4b and baseline of 0.5b

bsearch1.0ms

end0.0ms

sample3.1s

Algorithm

intervals

Results

873.0ms	2248×	body	1280	valid
833.0ms	2543×	body	10240	exit
626.0ms	2868×	body	80	valid
473.0ms	1616×	body	640	valid
145.0ms	832×	body	320	valid
49.0ms	438×	body	160	valid