Details

sample138.0ms

Algorithm

intervals

Results

69.0ms	107×	body	1280	valid
27.0ms	76×	body	640	valid
17.0ms	239×	body	80	valid
10.0ms	38×	body	320	valid
4.0ms	23×	body	160	valid

simplify64.0ms

Calls

1 calls:

Slowest

64.0ms

(/ (- (exp x) (exp (- x))) 2)

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.5b

localize24.0ms

Local error

Found 1 expressions with local error:

6.6b	(- (exp x) (exp (- x)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
1×	`pow1` `sub-neg` `flip3--` `add-cbrt-cube` `diff-log` `add-exp-log` `add-cube-cbrt` `insert-posit16` `flip--` `distribute-lft-out--` `difference-of-squares`

Calls

1 calls:

Slowest

10.0ms

(- (exp x) (exp (- x)))

series43.0ms

Calls

1 calls:

Slowest

43.0ms

(- (exp x) (exp (- x)))

simplify208.0ms

Calls

7 calls:

Slowest

66.0ms	(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
43.0ms	(/ (exp (exp x)) (exp (exp (- x))))
26.0ms	(- (exp x) (exp (- x)))
22.0ms	(- (exp x) (exp (* -1 x)))
22.0ms	(- (exp x) (exp (- x)))

prune159.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 1/3 x)
0.1b	(* x (* 1/3 x))
0.1b	(* (pow x 5) 1/60)
0.0b	(* x (+ (* x (* 1/3 x)) 2))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

4.0ms	(* x (+ (* x (* 1/3 x)) 2))
2.0ms	(* (pow x 5) 1/60)
1.0ms	(* x (* 1/3 x))
0.0ms	(* 1/3 x)

series79.0ms

Calls

4 calls:

Slowest

32.0ms	(* x (+ (* x (* 1/3 x)) 2))
29.0ms	(* (pow x 5) 1/60)
11.0ms	(* x (* 1/3 x))
7.0ms	(* 1/3 x)

simplify622.0ms

Calls

21 calls:

Slowest

302.0ms	(+ (* (* x (* 1/3 x)) (* x (* 1/3 x))) (- (* 2 2) (* (* x (* 1/3 x)) 2)))
49.0ms	(+ (* 2 x) (* 1/3 (pow x 3)))
48.0ms	(+ (* 2 x) (* 1/3 (pow x 3)))
46.0ms	(+ (* 2 x) (* 1/3 (pow x 3)))
30.0ms	(- (* x (* 1/3 x)) 2)

prune515.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 1/3 x)
0.1b	(* x (* 1/3 x))
0.1b	(* x (* x (* 1/3 x)))
0.1b	(* (pow x 5) 1/60)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `*-commutative` `insert-posit16` `add-log-exp`
3×	`associate-l`
2×	`associate-r`

Calls

4 calls:

Slowest

9.0ms	(* x (* x (* 1/3 x)))
4.0ms	(* (pow x 5) 1/60)
2.0ms	(* x (* 1/3 x))
0.0ms	(* 1/3 x)

series77.0ms

Calls

4 calls:

Slowest

30.0ms	(* (pow x 5) 1/60)
24.0ms	(* x (* x (* 1/3 x)))
16.0ms	(* x (* 1/3 x))
7.0ms	(* 1/3 x)

simplify153.0ms

Calls

15 calls:

Slowest

21.0ms	(* 1/3 (pow x 3))
20.0ms	(* 1/3 (pow x 3))
17.0ms	(* 1/3 (pow x 2))
16.0ms	(* 1/3 (pow x 2))
15.0ms	(* 1/3 (pow x 2))

prune413.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

2.8b	(exp (log (* x (+ (* x (* 1/3 x)) 2))))
0.3b	(* 1/3 x)
0.1b	(* x (* 1/3 x))
0.1b	(* (pow x 5) 1/60)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`pow1`
4×	`exp-prod` `add-cbrt-cube` `add-exp-log` `insert-posit16` `add-log-exp`
3×	`associate-l` `*-commutative`
2×	`log-div` `exp-diff` `associate-*r/`
1×	`log-prod` `flip3-+` `associate-r` `exp-sum` `log-pow` `flip-+` `rem-exp-log`

Calls

4 calls:

Slowest

16.0ms	(exp (log (* x (+ (* x (* 1/3 x)) 2))))
5.0ms	(* (pow x 5) 1/60)
2.0ms	(* x (* 1/3 x))
0.0ms	(* 1/3 x)

series96.0ms

Calls

4 calls:

Slowest

35.0ms	(exp (log (* x (+ (* x (* 1/3 x)) 2))))
35.0ms	(* (pow x 5) 1/60)
19.0ms	(* x (* 1/3 x))
7.0ms	(* 1/3 x)

simplify919.0ms

Calls

21 calls:

Slowest

339.0ms	(exp (log (* x (- (* (* x (* 1/3 x)) (* x (* 1/3 x))) (* 2 2)))))
254.0ms	(exp (log (* x (+ (pow (* x (* 1/3 x)) 3) (pow 2 3)))))
67.0ms	(exp (* (cbrt (log (* x (+ (* x (* 1/3 x)) 2)))) (cbrt (log (* x (+ (* x (* 1/3 x)) 2))))))
55.0ms	(+ (* 2 x) (* 1/3 (pow x 3)))
50.0ms	(exp (sqrt (log (* x (+ (* x (* 1/3 x)) 2)))))

prune556.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes80.0ms

Accuracy

0% (0.3b remaining)

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

bsearch3.0ms

end0.0ms

sample5.0s

Algorithm

intervals

Results

2.5s	3394×	body	1280	valid
1.0s	2449×	body	640	valid
730.0ms	8095×	body	80	valid
369.0ms	1242×	body	320	valid
102.0ms	642×	body	160	valid