Details

Time bar (total: 6.3s)

sample99.0ms

Algorithm
intervals
Results
36.0ms104×body1280valid
22.0ms91×body640valid
13.0ms396×pre80true
7.0ms43×body320valid
6.0ms141×body80valid
2.0ms17×body160valid

simplify22.0ms

Counts
1 → 1

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 59.5b

localize12.0ms

Local error

Found 1 expressions with local error:

3.4b
(- (exp x) 1)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
4×*-un-lft-identity
3×add-log-exp
2×difference-of-squares
1×pow1 sub-neg flip3-- add-cbrt-cube diff-log difference-of-sqr-1 add-exp-log add-cube-cbrt insert-posit16 flip-- distribute-lft-out--
Counts
1 → 17
Calls
1 calls:
Slowest
15.0ms
(- (exp x) 1)

series28.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
28.0ms
(- (exp x) 1)

simplify894.0ms

Counts
20 → 20

prune139.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.4b
(* x 1/6)
0.0b
(* x (+ 1/2 (* x 1/6)))
0.0b
(* x (* x (+ 1/2 (* x 1/6))))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
9×associate-*l*
8×*-un-lft-identity add-cube-cbrt
7×associate-*r*
6×associate-*r/
5×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp cbrt-unprod
3×*-commutative insert-posit16 add-log-exp
2×flip3-+ flip-+ unswap-sqr
Counts
3 → 67
Calls
3 calls:
Slowest
26.0ms
(* x (* x (+ 1/2 (* x 1/6))))
21.0ms
(* x (+ 1/2 (* x 1/6)))
11.0ms
(* x 1/6)

series162.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
78.0ms
(* x (* x (+ 1/2 (* x 1/6))))
68.0ms
(* x (+ 1/2 (* x 1/6)))
17.0ms
(* x 1/6)

simplify1.7s

Counts
76 → 76

prune420.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

end0.0ms

sample2.6s

Algorithm
intervals
Results
901.0ms3461×body1280valid
789.0ms2502×body640valid
384.0ms12104×pre80true
167.0ms1262×body320valid
148.0ms4251×body80valid
74.0ms628×body160valid