Details

Time bar (total: 2.4s)

sample19.0ms

Algorithm
intervals
Results
4.0ms256×pre80true
4.0ms256×body80valid

simplify78.0ms

Counts
1 → 1
Iterations
IterNodes
done231
7231
6225
5205
4110
353
225
111
04

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ b a) (+ b a))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
8×pow1
7×add-sqr-sqrt
6×flip3-+ swap-sqr flip-+ distribute-lft-out
5×add-cube-cbrt
4×frac-times associate-*r* associate-*l*
3×add-cbrt-cube add-exp-log
2×associate-*l/ associate-*r/
1×pow2 distribute-rgt-in distribute-lft-in pow-plus pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod add-log-exp unswap-sqr
Counts
1 → 40
Calls
1 calls:
28.0ms
(* (+ b a) (+ b a))

series16.0ms

Counts
1 → 3
Calls
1 calls:
16.0ms
(* (+ b a) (+ b a))

simplify861.0ms

Counts
43 → 43
Iterations
IterNodes
done5001
21680
1226
063

prune72.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(* b (+ b (* 2 a)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
3×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ add-log-exp unswap-sqr
Counts
1 → 22
Calls
1 calls:
12.0ms
(* b (+ b (* 2 a)))

series40.0ms

Counts
1 → 3
Calls
1 calls:
40.0ms
(* b (+ b (* 2 a)))

simplify416.0ms

Counts
25 → 25
Iterations
IterNodes
done5002
2861
1162
047

prune121.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations
IterNodes
done12
112
08

end0.0ms

sample662.0ms

Algorithm
intervals
Results
228.0ms8000×body80valid
162.0ms8000×pre80true