Details

Time bar (total: 11.4s)

sample25.0ms

Algorithm
intervals
Results
15.0ms256×body80valid

simplify9.0ms

Counts
1 → 1
Iterations
IterNodes
done12
212
110
07

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 1 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
12×times-frac
10×add-sqr-sqrt add-cube-cbrt
4×associate-/r* distribute-lft-out
3×add-cbrt-cube add-exp-log associate-/l*
2×associate-/r/
1×expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
1 → 36
Calls
1 calls:
36.0ms
(/ 2 (+ (exp x) (exp (- x))))

series49.0ms

Counts
1 → 3
Calls
1 calls:
49.0ms
(/ 2 (+ (exp x) (exp (- x))))

simplify2.7s

Counts
39 → 39
Iterations
IterNodes
done5000
44580
31539
2482
1178
079

prune103.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))
0.0b
(/ 2 (+ (exp x) (exp (- x))))
0.0b
(/ 2 (+ (exp x) (exp (- x))))
0.0b
(/ 2 (+ (exp x) (exp (- x))))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
137×*-un-lft-identity
102×times-frac
96×cbrt-prod
95×add-sqr-sqrt
71×add-cube-cbrt
30×distribute-lft-out
27×swap-sqr
21×associate-*r* associate-*l*
14×associate-/r/
12×associate-/r* add-exp-log
11×pow1
10×add-cbrt-cube
9×associate-/l* unswap-sqr
7×flip3-+ flip-+ div-inv
6×pow1/3
4×expm1-log1p-u cbrt-div insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv clear-num frac-2neg div-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Counts
4 → 210
Calls
4 calls:
71.0ms
(* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))
18.0ms
(/ 2 (+ (exp x) (exp (- x))))
21.0ms
(/ 2 (+ (exp x) (exp (- x))))
17.0ms
(/ 2 (+ (exp x) (exp (- x))))

series380.0ms

Counts
4 → 12
Calls
4 calls:
275.0ms
(* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))
34.0ms
(/ 2 (+ (exp x) (exp (- x))))
36.0ms
(/ 2 (+ (exp x) (exp (- x))))
34.0ms
(/ 2 (+ (exp x) (exp (- x))))

simplify2.3s

Counts
222 → 222
Iterations
IterNodes
done5002
33227
21086
1437
0212

prune895.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
72×*-un-lft-identity
48×times-frac
40×add-sqr-sqrt add-cube-cbrt
16×associate-/r* distribute-lft-out
12×add-cbrt-cube add-exp-log associate-/l*
8×associate-/r/
4×expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
4 → 144
Calls
4 calls:
24.0ms
(/ 2 (+ (exp x) (exp (- x))))
22.0ms
(/ 2 (+ (exp x) (exp (- x))))
17.0ms
(/ 2 (+ (exp x) (exp (- x))))
17.0ms
(/ 2 (+ (exp x) (exp (- x))))

series149.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(/ 2 (+ (exp x) (exp (- x))))
39.0ms
(/ 2 (+ (exp x) (exp (- x))))
40.0ms
(/ 2 (+ (exp x) (exp (- x))))
36.0ms
(/ 2 (+ (exp x) (exp (- x))))

simplify2.6s

Counts
156 → 156
Iterations
IterNodes
done5000
44580
31539
2482
1178
079

prune850.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify4.0ms

Iterations
IterNodes
done15
115
012

end0.0ms

sample884.0ms

Algorithm
intervals
Results
779.0ms8000×body80valid