Details

sample579.0ms

Algorithm

intervals

Results

334.0ms	206×	body	10240	exit
77.0ms	419×	body	80	nan
36.0ms	238×	body	80	valid
7.0ms	23×	body	160	valid

simplify392.0ms

Calls

1 calls:

Slowest

391.0ms

(sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))

prune58.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (exp x) 1)
0.0b	(sqrt (+ (exp x) 1))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt`
3×	`*-un-lft-identity` `add-cube-cbrt` `sqrt-prod`
2×	`pow1` `flip3-+` `add-cbrt-cube` `sqrt-div` `add-exp-log` `flip-+` `insert-posit16` `add-log-exp`
1×	`+-commutative` `rem-sqrt-square` `pow1/2`

Calls

2 calls:

Slowest

13.0ms	(+ (exp x) 1)
8.0ms	(sqrt (+ (exp x) 1))

series52.0ms

Calls

2 calls:

Slowest

26.0ms	(sqrt (+ (exp x) 1))
26.0ms	(+ (exp x) 1)

simplify547.0ms

Calls

12 calls:

Slowest

285.0ms	(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
58.0ms	(sqrt (- (* (exp x) (exp x)) (* 1 1)))
47.0ms	(+ x (+ (* 1/2 (pow x 2)) 2))
36.0ms	(sqrt (+ (pow (exp x) 3) (pow 1 3)))
31.0ms	(sqrt (sqrt (+ (exp x) 1)))

prune281.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

4.8b	(- (* 1 1) (* (exp x) 1))
0.1b	(pow (exp x) 3)
0.1b	(* (exp x) (exp x))
0.0b	(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-log-exp`
10×	`pow1`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
7×	`add-cbrt-cube`
4×	`add-exp-log` `insert-posit16`
3×	`unpow-prod-down` `cube-prod` `associate-r` `associate-l`
2×	`associate-+r+` `sum-log` `sub-neg` `diff-log`
1×	`pow2` `cube-mult` `pow-to-exp` `+-commutative` `associate-+r-` `pow-pow` `flip3-+` `pow-plus` `flip3--` `distribute-rgt-out--` `unpow3` `pow-prod-down` `pow-exp` `prod-exp` `*-commutative` `pow-prod-up` `cbrt-unprod` `flip-+` `flip--` `rem-cube-cbrt`

Calls

4 calls:

Slowest

19.0ms	(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
14.0ms	(* (exp x) (exp x))
5.0ms	(- (* 1 1) (* (exp x) 1))
2.0ms	(pow (exp x) 3)

series89.0ms

Calls

4 calls:

Slowest

32.0ms	(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
24.0ms	(pow (exp x) 3)
18.0ms	(- (* 1 1) (* (exp x) 1))
16.0ms	(* (exp x) (exp x))

simplify1.3s

Calls

39 calls:

Slowest

222.0ms	(- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
196.0ms	(* (exp (* (exp x) (exp x))) (/ (exp (* 1 1)) (exp (* (exp x) 1))))
163.0ms	(* (exp (* (exp x) (exp x))) (exp (- (* 1 1) (* (exp x) 1))))
95.0ms	(+ (* 2 x) (+ (* 2 (pow x 2)) 1))
80.0ms	(+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

4.8b	(- (* 1 1) (* (exp x) 1))
0.1b	(* (exp x) (exp x))
0.1b	(* (exp x) (exp x))
0.0b	(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1`
11×	`add-log-exp`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cbrt-cube` `add-cube-cbrt`
6×	`associate-r` `associate-l`
4×	`add-exp-log` `insert-posit16`
2×	`pow2` `associate-+r+` `sum-log` `sub-neg` `pow-plus` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `pow-prod-up` `cbrt-unprod`
1×	`+-commutative` `associate-+r-` `flip3-+` `flip3--` `distribute-rgt-out--` `flip-+` `flip--`

Calls

4 calls:

Slowest

10.0ms	(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
7.0ms	(* (exp x) (exp x))
6.0ms	(- (* 1 1) (* (exp x) 1))
5.0ms	(* (exp x) (exp x))

series89.0ms

Calls

4 calls:

Slowest

36.0ms	(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
22.0ms	(- (* 1 1) (* (exp x) 1))
16.0ms	(* (exp x) (exp x))
15.0ms	(* (exp x) (exp x))

simplify1.4s

Calls

41 calls:

Slowest

279.0ms	(- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
169.0ms	(* (exp (* (exp x) (exp x))) (exp (- (* 1 1) (* (exp x) 1))))
155.0ms	(* (exp (* (exp x) (exp x))) (/ (exp (* 1 1)) (exp (* (exp x) 1))))
114.0ms	(* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))
107.0ms	(* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))

prune1.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

4.8b	(- (* 1 1) (* (exp x) 1))
0.1b	(* (* (exp x) (exp x)) (* (exp x) (exp x)))
0.1b	(* (exp x) (exp x))
0.1b	(* (exp x) (exp x))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

71×	`pow1`
25×	`pow-prod-up`
20×	`add-cbrt-cube` `pow-prod-down`
14×	`pow-plus`
11×	`pow2`
10×	`prod-exp` `cbrt-unprod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-exp-log` `add-cube-cbrt`
7×	`associate-r` `associate-l`
6×	`add-log-exp`
4×	`insert-posit16`
3×	`*-commutative`
1×	`sub-neg` `flip3--` `distribute-rgt-out--` `diff-log` `flip--`

Calls

4 calls:

Slowest

40.0ms	(* (* (exp x) (exp x)) (* (exp x) (exp x)))
8.0ms	(- (* 1 1) (* (exp x) 1))
5.0ms	(* (exp x) (exp x))
5.0ms	(* (exp x) (exp x))

series47.0ms

Calls

4 calls:

Slowest

17.0ms	(* (* (exp x) (exp x)) (* (exp x) (exp x)))
12.0ms	(- (* 1 1) (* (exp x) 1))
9.0ms	(* (exp x) (exp x))
9.0ms	(* (exp x) (exp x))

simplify2.5s

Calls

87 calls:

Slowest

326.0ms	(* (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))) (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))))
321.0ms	(- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
307.0ms	(* (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))) (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))))
265.0ms	(* (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))) (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))))
215.0ms	(* (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))) (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))))

prune1.5s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes45.0ms

Accuracy

0% (0.1b remaining)

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

bsearch3.0ms

end0.0ms

sample9.7s

Algorithm

intervals

Results

6.8s	6744×	body	10240	exit
1.5s	12798×	body	80	nan
824.0ms	7397×	body	80	valid
161.0ms	746×	body	160	valid