Details

Time bar (total: 4.0s)

sample30.0ms

Algorithm
intervals
Results
12.0ms293×body80valid

simplify2.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01313
12413
24513
37013
49413
511313
612613
716513
825413
936013
1048613
1157713
1268613
1381113
1490213
15101113
16113613
17122713
18133613
19146113
20155213
21166113
22178613
23187713
24198613
25211113
26220213
27231113
28243613
29252713
30263613
31276113
32285213
33296113
34308613
35317713
36328613
37341113
38350213
39361113
40373613
41382713
42393613
43406113
44415213
45426113
46438613
47447713
48458613
49471113
50480213
51491113
done500013

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0b

Counts
2 → 1

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
7×add-exp-log add-cbrt-cube
4×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
3×times-frac associate-/r*
2×pow1 cbrt-undiv div-exp
1×sub-neg flip3-- frac-2neg diff-log associate-*l/ prod-exp clear-num frac-sub flip-- cbrt-unprod div-inv associate-/l*
Counts
2 → 34
Calls
2 calls:
5.0ms
(/ (* y z) 2.0)
7.0ms
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

series14.0ms

Counts
2 → 6
Calls
2 calls:
4.0ms
(/ (* y z) 2.0)
11.0ms
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

simplify789.0ms

Counts
40 → 40
Iterations

Useful iterations: 2 (58.0ms)

IterNodesCost
085450
1214426
2757384
33582384
done5000384

prune57.0ms

Filtered
30 candidates to 40 candidates (-33.3%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New40040
Fresh000
Picked011
Done000
Total40141

Merged error: 0b

Counts
41 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01313
11613
done1613

end0.0ms

sample856.0ms

Algorithm
intervals
Results
392.0ms9211×body80valid

Profiling

Loading profile data...