Details

sample58.0ms

Algorithm

intervals

Results

44.0ms

577×

body

valid

simplify60.0ms

Calls

1 calls:

Slowest

60.0ms

(exp (- (- 1 (* x x))))

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

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

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

3×	`exp-prod`
2×	`add-log-exp`
2×	`add-cube-cbrt`
2×	`*-un-lft-identity`
2×	`add-sqr-sqrt`
1×	`rem-exp-log`
1×	`log1p-expm1-u`
1×	`fma-udef`
1×	`add-exp-log`
1×	`exp-sum`
1×	`add-cbrt-cube`
1×	`pow1`
1×	`expm1-log1p-u`

Calls

1 calls:

Slowest

3.0ms

(exp (fma x x -1))

series26.0ms

Calls

1 calls:

Slowest

26.0ms

(exp (fma x x -1))

simplify207.0ms

Calls

8 calls:

Slowest

153.0ms	(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
36.0ms	(exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
8.0ms	(exp (sqrt (fma x x -1)))
3.0ms	(exp (* x x))
2.0ms	(exp (fma x x -1))

prune89.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(pow E (fma x x -1))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

3×	`pow-unpow`
2×	`add-cube-cbrt`
2×	`*-un-lft-identity`
2×	`add-sqr-sqrt`
1×	`add-log-exp`
1×	`log1p-expm1-u`
1×	`fma-udef`
1×	`add-exp-log`
1×	`add-cbrt-cube`
1×	`unpow-prod-up`
1×	`pow1`
1×	`pow-to-exp`
1×	`expm1-log1p-u`

Calls

1 calls:

Slowest

1.0ms

(pow E (fma x x -1))

series36.0ms

Calls

1 calls:

Slowest

36.0ms

(pow E (fma x x -1))

simplify157.0ms

Calls

7 calls:

Slowest

148.0ms	(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
2.0ms	(exp (fma x x -1))
2.0ms	(exp (fma x x -1))
2.0ms	(cbrt (fma x x -1))
2.0ms	(sqrt (fma x x -1))

prune118.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

12×	`exp-prod`
9×	`sqrt-prod`
9×	`add-cube-cbrt`
9×	`*-un-lft-identity`
9×	`add-sqr-sqrt`
7×	`pow-pow`
6×	`pow-unpow`
3×	`add-log-exp`
3×	`unpow-prod-down`
3×	`pow1`
2×	`log1p-expm1-u`
2×	`add-exp-log`
2×	`add-cbrt-cube`
2×	`expm1-log1p-u`
1×	`rem-exp-log`
1×	`pow-exp`
1×	`pow-to-exp`

Calls

2 calls:

Slowest

3.0ms	(pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1)))
2.0ms	(exp (sqrt (fma x x -1)))

series155.0ms

Calls

2 calls:

Slowest

126.0ms	(pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1)))
29.0ms	(exp (sqrt (fma x x -1)))

simplify1.1s

Calls

30 calls:

Slowest

526.0ms	(- (+ (exp (sqrt -1)) (+ (* 1/2 (/ (* (exp (sqrt -1)) (pow x 2)) (sqrt -1))) (* 1/8 (/ (* (exp (sqrt -1)) (pow x 4)) (pow (sqrt -1) 2))))) (* 1/8 (/ (* (exp (sqrt -1)) (pow x 4)) (pow (sqrt -1) 3))))
189.0ms	(- (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/4 (* (pow x 4) (exp -1))))) (* 1/4 (/ (* (pow x 4) (exp -1)) (pow (sqrt -1) 2))))
62.0ms	(exp (* (cbrt (sqrt (fma x x -1))) (cbrt (sqrt (fma x x -1)))))
54.0ms	(exp (sqrt (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))))
50.0ms	(exp (sqrt (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))))

prune263.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

24×	`sqrt-prod`
18×	`pow-unpow`
16×	`add-cube-cbrt`
16×	`*-un-lft-identity`
16×	`add-sqr-sqrt`
12×	`unpow-prod-down`
12×	`exp-prod`
8×	`pow-pow`
5×	`pow-exp`
4×	`add-log-exp`
4×	`add-exp-log`
4×	`pow1`
3×	`log1p-expm1-u`
3×	`add-cbrt-cube`
3×	`pow-to-exp`
3×	`expm1-log1p-u`
1×	`rem-exp-log`

Calls

