Details

sample311.0ms

Algorithm

intervals

Results

138.0ms	208×	body	10240	exit
74.0ms	399×	body	80	nan
21.0ms	239×	body	80	valid
4.0ms	21×	body	160	valid

simplify532.0ms

Calls

1 calls:

Slowest

531.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

2 calls:

Slowest

14.0ms	(sqrt (+ (exp x) 1))
4.0ms	(+ (exp x) 1)

series53.0ms

Calls

2 calls:

Slowest

44.0ms	(sqrt (+ (exp x) 1))
9.0ms	(+ (exp x) 1)

simplify700.0ms

Calls

14 calls:

Slowest

331.0ms	(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
106.0ms	(sqrt (- (* (exp x) (exp x)) (* 1 1)))
62.0ms	(sqrt (+ (pow (exp x) 3) (pow 1 3)))
61.0ms	(+ x (+ (* 1/2 (pow x 2)) 2))
22.0ms	(sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))

prune306.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
9×	`sqrt-prod`
7×	`*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`rem-sqrt-square` `pow1/2`
1×	`fma-udef`

Calls

4 calls:

Slowest

1.0ms	(sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))
1.0ms	(sqrt (exp x))
1.0ms	(sqrt (exp x))
0.0ms	(fma (sqrt (exp x)) (sqrt (exp x)) 1)

series205.0ms

Calls

4 calls:

Slowest

97.0ms	(sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))
65.0ms	(fma (sqrt (exp x)) (sqrt (exp x)) 1)
21.0ms	(sqrt (exp x))
21.0ms	(sqrt (exp x))

simplify735.0ms

Calls

24 calls:

Slowest

271.0ms	(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
99.0ms	(+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1))
95.0ms	(+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1))
67.0ms	(+ x (+ (* 1/2 (pow x 2)) 2))
33.0ms	(sqrt (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))))

prune625.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
7×	`add-log-exp`
6×	`add-cbrt-cube`
4×	`expm1-log1p-u` `fma-def` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`exp-prod` `associate-r` `associate-l`
2×	`exp-sum`
1×	`pow2` `+-commutative` `sub-neg` `flip3-+` `pow-plus` `flip3--` `distribute-rgt-out--` `fma-neg` `diff-log` `prod-diff` `pow-prod-down` `prod-exp` `*-commutative` `pow-prod-up` `cbrt-unprod` `flip-+` `flip--` `rem-exp-log`

Calls

4 calls:

Slowest

15.0ms	(+ (exp (+ x (+ x x))) 1)
9.0ms	(* (exp x) (exp x))
6.0ms	(- (* 1 1) (* (exp x) 1))
5.0ms	(exp (+ x (+ x x)))

series54.0ms

Calls

4 calls:

Slowest

17.0ms	(- (* 1 1) (* (exp x) 1))
14.0ms	(+ (exp (+ x (+ x x))) 1)
14.0ms	(* (exp x) (exp x))
9.0ms	(exp (+ x (+ x x)))

simplify1.1s

Calls

35 calls:

Slowest

375.0ms	(- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
119.0ms	(+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
103.0ms	(+ (* 2 x) (+ (* 2 (pow x 2)) 1))
84.0ms	(* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))
70.0ms	(+ (* 3 x) (+ (* 9/2 (pow x 2)) 2))

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes19.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample9.5s

Algorithm

intervals

Results

5.7s	6684×	body	10240	exit
1.6s	12718×	body	80	nan
1.3s	7443×	body	80	valid
529.0ms	700×	body	160	valid