Details

analyze136.0ms (0.9%)

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)

sample1.1s (7.3%)

Symmetry

(sort x y)

Results

1.0s

8256×

body

128

valid

Compiler

Compiled 59 to 29 computations (50.8% saved)

simplify149.0ms (1%)

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

prune4.0ms (0%)

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

21.5b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 109 to 47 computations (56.9% saved)

localize7.0ms (0%)

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)
✓	21.3b	(/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))

series123.0ms (0.8%)

Counts

3 → 72

Calls

3 calls:

96.0ms	(/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))
18.0ms	(fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))
8.0ms	(pow.f64 (+.f64 x y) 3)

rewrite9.0ms (0.1%)

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))

simplify170.0ms (1.1%)

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

prune299.0ms (1.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	153	9	162
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	154	10	164

Error

5.6b

Counts

164 → 10

Alt Table

Status	Error	Program
	32.0b	(/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (+.f64 (pow.f64 y 3) (fma.f64 3 (fma.f64 x (.f64 y y) (.f64 y (.f64 x x))) (pow.f64 x 3)))))
▶	11.2b	(.f64 (/.f64 x (.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) (/.f64 y (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
	40.1b	(/.f64 (*.f64 (/.f64 x (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) y) (sqrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))
	42.0b	(/.f64 x (pow.f64 y 2))
	12.3b	(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
	28.6b	(/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (cbrt.f64 (pow.f64 (pow.f64 (+.f64 y x) 3) 3))))
	21.6b	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
	39.4b	(/.f64 y (pow.f64 x 2))
	36.3b	(*.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.2b	(*.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)))))

Compiler

Compiled 6129 to 3228 computations (47.3% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))
✓	0.2b	(.f64 (/.f64 x (.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) (/.f64 y (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
✓	16.4b	(/.f64 x (*.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
✓	37.1b	(cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))

series4.6s (29.5%)

Counts

4 → 96

Calls

4 calls:

4.1s	(/.f64 x (*.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
266.0ms	(*.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))
148.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) (/.f64 y (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
121.0ms	(cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))

rewrite46.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`add-sqr-sqrt_binary64`
32×	`add-exp-log_binary64`
31×	`times-frac_binary64`
30×	`*-un-lft-identity_binary64`
30×	`cbrt-prod_binary64`

Counts

4 → 139

Calls

4 calls:

13.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) (/.f64 y (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
4.0ms	(*.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))
4.0ms	(/.f64 x (*.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
1.0ms	(cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))

simplify274.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

693×	`*-commutative_binary64`
391×	`fma-def_binary64`
375×	`associate-+r+_binary64`
230×	`associate-l_binary64`
228×	`associate-r_binary64`

Counts

235 → 294

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1626	23365
1	5004	23365

prune1.2s (7.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	401	1	402
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	401	11	412

Error

5.6b

Counts

412 → 11

Alt Table

Status	Error	Program
	36.3b	(*.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))))
▶	11.4b	(.f64 (.f64 (/.f64 x (.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 y) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
	32.0b	(/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (+.f64 (pow.f64 y 3) (fma.f64 3 (fma.f64 x (.f64 y y) (.f64 y (.f64 x x))) (pow.f64 x 3)))))
✓	11.2b	(.f64 (/.f64 x (.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) (/.f64 y (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
	40.1b	(/.f64 (*.f64 (/.f64 x (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) y) (sqrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))
	42.0b	(/.f64 x (pow.f64 y 2))
	12.3b	(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
	28.6b	(/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (cbrt.f64 (pow.f64 (pow.f64 (+.f64 y x) 3) 3))))
	21.6b	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
	39.4b	(/.f64 y (pow.f64 x 2))
	33.2b	(*.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)))))

Compiler

Compiled 43311 to 26106 computations (39.7% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 y)
✓	5.5b	(.f64 (/.f64 x (.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
	16.4b	(/.f64 x (*.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
	37.1b	(cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))

series3.7s (23.4%)

Counts

2 → 36

Calls

2 calls:

3.6s

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

38.0ms

(cbrt.f64 y)

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-exp-log_binary64`
13×	`add-cbrt-cube_binary64`
11×	`cbrt-unprod_binary64`
11×	`prod-exp_binary64`
7×	`associate-l_binary64`

Counts

2 → 48

Calls

2 calls:

13.0ms

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

1.0ms

(cbrt.f64 y)

simplify177.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

493×	`times-frac_binary64`
390×	`*-commutative_binary64`
257×	`sqr-pow_binary64`
247×	`+-commutative_binary64`
241×	`fma-def_binary64`

Counts

84 → 117

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1127	13743
1	3580	12779
2	4849	12779

prune1.2s (7.6%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	372	0	372
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	372	11	383

Error

5.6b

Counts

383 → 11

Alt Table

Status	Error	Program
	36.3b	(*.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))))
✓	11.4b	(.f64 (.f64 (/.f64 x (.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 y) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
	32.0b	(/.f64 (.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (+.f64 (pow.f64 y 3) (fma.f64 3 (fma.f64 x (.f64 y y) (.f64 y (.f64 x x))) (pow.f64 x 3)))))
✓	11.2b	(.f64 (/.f64 x (.f64 (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))) (/.f64 y (cbrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))))
	40.1b	(/.f64 (*.f64 (/.f64 x (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2))) y) (sqrt.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))
	42.0b	(/.f64 x (pow.f64 y 2))
▶	12.3b	(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
	28.6b	(/.f64 (*.f64 x y) (fma.f64 (+.f64 x y) (+.f64 x y) (cbrt.f64 (pow.f64 (pow.f64 (+.f64 y x) 3) 3))))
	21.6b	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
	39.4b	(/.f64 y (pow.f64 x 2))
	33.2b	(*.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)))))

Compiler

Compiled 52272 to 32048 computations (38.7% saved)

localize7.0ms (0%)

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.7b	(/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y)
✓	7.4b	(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))

series90.0ms (0.6%)

Counts

2 → 48

Calls

2 calls:

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

rewrite15.0ms (0.1%)

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)

simplify140.0ms (0.9%)

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

prune412.0ms (2.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	324	7	331
Fresh	4	4	8
Picked	1	0	1
Done	2	0	2
Total	331	11	342

Error

5.4b

Counts

342 → 11

Alt Table

Status	Error	Program
	42.0b	(/.f64 x (pow.f64 y 2))
	21.6b	(.f64 (/.f64 1 (fma.f64 (+.f64 y x) (+.f64 y x) (pow.f64 (+.f64 y x) 3))) (.f64 y x))
	37.3b	(/.f64 x (fma.f64 (*.f64 y x) 3 (fma.f64 y y y)))
	39.4b	(/.f64 y (pow.f64 x 2))
	36.3b	(*.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))))
	27.4b	(*.f64 (/.f64 1 (sqrt.f64 (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))) (/.f64 x (sqrt.f64 (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))))
	33.2b	(*.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)))))
	11.5b	(*.f64 (/.f64 x (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) y)
	49.4b	(*.f64 (/.f64 (sqrt.f64 x) (/.f64 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)) (sqrt.f64 y))) (/.f64 (sqrt.f64 x) (/.f64 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)) (sqrt.f64 y))))
	26.7b	(/.f64 x (+.f64 (fma.f64 (.f64 y x) 3 (+.f64 y (fma.f64 y y (+.f64 (/.f64 (.f64 x x) y) (fma.f64 x 2 (.f64 3 (.f64 x x))))))) (/.f64 (pow.f64 x 3) y)))
	36.5b	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)) (sqrt.f64 y))) (/.f64 (cbrt.f64 x) (/.f64 (hypot.f64 (+.f64 y x) (pow.f64 (+.f64 y x) 3/2)) (sqrt.f64 y))))

Compiler

Compiled 11226 to 5149 computations (54.1% saved)

regimes1.4s (8.9%)

Accuracy

Total 2.3b remaining (31.7%)

Threshold costs 0b (0%)

Counts

251 → 3

Compiler

Compiled 19616 to 10289 computations (47.5% saved)

bsearch44.0ms (0.3%)

Steps

Iters	Range		Point
9	-1.3771239712516213e-154	-5.656734207270033e-162	-5.763417785668302e-162
5	-3.1535827382835393e+107	-1.0943697907541312e+107	-1.1125239315049187e+107

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	117
1	33	117
2	33	117

end312.0ms (2%)

Compiler: Compiled 583 to 302 computations (48.2% saved)

Details

analyze136.0ms (0.9%)

sample1.1s (7.3%)

simplify149.0ms (1%)

prune4.0ms (0%)

localize7.0ms (0%)

series123.0ms (0.8%)

rewrite9.0ms (0.1%)

simplify170.0ms (1.1%)

prune299.0ms (1.9%)

localize15.0ms (0.1%)

series4.6s (29.5%)

rewrite46.0ms (0.3%)

simplify274.0ms (1.8%)

prune1.2s (7.4%)

localize15.0ms (0.1%)

series3.7s (23.4%)

rewrite18.0ms (0.1%)

simplify177.0ms (1.1%)

prune1.2s (7.6%)

localize7.0ms (0%)

series90.0ms (0.6%)

rewrite15.0ms (0.1%)

simplify140.0ms (0.9%)

prune412.0ms (2.6%)

regimes1.4s (8.9%)

bsearch44.0ms (0.3%)

simplify3.0ms (0%)

end312.0ms (2%)

Profiling