Details

sample19.0ms

Algorithm

intervals

Results

7.0ms

317×

body

valid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	3
1	37	3
2	67	3
3	79	3
4	79	3

prune2.0ms

Filtered

1 candidates to 0 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 11.2b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

10.9b

(/ (* a1 a2) (* b1 b2))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

144×	`times-frac`
131×	`add-sqr-sqrt`
79×	`add-cube-cbrt` `*-un-lft-identity`
78×	`associate-r` `associate-l`
26×	`*-commutative` `unswap-sqr`
13×	`add-exp-log` `add-cbrt-cube`
12×	`associate-/r` `associate-/l`
4×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
1×	`pow1` `frac-2neg` `clear-num` `div-inv` `add-log-exp`

Counts

1 → 186

Calls

1 calls:

13.0ms

(/ (* a1 a2) (* b1 b2))

series37.0ms

Counts

1 → 3

Calls

1 calls:

37.0ms

(/ (* a1 a2) (* b1 b2))

simplify101.0ms

Algorithm

egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	824	1303
1	4231	1268
2	5001	1268

prune258.0ms

Filtered

189 candidates to 128 candidates (32.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	179	10	189
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	180	10	190

Merged error: 0.0b

Counts

190 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt b1)
0.6b	(cbrt b1)
1.6b	(/ a2 (* (cbrt b1) b2))
6.8b	(* (/ (/ a1 (cbrt b1)) (cbrt b1)) (/ a2 (* (cbrt b1) b2)))

rewrite287.0ms

Algorithm

rewrite-expression-head

Rules

1160×	`add-sqr-sqrt`
996×	`associate-/r*`
946×	`frac-times`
826×	`*-un-lft-identity`
825×	`add-cube-cbrt`
811×	`times-frac`
711×	`associate-/l*`
702×	`cbrt-prod`
442×	`associate-l`
276×	`associate-/l/`
205×	`associate-r`
144×	`unswap-sqr`
115×	`add-cbrt-cube`
92×	`clear-num`
91×	`frac-2neg`
64×	`cbrt-undiv`
52×	`*-commutative`
45×	`add-exp-log`
44×	`cbrt-unprod`
43×	`associate-*l/`
32×	`div-inv`
22×	`associate-*r/`
17×	`div-exp`
13×	`prod-exp`
6×	`pow1`
4×	`add-log-exp`
2×	`pow1/3` `un-div-inv`
1×	`pow-prod-down`

Counts

4 → 1379

Calls

4 calls:

1.0ms	(cbrt b1)
4.0ms	(cbrt b1)
9.0ms	(/ a2 (* (cbrt b1) b2))
148.0ms	(* (/ (/ a1 (cbrt b1)) (cbrt b1)) (/ a2 (* (cbrt b1) b2)))

series555.0ms

Counts

4 → 12

Calls

4 calls:

189.0ms	(cbrt b1)
190.0ms	(cbrt b1)
100.0ms	(/ a2 (* (cbrt b1) b2))
75.0ms	(* (/ (/ a1 (cbrt b1)) (cbrt b1)) (/ a2 (* (cbrt b1) b2)))

simplify209.0ms

Algorithm

egg-herbie

Counts

1391 → 1391

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5001	18243

prune3.1s

Filtered

1391 candidates to 1046 candidates (24.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	1388	3	1391
Fresh	3	6	9
Picked	0	1	1
Done	0	0	0
Total	1391	10	1401

Merged error: 0b

Counts

1401 → 10

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt b1)
1.6b	(/ (* (cbrt b1) b2) a2)
1.9b	(* (/ (cbrt b1) (/ (cbrt a1) (cbrt (cbrt b1)))) (/ (* (cbrt b1) b2) a2))
3.8b	(/ (/ (* (cbrt a1) (cbrt a1)) (cbrt (* (cbrt b1) (cbrt b1)))) (* (/ (cbrt b1) (/ (cbrt a1) (cbrt (cbrt b1)))) (/ (* (cbrt b1) b2) a2)))

rewrite1.9m

Algorithm

rewrite-expression-head

Rules

1503334×	`times-frac`
1457278×	`cbrt-prod`
1048602×	`add-sqr-sqrt`
571726×	`*-un-lft-identity`
571722×	`add-cube-cbrt`
484358×	`associate-l`
217104×	`associate-r`
189888×	`unswap-sqr`
166908×	`swap-sqr`
31222×	`*-commutative`
16254×	`associate-/r/`
10940×	`associate-/r*`
8209×	`associate-/l*`
7064×	`div-inv`
2948×	`frac-times`
2566×	`add-cbrt-cube`
2208×	`cbrt-undiv`
1154×	`cbrt-unprod`
1003×	`clear-num`
1001×	`frac-2neg`
216×	`add-exp-log`
134×	`associate-*l/`
112×	`div-exp`
60×	`associate-/l/`
59×	`prod-exp`
44×	`associate-*r/`
6×	`pow1` `un-div-inv`
4×	`add-log-exp`
1×	`pow1/3` `pow-prod-down`

Counts

4 → 402083

Calls

4 calls:

1.0ms	(cbrt b1)
9.0ms	(/ (* (cbrt b1) b2) a2)
308.0ms	(* (/ (cbrt b1) (/ (cbrt a1) (cbrt (cbrt b1)))) (/ (* (cbrt b1) b2) a2))
10.5s	(/ (/ (* (cbrt a1) (cbrt a1)) (cbrt (* (cbrt b1) (cbrt b1)))) (* (/ (cbrt b1) (/ (cbrt a1) (cbrt (cbrt b1)))) (/ (* (cbrt b1) b2) a2)))

series707.0ms

Counts

4 → 12

Calls

4 calls:

176.0ms	(cbrt b1)
104.0ms	(/ (* (cbrt b1) b2) a2)
390.0ms	(* (/ (cbrt b1) (/ (cbrt a1) (cbrt (cbrt b1)))) (/ (* (cbrt b1) b2) a2))
34.0ms	(/ (/ (* (cbrt a1) (cbrt a1)) (cbrt (* (cbrt b1) (cbrt b1)))) (* (/ (cbrt b1) (/ (cbrt a1) (cbrt (cbrt b1)))) (/ (* (cbrt b1) b2) a2)))

simplify3.8m

Algorithm

egg-herbie

Counts

402095 → 402095

Iterations

Useful iterations: 0 (22.1s)

Iter	Nodes	Cost
0	316581	16991758

prune4.2m

Filtered: 402095 candidates to 295280 candidates (26.6%)