3 calls:

Slowest

8.0ms	(pow (pow (exp (sqrt (fma x x -1))) (sqrt (sqrt (fma x x -1)))) (sqrt (sqrt (fma x x -1))))
7.0ms	(pow (exp (sqrt (fma x x -1))) (sqrt (sqrt (fma x x -1))))
4.0ms	(exp (sqrt (fma x x -1)))

series834.0ms

Calls

3 calls:

Slowest

526.0ms	(pow (pow (exp (sqrt (fma x x -1))) (sqrt (sqrt (fma x x -1)))) (sqrt (sqrt (fma x x -1))))
277.0ms	(pow (exp (sqrt (fma x x -1))) (sqrt (sqrt (fma x x -1))))
31.0ms	(exp (sqrt (fma x x -1)))

simplify3.2s

Calls

55 calls:

Slowest

463.0ms	(- (+ (exp (* x (sqrt (fma x x -1)))) (* 1/8 (/ (* (fma x x -1) (exp (* x (sqrt (fma x x -1))))) (pow x 2)))) (+ (* 1/8 (* (/ (exp (* x (sqrt (fma x x -1)))) (pow x 3)) (sqrt (fma x x -1)))) (* 1/2 (* (/ (exp (* x (sqrt (fma x x -1)))) x) (sqrt (fma x x -1))))))
459.0ms	(- (+ (exp (sqrt -1)) (+ (* 1/2 (/ (* (exp (sqrt -1)) (pow x 2)) (sqrt -1))) (* 1/8 (/ (* (exp (sqrt -1)) (pow x 4)) (pow (sqrt -1) 2))))) (* 1/8 (/ (* (exp (sqrt -1)) (pow x 4)) (pow (sqrt -1) 3))))
390.0ms	(- (+ (* 1/32 (* (exp (* (sqrt -1) (pow -1 1/4))) (* (pow (sqrt -1) 3) (pow x 4)))) (+ (exp (* (sqrt -1) (pow -1 1/4))) (+ (* 1/2 (* (/ (* (exp (* (sqrt -1) (pow -1 1/4))) (pow x 2)) (sqrt -1)) (pow -1 1/4))) (* 1/8 (/ (* (exp (* (sqrt -1) (pow -1 1/4))) (pow x 4)) (sqrt -1)))))) (+ (* 1/4 (* (* (exp (* (sqrt -1) (pow -1 1/4))) (* (sqrt -1) (pow x 2))) (pow -1 1/4))) (+ (* 1/8 (* (/ (* (exp (* (sqrt -1) (pow -1 1/4))) (pow x 4)) (sqrt -1)) (pow -1 1/4))) (+ (* 1/8 (* (exp (* (sqrt -1) (pow -1 1/4))) (* (sqrt -1) (pow x 4)))) (+ (* 3/32 (* (* (exp (* (sqrt -1) (pow -1 1/4))) (* (sqrt -1) (pow x 4))) (pow -1 1/4))) (* 1/8 (* (/ (* (exp (* (sqrt -1) (pow -1 1/4))) (pow x 4)) (pow (sqrt -1) 3)) (pow -1 1/4))))))))
386.0ms	(- (+ (* 1/32 (/ (* (fma x x -1) (exp (sqrt (* x (fma x x -1))))) (pow x 3))) (exp (sqrt (* x (fma x x -1))))) (+ (* 1/4 (* (sqrt (/ (fma x x -1) (pow x 3))) (exp (sqrt (* x (fma x x -1)))))) (* 3/32 (* (sqrt (/ (fma x x -1) (pow x 7))) (exp (sqrt (* x (fma x x -1))))))))
182.0ms	(- (+ (exp -1) (+ (* 1/8 (* (pow x 4) (* (exp -1) (pow (sqrt -1) 4)))) (* 1/2 (* (pow x 2) (exp -1))))) (+ (* 3/8 (* (pow x 4) (* (exp -1) (pow (sqrt -1) 2)))) (+ (* 1/2 (* (pow x 2) (* (exp -1) (pow (sqrt -1) 2)))) (+ (* 1/8 (/ (* (pow x 4) (exp -1)) (pow (sqrt -1) 2))) (* 1/8 (* (pow x 4) (exp -1)))))))

prune518.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes23.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch1.0ms

end0.0ms

sample1.2s

Algorithm

intervals

Results

995.0ms

16142×

body

valid