Details

sample49.0ms

Algorithm

intervals

Results

36.0ms

495×

body

valid

simplify99.0ms

Calls

1 calls:

Slowest

99.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

10×	`exp-prod`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`expm1-log1p-u` `pow1` `distribute-neg-in` `sub-neg` `add-cbrt-cube` `exp-sum` `add-exp-log` `insert-posit16` `log1p-expm1-u` `rem-exp-log`
1×	`neg-sub0` `exp-neg` `neg-mul-1` `flip3--` `exp-diff` `neg-log` `flip--`

Calls

2 calls:

Slowest

4.0ms	(exp (- (- 1 (* x x))))
1.0ms	(- 1 (* x x))

series38.0ms

Calls

2 calls:

Slowest

21.0ms	(exp (- (- 1 (* x x))))
17.0ms	(- 1 (* x x))

simplify544.0ms

Calls

20 calls:

Slowest

147.0ms	(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
52.0ms	(exp (sqrt (- (- 1 (* x x)))))
51.0ms	(exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x))))))
49.0ms	(- (- 1 (* x x)))
43.0ms	(exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))))

prune340.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow-unpow`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`expm1-log1p-u` `pow1` `unpow-prod-up` `distribute-neg-in` `sub-neg` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`neg-sub0` `pow-to-exp` `pow-neg` `neg-mul-1` `flip3--` `flip--` `pow-sub`

Calls

2 calls:

Slowest

2.0ms	(pow E (- (- 1 (* x x))))
1.0ms	(- 1 (* x x))

series65.0ms

Calls

2 calls:

Slowest

48.0ms	(pow E (- (- 1 (* x x))))
17.0ms	(- 1 (* x x))

simplify702.0ms

Calls

20 calls:

Slowest

162.0ms	(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
57.0ms	(- (- 1 (* x x)))
46.0ms	(- (- 1 (* x x)))
43.0ms	(exp (- (pow x 2) 1))
41.0ms	(sqrt (- (- 1 (* x x))))

prune367.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample1.6s

Algorithm

intervals

Results

1.4s

15838×

body

valid