Details

analyze350.0ms (11%)

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
18.7%	81.1%	0.1%	6
40.6%	59.3%	0.1%	7
45.2%	54.6%	0.1%	8
65.5%	34.3%	0.1%	9
78%	21.8%	0.1%	10
80%	19.5%	0.5%	11
81.7%	17.7%	0.5%	12
87.9%	11.3%	0.8%	13
88.3%	10.1%	1.6%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample16.0ms (0.5%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	10×	body	128	invalid

Compiler

Compiled 24 to 16 computations (33.3% saved)

simplify77.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

530×	`div-sub_binary64`
326×	`times-frac_binary64`
174×	`associate-/l/_binary64`
166×	`sub-neg_binary64`
160×	`associate-/l*_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	21	10
3	35	10
4	59	10
5	105	10
6	198	10
7	371	10
8	664	10
9	998	10
10	1100	10
11	1117	10
12	1088	10
13	1095	10
14	1097	10
15	1105	10
16	1105	10
17	1003	10

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (-.f64 x y) (-.f64 z y))

Compiler

Compiled 20 to 12 computations (40% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (-.f64 z y))

rewrite34.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

37×	`*-un-lft-identity_binary64`
37×	`add-sqr-sqrt_binary64`
25×	`times-frac_binary64`
13×	`add-cube-cbrt_binary64`
12×	`distribute-lft-out--_binary64`

Counts

1 → 52

Calls

1 calls:

6.0ms

(/.f64 (-.f64 x y) (-.f64 z y))

Compiler

Compiled 683 to 156 computations (77.2% saved)

series53.0ms (1.7%)

Error

0.0b

Counts

1 → 27

Calls

1 calls:

41.0ms

(/.f64 (-.f64 x y) (-.f64 z y))

Compiler

Compiled 1144 to 717 computations (37.3% saved)

simplify97.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

337×	`div-sub_binary64`
280×	`associate--l+_binary64`
226×	`associate--r+_binary64`
208×	`associate-/l*_binary64`
199×	`associate-+l+_binary64`

Counts

79 → 41

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	148	1747
1	389	1699
2	1157	1603
3	4176	1603
4	4968	1603
5	4962	1603

prune22.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	37	4	41
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	5	42

Error

Counts

42 → 5

Alt Table

Status	Error	Program
	30.6b	(-.f64 (+.f64 1 (+.f64 (pow.f64 (/.f64 z y) 3) (.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))) (+.f64 (/.f64 x y) (.f64 (/.f64 x y) (*.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))))
	45.6b	(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 (-.f64 z y) (+.f64 (.f64 y y) (*.f64 x (+.f64 y x)))))
▶	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (/.f64 (cbrt.f64 (-.f64 x y)) (-.f64 z y)))
✓	0.0b	(/.f64 (-.f64 x y) (-.f64 z y))
	34.0b	(-.f64 (.f64 (+.f64 (/.f64 y z) 1) (/.f64 x z)) (.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z)))

Compiler

Compiled 674 to 277 computations (58.9% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y)))
0.6b	(cbrt.f64 (-.f64 x y))
0.6b	(cbrt.f64 (-.f64 x y))
0.6b	(cbrt.f64 (-.f64 x y))

rewrite54.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

43×	`cbrt-prod_binary64`
37×	`add-sqr-sqrt_binary64`
35×	`*-un-lft-identity_binary64`
18×	`cbrt-div_binary64`
15×	`add-cube-cbrt_binary64`

Counts

4 → 101

Calls

4 calls:

11.0ms	(*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y)))
2.0ms	(cbrt.f64 (-.f64 x y))
2.0ms	(cbrt.f64 (-.f64 x y))
2.0ms	(cbrt.f64 (-.f64 x y))

Compiler

Compiled 2329 to 366 computations (84.3% saved)

series147.0ms (4.6%)

Error

Counts

4 → 54

Calls

4 calls:

50.0ms	(*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y)))
28.0ms	(cbrt.f64 (-.f64 x y))
27.0ms	(cbrt.f64 (-.f64 x y))
22.0ms	(cbrt.f64 (-.f64 x y))

Compiler

Compiled 3397 to 2287 computations (32.7% saved)

simplify156.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

524×	`unswap-sqr_binary64`
433×	`distribute-rgt-neg-in_binary64`
421×	`distribute-lft-neg-in_binary64`
321×	`*-commutative_binary64`
228×	`cancel-sign-sub-inv_binary64`

Counts

155 → 129

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	168	2900
1	392	2900
2	1119	2827
3	2380	2807
4	4812	2599
5	4961	2599
6	4906	2599

prune36.0ms (1.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	129	5	134

Error

Counts

134 → 5

Alt Table

Status	Error	Program
▶	30.6b	(-.f64 (+.f64 1 (+.f64 (pow.f64 (/.f64 z y) 3) (.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))) (+.f64 (/.f64 x y) (.f64 (/.f64 x y) (*.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))))
	45.6b	(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 (-.f64 z y) (+.f64 (.f64 y y) (*.f64 x (+.f64 y x)))))
✓	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (/.f64 (cbrt.f64 (-.f64 x y)) (-.f64 z y)))
✓	0.0b	(/.f64 (-.f64 x y) (-.f64 z y))
	34.0b	(-.f64 (.f64 (+.f64 (/.f64 y z) 1) (/.f64 x z)) (.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z)))

Compiler

Compiled 2071 to 701 computations (66.2% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (/.f64 z y) 3)
3.1b	(.f64 (/.f64 x y) (.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))
7.2b	(-.f64 (+.f64 1 (+.f64 (pow.f64 (/.f64 z y) 3) (.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))) (+.f64 (/.f64 x y) (.f64 (/.f64 x y) (*.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))))
8.5b	(+.f64 (pow.f64 (/.f64 z y) 3) (*.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))

rewrite213.0ms (6.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

32×	`*-un-lft-identity_binary64`
30×	`flip-+_binary64`
30×	`flip3-+_binary64`
29×	`frac-times_binary64`
29×	`add-sqr-sqrt_binary64`

Counts

4 → 160

Calls

4 calls:

29.0ms	(-.f64 (+.f64 1 (+.f64 (pow.f64 (/.f64 z y) 3) (.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))) (+.f64 (/.f64 x y) (.f64 (/.f64 x y) (*.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))))
14.0ms	(+.f64 (pow.f64 (/.f64 z y) 3) (*.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))
11.0ms	(.f64 (/.f64 x y) (.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))
3.0ms	(pow.f64 (/.f64 z y) 3)

Compiler

Compiled 9815 to 4392 computations (55.3% saved)

series202.0ms (6.4%)

Error

Counts

4 → 60

Calls

4 calls:

96.0ms	(-.f64 (+.f64 1 (+.f64 (pow.f64 (/.f64 z y) 3) (.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))) (+.f64 (/.f64 x y) (.f64 (/.f64 x y) (*.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))))
39.0ms	(.f64 (/.f64 x y) (.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))
30.0ms	(+.f64 (pow.f64 (/.f64 z y) 3) (*.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))
18.0ms	(pow.f64 (/.f64 z y) 3)

Compiler

Compiled 3676 to 2256 computations (38.6% saved)

simplify276.0ms (8.7%)

Algorithm

1×	egg-herbie

Rules

525×	`distribute-rgt-in_binary64`
517×	`distribute-lft-in_binary64`
223×	`associate-*l/_binary64`
181×	`*-commutative_binary64`
134×	`associate-/l*_binary64`

Counts

220 → 193

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	472	10594
1	1587	10008
2	4530	9966
3	4991	9966
4	4983	9966

prune120.0ms (3.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	193	0	193
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	193	5	198

Error

Counts

198 → 5

Alt Table

Status	Error	Program
✓	30.6b	(-.f64 (+.f64 1 (+.f64 (pow.f64 (/.f64 z y) 3) (.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))) (+.f64 (/.f64 x y) (.f64 (/.f64 x y) (*.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))))
	45.6b	(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 (-.f64 z y) (+.f64 (.f64 y y) (*.f64 x (+.f64 y x)))))
✓	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (/.f64 (cbrt.f64 (-.f64 x y)) (-.f64 z y)))
✓	0.0b	(/.f64 (-.f64 x y) (-.f64 z y))
▶	34.0b	(-.f64 (.f64 (+.f64 (/.f64 y z) 1) (/.f64 x z)) (.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z)))

Compiler

Compiled 6516 to 2956 computations (54.6% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (/.f64 y z) 1)
0.1b	(*.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z))
1.9b	(*.f64 (+.f64 (/.f64 y z) 1) (/.f64 x z))
7.8b	(-.f64 (.f64 (+.f64 (/.f64 y z) 1) (/.f64 x z)) (.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z)))

rewrite125.0ms (3.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

30×	`add-sqr-sqrt_binary64`
29×	`flip-+_binary64`
29×	`flip3-+_binary64`
28×	`associate-*l/_binary64`
28×	`frac-times_binary64`

Counts

4 → 129

Calls

4 calls:

12.0ms	(*.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z))
10.0ms	(-.f64 (.f64 (+.f64 (/.f64 y z) 1) (/.f64 x z)) (.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z)))
10.0ms	(*.f64 (+.f64 (/.f64 y z) 1) (/.f64 x z))
5.0ms	(+.f64 (/.f64 y z) 1)

Compiler

Compiled 4587 to 2016 computations (56% saved)

series129.0ms (4%)

Error

Counts

4 → 57

Calls

4 calls:

60.0ms	(-.f64 (.f64 (+.f64 (/.f64 y z) 1) (/.f64 x z)) (.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z)))
24.0ms	(*.f64 (+.f64 (/.f64 y z) 1) (/.f64 x z))
21.0ms	(*.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z))
14.0ms	(+.f64 (/.f64 y z) 1)

Compiler

Compiled 2180 to 1287 computations (41% saved)

simplify129.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

753×	`times-frac_binary64`
450×	`cancel-sign-sub-inv_binary64`
417×	`associate-r_binary64`
405×	`associate-l_binary64`
267×	`*-commutative_binary64`

Counts

186 → 140

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	293	4854
1	933	4439
2	3351	4296
3	5054	4296

prune56.0ms (1.8%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	140	5	145

Error

Counts

145 → 5

Alt Table

Status	Error	Program
	30.6b	(-.f64 (+.f64 1 (+.f64 (pow.f64 (/.f64 z y) 3) (.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))) (+.f64 (/.f64 x y) (.f64 (/.f64 x y) (*.f64 (+.f64 1 (/.f64 z y)) (/.f64 z y)))))
	45.6b	(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 (-.f64 z y) (+.f64 (.f64 y y) (*.f64 x (+.f64 y x)))))
	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (/.f64 (cbrt.f64 (-.f64 x y)) (-.f64 z y)))
	0.0b	(/.f64 (-.f64 x y) (-.f64 z y))
	34.0b	(-.f64 (.f64 (+.f64 (/.f64 y z) 1) (/.f64 x z)) (.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z)))

Compiler

Compiled 3010 to 1192 computations (60.4% saved)

regimes291.0ms (9.2%)

Accuracy

Total 0.0b remaining (69.3%)

Threshold costs 0.0b (69.3%)

Compiler

Compiled 5910 to 3270 computations (44.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
4×	`sub-neg_binary64`
2×	`*-commutative_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	12	16
2	21	16
3	25	16
4	27	16
5	27	16

end0.0ms (0%)

Compiler: Compiled 14 to 7 computations (50% saved)

sample550.0ms (17.3%)

Algorithm

1×

intervals

Results

242.0ms	8000×	body	128	valid
7.0ms	252×	body	128	invalid

Compiler

Compiled 143 to 78 computations (45.5% saved)

Details

analyze350.0ms (11%)

sample16.0ms (0.5%)

simplify77.0ms (2.4%)

prune1.0ms (0%)

localize5.0ms (0.1%)

rewrite34.0ms (1.1%)

series53.0ms (1.7%)

simplify97.0ms (3.1%)

prune22.0ms (0.7%)

localize9.0ms (0.3%)

rewrite54.0ms (1.7%)

series147.0ms (4.6%)

simplify156.0ms (4.9%)

prune36.0ms (1.1%)

localize13.0ms (0.4%)

rewrite213.0ms (6.7%)

series202.0ms (6.4%)

simplify276.0ms (8.7%)

prune120.0ms (3.8%)

localize10.0ms (0.3%)

rewrite125.0ms (3.9%)

series129.0ms (4%)

simplify129.0ms (4.1%)

prune56.0ms (1.8%)

regimes291.0ms (9.2%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample550.0ms (17.3%)

Profiling