Details

sample31.0ms

Algorithm

intervals

Results

22.0ms

495×

body

valid

simplify86.0ms

Calls

1 calls:

Slowest

86.0ms

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

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite6.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×	`pow1` `distribute-neg-in` `sub-neg` `add-cbrt-cube` `exp-sum` `add-exp-log` `insert-posit16` `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))

series44.0ms

Calls

2 calls:

Slowest

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

simplify449.0ms

Calls

20 calls:

Slowest

90.0ms	(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
55.0ms	(exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x))))))
44.0ms	(exp (sqrt (- (- 1 (* x x)))))
40.0ms	(- (- 1 (* x x)))
35.0ms	(exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))))

prune220.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite3.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×	`pow1` `unpow-prod-up` `distribute-neg-in` `sub-neg` `add-cbrt-cube` `add-exp-log` `insert-posit16` `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))

series70.0ms

Calls

2 calls:

Slowest

43.0ms	(pow E (- (- 1 (* x x))))
27.0ms	(- 1 (* x x))

simplify500.0ms

Calls

20 calls:

Slowest

85.0ms	(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
44.0ms	(- (- 1 (* x x)))
42.0ms	(cbrt (- (- 1 (* x x))))
38.0ms	(sqrt (- (- 1 (* x x))))
38.0ms	(- (- 1 (* x x)))

prune239.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