Details

Time bar (total: 8.5s)

sample19.0ms

Algorithm
intervals
Results
8.0ms256×body80valid
5.0ms256×pre80true

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5001
82438
71183
6419
5157
480
343
226
113
04

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x (* x x)) (* x x))
0.1b
(* x (* x x))

rewrite275.0ms

Algorithm
rewrite-expression-head
Rules
69×associate-*r*
59×*-un-lft-identity
50×add-sqr-sqrt
37×distribute-rgt-out
31×associate-*l*
22×add-cube-cbrt
18×swap-sqr
16×pow1 *-commutative
13×unswap-sqr
12×distribute-lft-out
7×add-cbrt-cube add-exp-log
5×pow-prod-up
4×distribute-lft1-in add-log-exp
3×pow-prod-down prod-exp cbrt-unprod
2×cube-unmult insert-posit16
1×pow2 +-commutative sum-log flip3-+ pow-plus pow-sqr flip-+
Counts
2 → 109
Calls
2 calls:
209.0ms
(+ (* x (* x x)) (* x x))
59.0ms
(* x (* x x))

series132.0ms

Counts
2 → 6
Calls
2 calls:
93.0ms
(+ (* x (* x x)) (* x x))
39.0ms
(* x (* x x))

simplify3.9s

Counts
115 → 115
Iterations
IterNodes
done5033
34483
21056
1293
0100

prune264.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize15.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune4.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations
IterNodes
done6
16
04

end0.0ms

sample908.0ms

Algorithm
intervals
Results
495.0ms8000×body80valid
280.0ms8000×pre80true