Details

Time bar (total: 7.7s)

sample41.0ms

Algorithm
intervals
Results
14.0ms300×body80valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5000
384914
374763
364608
354463
344312
334157
324012
313861
303706
293561
283410
273255
263110
252959
242804
232659
222508
212353
202208
192057
181902
171757
161606
151451
141306
131155
121004
11849
10586
9433
8283
7208
6171
5130
494
367
244
124
013

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
add-log-exp
add-sqr-sqrt pow1 sub-neg *-un-lft-identity flip3-- add-cbrt-cube diff-log associate-*l/ add-exp-log frac-sub add-cube-cbrt flip--
Counts
1 → 13
Calls
1 calls:
19.0ms
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

series78.0ms

Counts
1 → 3
Calls
1 calls:
78.0ms
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

simplify3.2s

Counts
16 → 16
Iterations
IterNodes
done5003
44737
31360
2389
1114
044

prune133.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify3.0ms

Iterations
IterNodes
done16
116
013

end0.0ms

sample1.2s

Algorithm
intervals
Results
590.0ms9147×body80valid
0.0msbody1280valid
0.0msbody640valid