Details

analyze505.0ms (28.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
31.2%	68.6%	0.1%	9
46.8%	44.5%	8.7%	10
51.5%	39%	9.5%	11
57.3%	32.6%	10.1%	12
63.8%	21.6%	14.7%	13
66.2%	18.7%	15.1%	14

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample47.0ms (2.6%)

Algorithm

1×

intervals

Symmetry

(sort x y)

Results

6.0ms	256×	body	128	valid
0.0ms	11×	body	128	invalid

Compiler

Compiled 20 to 14 computations (30% saved)

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
3×	`*-commutative_binary64`
2×	`distribute-lft-in_binary64`
2×	`distribute-rgt-in_binary64`
1×	`+-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
2	16	7
3	18	7
4	18	7

prune4.0ms (0.2%)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 (+.f64 x y) z)

Compiler

Compiled 24 to 15 computations (37.5% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 x y) z)

series6.0ms (0.3%)

Counts

1 → 36

Calls

1 calls:

6.0ms

(*.f64 (+.f64 x y) z)

rewrite6.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`associate-l_binary64`
3×	`associate-r_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 23

Calls

1 calls:

5.0ms

(*.f64 (+.f64 x y) z)

simplify100.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

508×	`fma-def_binary64`
448×	`associate-+l+_binary64`
431×	`fma-neg_binary64`
402×	`associate-+r+_binary64`
300×	`distribute-rgt-out_binary64`

Counts

59 → 41

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	49	490
1	115	460
2	370	460
3	930	460
4	1654	460
5	2723	460
6	3208	460
7	4769	460
8	4995	460
9	4860	460

prune18.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	40	1	41
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	2	42

Error

Counts

42 → 2

Alt Table

Status	Error	Program
▶	1.4b	(.f64 (.f64 (+.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
✓	0.0b	(*.f64 (+.f64 x y) z)

Compiler

Compiled 472 to 140 computations (70.3% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (+.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z)))
✓	0.3b	(.f64 (.f64 (+.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
✓	0.5b	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
✓	0.6b	(cbrt.f64 z)

series287.0ms (16.1%)

Counts

4 → 96

Calls

4 calls:

183.0ms	(.f64 (+.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z)))
48.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
36.0ms	(cbrt.f64 z)
20.0ms	(.f64 (.f64 (+.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))

rewrite31.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
25×	`pow1_binary64`
22×	`cbrt-prod_binary64`
20×	`add-exp-log_binary64`
18×	`*-un-lft-identity_binary64`

Counts

4 → 107

Calls

4 calls:

9.0ms	(.f64 (+.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z)))
9.0ms	(.f64 (.f64 (+.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
6.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms	(cbrt.f64 z)

simplify129.0ms (7.2%)

Algorithm

1×	egg-herbie

Rules

922×	`fma-def_binary64`
717×	`unswap-sqr_binary64`
495×	`*-commutative_binary64`
446×	`distribute-rgt-in_binary64`
439×	`distribute-lft-in_binary64`

Counts

203 → 168

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	127	2177
1	289	1878
2	1103	1743
3	2610	1715
4	4504	1703
5	4914	1703

prune67.0ms (3.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	206	0	206
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	206	2	208

Error

Counts

208 → 2

Alt Table

Status	Error	Program
✓	1.4b	(.f64 (.f64 (+.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
✓	0.0b	(*.f64 (+.f64 x y) z)

Compiler

Compiled 3366 to 929 computations (72.4% saved)

regimes55.0ms (3.1%)

Accuracy

Total 0.0b remaining (16.5%)

Threshold costs 0.0b (16.5%)

Counts

8 → 1

Compiler

Compiled 447 to 281 computations (37.1% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
2	8	7

end5.0ms (0.3%)

Remove: (sort x y)
Compiler: Compiled 24 to 15 computations (37.5% saved)

sample504.0ms (28.3%)

Algorithm

1×

intervals

Results

220.0ms	8000×	body	128	valid
18.0ms	600×	body	128	invalid

Compiler

Compiled 43 to 27 computations (37.2% saved)

Details

analyze505.0ms (28.3%)

sample47.0ms (2.6%)

simplify6.0ms (0.3%)

prune4.0ms (0.2%)

localize4.0ms (0.2%)

series6.0ms (0.3%)

rewrite6.0ms (0.3%)

simplify100.0ms (5.6%)

prune18.0ms (1%)

localize8.0ms (0.4%)

series287.0ms (16.1%)

rewrite31.0ms (1.7%)

simplify129.0ms (7.2%)

prune67.0ms (3.8%)

regimes55.0ms (3.1%)

simplify2.0ms (0.1%)

end5.0ms (0.3%)

sample504.0ms (28.3%)

Profiling