Details

sample23.0ms

Algorithm

intervals

Results

15.0ms

256×

body

valid

simplify17.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

17.0ms

(/ 2 (+ (exp x) (exp (- x))))

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (exp x) (exp (- x)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity` `add-log-exp`
1×	`add-sqr-sqrt` `pow1` `+-commutative` `sum-log` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+` `insert-posit16` `distribute-lft-out`

Counts

1 → 13

Calls

1 calls:

Slowest

26.0ms

(+ (exp x) (exp (- x)))

series48.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

47.0ms

(+ (exp x) (exp (- x)))

simplify164.0ms

Counts

5 → 16

Calls

5 calls:

Slowest

58.0ms	(+ (exp (* -1 x)) (exp x))
43.0ms	(+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
33.0ms	(* (exp (exp x)) (exp (exp (- x))))
15.0ms	(+ (exp x) (exp (- x)))
12.0ms	(+ (exp x) (exp (- x)))

prune159.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 2 expressions with local error:

0.7b	(log (+ (exp x) (exp (- x))))
0.0b	(+ (exp x) (exp (- x)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 29

Calls

2 calls:

Slowest

17.0ms	(+ (exp x) (exp (- x)))
15.0ms	(log (+ (exp x) (exp (- x))))

series143.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

101.0ms	(log (+ (exp x) (exp (- x))))
42.0ms	(+ (exp x) (exp (- x)))

simplify917.0ms

Counts

15 → 35

Calls

15 calls:

Slowest

193.0ms	(log (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
171.0ms	(log (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))
131.0ms	(log (+ (exp (* -1 x)) (exp x)))
117.0ms	(- (+ (log 2) (* 1/2 (pow x 2))) (* 1/12 (pow x 4)))
62.0ms	(+ (exp (* -1 x)) (exp x))

prune386.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample1.1s

Algorithm

intervals

Results

978.0ms

8000×

body

valid