Details

analyze99.0ms (1.7%)

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
12.5%	87.4%	0.1%	5
46.8%	53.1%	0.1%	6
70.2%	29.7%	0.1%	7
76.5%	23.4%	0.1%	8
83.5%	16.4%	0.1%	9
87%	12.9%	0.1%	10
91.1%	8.8%	0.1%	11
93.2%	6.7%	0.1%	12
95.4%	4.5%	0.1%	13
96.5%	3.4%	0.1%	14

Compiler

Compiled 20 to 10 computations (50% saved)

sample918.0ms (16.2%)

Symmetry

(sort x y)

Results

799.0ms

8256×

body

128

valid

Compiler

Compiled 59 to 29 computations (50.8% saved)

simplify137.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

985×	`associate-/l*_binary64`
659×	`distribute-lft-out_binary64`
601×	`*-commutative_binary64`
469×	`distribute-rgt-out_binary64`
356×	`fma-def_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	39	25
2	135	23
3	474	23
4	1536	23
5	2122	23
6	2589	23
7	2567	23
8	2620	23
9	2677	23
10	2770	23
11	3956	23
12	4088	23
13	4454	23
14	4983	23
15	4968	23
16	4961	23

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

20.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	20.0b	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
▶	20.0b	(/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))

Compiler

Compiled 109 to 47 computations (56.9% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))
✓	0.0b	(pow.f64 (+.f64 x y) 3)
✓	19.8b	(/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))

series97.0ms (1.7%)

Counts

3 → 72

Calls

3 calls:

75.0ms	(/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))
13.0ms	(fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))
9.0ms	(pow.f64 (+.f64 x y) 3)

rewrite9.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
8×	`add-sqr-sqrt_binary64`
8×	`add-cube-cbrt_binary64`

Counts

3 → 62

Calls

3 calls:

3.0ms	(/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))
3.0ms	(pow.f64 (+.f64 x y) 3)
0.0ms	(fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))

simplify146.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

326×	`fma-def_binary64`
301×	`times-frac_binary64`
297×	`associate-+r+_binary64`
257×	`associate-/l*_binary64`
223×	`+-commutative_binary64`

Counts

134 → 162

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	347	4819
1	1047	4272
2	4702	4260
3	4981	4260
4	4996	4260
5	4981	4260

prune204.0ms (3.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	151	11	162
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	153	11	164

Error

3.8b

Counts

164 → 11

Alt Table

Status	Error	Program
	23.1b	(.f64 (/.f64 x (.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 y x) 3) (pow.f64 (+.f64 y x) 2))) (cbrt.f64 (+.f64 (pow.f64 (+.f64 y x) 3) (pow.f64 (+.f64 y x) 2))))) (/.f64 y (cbrt.f64 (+.f64 (pow.f64 (+.f64 y x) 3) (pow.f64 (+.f64 y x) 2)))))
	39.7b	(/.f64 y (pow.f64 x 2))
	20.0b	(/.f64 (*.f64 y x) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))
	30.6b	(/.f64 (.f64 x y) (fma.f64 (.f64 y x) 2 (fma.f64 y y (fma.f64 3 (fma.f64 x (.f64 y y) (.f64 y (*.f64 x x))) (fma.f64 x x (pow.f64 x 3))))))
	35.1b	(*.f64 (/.f64 x (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) (/.f64 y (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))))
	33.0b	(*.f64 (/.f64 x (sqrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) (/.f64 y (sqrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
	31.1b	(.f64 (sqrt.f64 (/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) (sqrt.f64 (/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
▶	12.6b	(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
	20.3b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) (cbrt.f64 (/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) (cbrt.f64 (/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
	31.3b	(cbrt.f64 (.f64 (.f64 (/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) (/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
	41.2b	(/.f64 x (pow.f64 y 2))

Compiler

Compiled 6311 to 3296 computations (47.8% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))
	0.0b	(pow.f64 (+.f64 x y) 3)
✓	6.0b	(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
✓	7.7b	(/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y)

series97.0ms (1.7%)

Counts

2 → 48

Calls

2 calls:

81.0ms	(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
16.0ms	(/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y)

rewrite16.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`times-frac_binary64`
52×	`*-un-lft-identity_binary64`
52×	`add-sqr-sqrt_binary64`
52×	`add-cube-cbrt_binary64`
16×	`associate-/r*_binary64`

Counts

2 → 101

Calls

2 calls:

4.0ms	(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
2.0ms	(/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y)

simplify133.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

303×	`associate-+r+_binary64`
279×	`times-frac_binary64`
257×	`associate-/l*_binary64`
254×	`fma-def_binary64`
225×	`+-commutative_binary64`

Counts

149 → 241

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	413	7037
1	1139	6463
2	4768	6436
3	4985	6436

prune400.0ms (7.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	323	8	331
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	330	12	342

Error

3.6b

Counts

342 → 12

Alt Table

Status	Error	Program
▶	11.6b	(*.f64 (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) y)
	35.2b	(*.f64 (/.f64 (sqrt.f64 y) (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) (/.f64 x (/.f64 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)) (sqrt.f64 y))))
	25.6b	(/.f64 x (+.f64 (.f64 3 (.f64 y x)) (+.f64 (/.f64 (pow.f64 x 3) y) (+.f64 y (+.f64 (pow.f64 y 2) (+.f64 (/.f64 (pow.f64 x 2) y) (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 x))))))))
	12.5b	(.f64 x (.f64 y (/.f64 1 (fma.f64 (+.f64 y x) (+.f64 y x) (pow.f64 (+.f64 y x) 3)))))
	49.3b	(.f64 (/.f64 (sqrt.f64 x) (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) (.f64 y (/.f64 (sqrt.f64 x) (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)))))
	23.1b	(.f64 (/.f64 x (.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 y x) 3) (pow.f64 (+.f64 y x) 2))) (cbrt.f64 (+.f64 (pow.f64 (+.f64 y x) 3) (pow.f64 (+.f64 y x) 2))))) (/.f64 y (cbrt.f64 (+.f64 (pow.f64 (+.f64 y x) 3) (pow.f64 (+.f64 y x) 2)))))
	31.1b	(.f64 (sqrt.f64 (/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) (sqrt.f64 (/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
	20.3b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) (cbrt.f64 (/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) (cbrt.f64 (/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
	39.7b	(-.f64 (/.f64 y (*.f64 x x)) (fma.f64 3 (/.f64 y (/.f64 (pow.f64 x 3) y)) (/.f64 y (pow.f64 x 3))))
	35.1b	(*.f64 (/.f64 1 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) (/.f64 x (/.f64 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)) y)))
	35.3b	(/.f64 x (fma.f64 3 (*.f64 y x) (fma.f64 y y y)))
	41.2b	(/.f64 x (pow.f64 y 2))

Compiler

Compiled 11639 to 5376 computations (53.8% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))
	0.0b	(pow.f64 (+.f64 x y) 3)
✓	5.8b	(*.f64 (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) y)
✓	8.4b	(/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))

series144.0ms (2.5%)

Counts

2 → 48

Calls

2 calls:

75.0ms	(*.f64 (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) y)
68.0ms	(/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
19×	`times-frac_binary64`
18×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
13×	`associate-l_binary64`

Counts

2 → 63

Calls

2 calls:

5.0ms	(*.f64 (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) y)
2.0ms	(/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))

simplify91.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

390×	`fma-def_binary64`
380×	`times-frac_binary64`
330×	`associate-/l*_binary64`
281×	`associate-/r*_binary64`
209×	`associate-r_binary64`

Counts

111 → 154

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	460	6573
1	1429	6005
2	5051	6005

prune340.0ms (6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	241	3	244
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	243	13	256

Error

3.6b

Counts

256 → 13

Alt Table

Status	Error	Program
	39.7b	(*.f64 (/.f64 1 (pow.f64 x 2)) y)
	31.1b	(.f64 (sqrt.f64 (/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) (sqrt.f64 (/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
✓	11.6b	(*.f64 (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) y)
	35.2b	(*.f64 (/.f64 (sqrt.f64 y) (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) (/.f64 x (/.f64 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)) (sqrt.f64 y))))
	25.6b	(/.f64 x (+.f64 (.f64 3 (.f64 y x)) (+.f64 (/.f64 (pow.f64 x 3) y) (+.f64 y (+.f64 (pow.f64 y 2) (+.f64 (/.f64 (pow.f64 x 2) y) (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 x))))))))
	12.5b	(.f64 x (.f64 y (/.f64 1 (fma.f64 (+.f64 y x) (+.f64 y x) (pow.f64 (+.f64 y x) 3)))))
	49.3b	(.f64 (/.f64 (sqrt.f64 x) (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) (.f64 y (/.f64 (sqrt.f64 x) (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)))))
▶	11.7b	(.f64 (.f64 x (/.f64 1 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) y)
	35.3b	(/.f64 x (fma.f64 3 (*.f64 y x) (fma.f64 y y y)))
	19.5b	(.f64 (cbrt.f64 (.f64 (*.f64 (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) y)
	39.7b	(-.f64 (/.f64 y (*.f64 x x)) (fma.f64 3 (/.f64 y (/.f64 (pow.f64 x 3) y)) (/.f64 y (pow.f64 x 3))))
	35.1b	(*.f64 (/.f64 1 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) (/.f64 x (/.f64 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)) y)))
	41.2b	(/.f64 x (pow.f64 y 2))

Compiler

Compiled 10382 to 5728 computations (44.8% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(pow.f64 (+.f64 x y) 3)
✓	0.3b	(/.f64 1 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))
✓	5.8b	(.f64 (.f64 x (/.f64 1 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) y)
✓	8.5b	(*.f64 x (/.f64 1 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))

series211.0ms (3.7%)

Counts

3 → 72

Calls

3 calls:

78.0ms

(*.f64 (*.f64 x (/.f64 1 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) y)

69.0ms

(*.f64 x (/.f64 1 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))

63.0ms

(/.f64 1 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))

rewrite21.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-exp-log_binary64`
27×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64`
20×	`times-frac_binary64`
20×	`add-cube-cbrt_binary64`

Counts

3 → 97

Calls

3 calls:

6.0ms

(*.f64 x (/.f64 1 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))

5.0ms

(*.f64 (*.f64 x (/.f64 1 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) y)

2.0ms

(/.f64 1 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))

simplify123.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

586×	`fma-def_binary64`
523×	`times-frac_binary64`
421×	`associate-/l*_binary64`
392×	`associate-/r*_binary64`
203×	`+-commutative_binary64`

Counts

169 → 226

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	607	9495
1	1954	8590
2	5030	8590

prune402.0ms (7.1%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	276	0	276
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	276	13	289

Error

3.6b

Counts

289 → 13

Alt Table

Status	Error	Program
	39.7b	(*.f64 (/.f64 1 (pow.f64 x 2)) y)
	31.1b	(.f64 (sqrt.f64 (/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) (sqrt.f64 (/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
✓	11.6b	(*.f64 (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) y)
	35.2b	(*.f64 (/.f64 (sqrt.f64 y) (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) (/.f64 x (/.f64 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)) (sqrt.f64 y))))
	25.6b	(/.f64 x (+.f64 (.f64 3 (.f64 y x)) (+.f64 (/.f64 (pow.f64 x 3) y) (+.f64 y (+.f64 (pow.f64 y 2) (+.f64 (/.f64 (pow.f64 x 2) y) (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 x))))))))
	12.5b	(.f64 x (.f64 y (/.f64 1 (fma.f64 (+.f64 y x) (+.f64 y x) (pow.f64 (+.f64 y x) 3)))))
	49.3b	(.f64 (/.f64 (sqrt.f64 x) (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) (.f64 y (/.f64 (sqrt.f64 x) (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)))))
✓	11.7b	(.f64 (.f64 x (/.f64 1 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) y)
	35.3b	(/.f64 x (fma.f64 3 (*.f64 y x) (fma.f64 y y y)))
	19.5b	(.f64 (cbrt.f64 (.f64 (*.f64 (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))) (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) y)
	39.7b	(-.f64 (/.f64 y (*.f64 x x)) (fma.f64 3 (/.f64 y (/.f64 (pow.f64 x 3) y)) (/.f64 y (pow.f64 x 3))))
	35.1b	(*.f64 (/.f64 1 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) (/.f64 x (/.f64 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)) y)))
	41.2b	(/.f64 x (pow.f64 y 2))

Compiler

Compiled 12850 to 7589 computations (40.9% saved)

regimes1.7s (29.4%)

Accuracy

Total 3.3b remaining (41.8%)

Threshold costs 0b (0%)

Counts

276 → 2

Compiler

Compiled 19814 to 10544 computations (46.8% saved)

bsearch38.0ms (0.7%)

Steps

Iters	Range		Point
10	-3.0065252009017873e-144	-2.400719935307558e-156	-2.446404973366963e-156

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	63
1	22	63
2	22	63

end330.0ms (5.8%)

Compiler: Compiled 497 to 243 computations (51.1% saved)

Details

analyze99.0ms (1.7%)

sample918.0ms (16.2%)

simplify137.0ms (2.4%)

prune3.0ms (0.1%)

localize7.0ms (0.1%)

series97.0ms (1.7%)

rewrite9.0ms (0.2%)

simplify146.0ms (2.6%)

prune204.0ms (3.6%)

localize7.0ms (0.1%)

series97.0ms (1.7%)

rewrite16.0ms (0.3%)

simplify133.0ms (2.3%)

prune400.0ms (7.1%)

localize8.0ms (0.1%)

series144.0ms (2.5%)

rewrite12.0ms (0.2%)

simplify91.0ms (1.6%)

prune340.0ms (6%)

localize8.0ms (0.1%)

series211.0ms (3.7%)

rewrite21.0ms (0.4%)

simplify123.0ms (2.2%)

prune402.0ms (7.1%)

regimes1.7s (29.4%)

bsearch38.0ms (0.7%)

simplify3.0ms (0%)

end330.0ms (5.8%)

Profiling