Details

sample77.0ms

Algorithm

intervals

Results

38.0ms	82×	body	1280	valid
11.0ms	180×	body	80	valid
10.0ms	32×	body	640	valid
6.0ms	26×	body	320	valid
2.0ms	14×	body	160	valid

simplify26.0ms

Calls

1 calls:

Slowest

25.0ms

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.2b

localize7.0ms

Local error

Found 2 expressions with local error:

4.1b	(- (exp x) 1)
0.0b	(/ (- (exp x) 1) x)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
4×	`associate-/l*`
3×	`*-un-lft-identity` `add-cube-cbrt`
2×	`pow1` `flip3--` `add-cbrt-cube` `difference-of-sqr-1` `add-exp-log` `insert-posit16` `flip--` `add-log-exp` `associate-/l/`
1×	`clear-num` `sub-neg` `frac-2neg` `div-sub` `div-inv`

Calls

2 calls:

Slowest

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

series64.0ms

Calls

2 calls:

Slowest

43.0ms	(/ (- (exp x) 1) x)
21.0ms	(- (exp x) 1)

simplify507.0ms

Calls

13 calls:

Slowest

170.0ms	(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
100.0ms	(* -1 (/ (- 1 (exp x)) x))
54.0ms	(- (* (exp x) (exp x)) (* 1 1))
50.0ms	(+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
37.0ms	(- (pow (exp x) 3) (pow 1 3))

prune253.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize10.0ms

Local error

Found 3 expressions with local error:

0.3b	(* 1/6 x)
0.1b	(* x (+ (* 1/6 x) 1/2))
0.0b	(+ (* 1/6 x) 1/2)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
3×	`pow1` `add-cbrt-cube` `associate-r` `add-exp-log` `insert-posit16` `add-log-exp`
2×	`flip3-+` `associate-r/` `-commutative` `flip-+`
1×	`distribute-rgt-in` `+-commutative` `distribute-lft-in`

Calls

3 calls:

Slowest

7.0ms	(* x (+ (* 1/6 x) 1/2))
2.0ms	(+ (* 1/6 x) 1/2)
0.0ms	(* 1/6 x)

series148.0ms

Calls

3 calls:

Slowest

92.0ms	(* x (+ (* 1/6 x) 1/2))
40.0ms	(+ (* 1/6 x) 1/2)
16.0ms	(* 1/6 x)

simplify436.0ms

Calls

16 calls:

Slowest

233.0ms	(+ (* (* 1/6 x) (* 1/6 x)) (- (* 1/2 1/2) (* (* 1/6 x) 1/2)))
49.0ms	(+ (* 1/2 x) (* 1/6 (pow x 2)))
42.0ms	(+ (* 1/2 x) (* 1/6 (pow x 2)))
40.0ms	(+ (* 1/2 x) (* 1/6 (pow x 2)))
11.0ms	(sqrt (+ (* 1/6 x) 1/2))

prune398.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize10.0ms

Local error

Found 3 expressions with local error:

4.1b	(- (exp x) 1)
4.1b	(log (exp (- (exp x) 1)))
0.0b	(/ (log (exp (- (exp x) 1))) x)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `log-pow`
8×	`exp-prod` `associate-/l*`
7×	`*-un-lft-identity` `add-cube-cbrt`
5×	`pow1` `log-prod`
3×	`add-cbrt-cube` `difference-of-sqr-1` `add-exp-log` `insert-posit16` `add-log-exp`
2×	`log-div` `sub-neg` `exp-diff` `exp-sum`
1×	`clear-num` `frac-2neg` `flip3--` `div-sub` `rem-log-exp` `div-inv` `flip--`

Calls

3 calls:

Slowest

29.0ms	(/ (log (exp (- (exp x) 1))) x)
8.0ms	(log (exp (- (exp x) 1)))
4.0ms	(- (exp x) 1)

series93.0ms

Calls

3 calls:

Slowest

50.0ms	(/ (log (exp (- (exp x) 1))) x)
22.0ms	(- (exp x) 1)
21.0ms	(log (exp (- (exp x) 1)))

simplify887.0ms

Calls

28 calls:

Slowest

147.0ms	(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
140.0ms	(* -1 (/ (- 1 (exp x)) x))
119.0ms	(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
55.0ms	(* (cbrt (log (exp (- (exp x) 1)))) (cbrt (log (exp (- (exp x) 1)))))
54.0ms	(+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))

prune497.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize26.0ms

Local error

Found 4 expressions with local error:

4.1b	(+ -1 (* (exp x) (exp x)))
0.0b	(/ (+ -1 (* (exp x) (exp x))) (* x (+ (exp x) 1)))
0.0b	(* (exp x) (exp x))
0.0b	(* x (+ (exp x) 1))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cube-cbrt`
8×	`add-cbrt-cube`
6×	`associate-r` `add-exp-log`
4×	`flip3-+` `associate-*r/` `flip-+` `insert-posit16` `add-log-exp`
3×	`times-frac` `associate-l` `associate-/l*`
2×	`associate-/r/` `*-commutative` `associate-/l/`
1×	`pow2` `distribute-rgt-in` `cbrt-undiv` `+-commutative` `clear-num` `associate-/r*` `frac-2neg` `distribute-lft-in` `pow-plus` `div-exp` `pow-prod-down` `prod-exp` `pow-prod-up` `cbrt-unprod` `div-inv`

Calls

4 calls:

Slowest

24.0ms	(/ (+ -1 (* (exp x) (exp x))) (* x (+ (exp x) 1)))
13.0ms	(* x (+ (exp x) 1))
9.0ms	(* (exp x) (exp x))
4.0ms	(+ -1 (* (exp x) (exp x)))

series200.0ms

Calls

4 calls:

Slowest

105.0ms	(/ (+ -1 (* (exp x) (exp x))) (* x (+ (exp x) 1)))
44.0ms	(* x (+ (exp x) 1))
38.0ms	(+ -1 (* (exp x) (exp x)))
14.0ms	(* (exp x) (exp x))

simplify2.9s

Calls

45 calls:

Slowest

390.0ms	(/ (* (* (+ -1 (* (exp x) (exp x))) (+ -1 (* (exp x) (exp x)))) (+ -1 (* (exp x) (exp x)))) (* (* (* x (+ (exp x) 1)) (* x (+ (exp x) 1))) (* x (+ (exp x) 1))))
349.0ms	(- (* -1 -1) (* (* (exp x) (exp x)) (* (exp x) (exp x))))
280.0ms	(/ (- (pow (exp x) 2) 1) (* x (+ (exp x) 1)))
274.0ms	(/ (- (pow (exp x) 2) 1) (* x (+ (exp x) 1)))
159.0ms	(+ (* 2 x) (+ (* 4/3 (pow x 3)) (* 2 (pow x 2))))

prune563.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

regimes59.0ms

Accuracy

98.9% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 21.2b

bsearch67.0ms

end0.0ms

sample2.7s

Algorithm

intervals

Results

1.1s	2349×	body	1280	valid
559.0ms	884×	body	320	valid
458.0ms	1541×	body	640	valid
407.0ms	5462×	body	80	valid
76.0ms	399×	body	160	valid