Details

analyze4.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
99.6%	0%	0.4%	1

Compiler

Compiled 28 to 19 computations (32.1% saved)

sample1.4s (19.1%)

Infinites

47.1% of outputs are infinite.

Symmetry

(sort x y)

(sort z t)

Results

1.3s

8256×

body

128

valid

Compiler

Compiled 83 to 56 computations (32.5% saved)

simplify229.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

1133×	`distribute-rgt-in_binary64`
1066×	`distribute-lft-in_binary64`
969×	`unsub-neg_binary64`
583×	`fma-def_binary64`
461×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	26
1	37	24
2	97	24
3	277	24
4	797	24
5	1809	24
6	2532	24
7	2783	24
8	3128	24
9	3409	24
10	3319	24
11	3327	24
12	3331	24
13	3461	24
14	3620	24
15	3621	24
16	3623	24
17	3623	24
18	5071	24

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

4.8b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	4.8b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 b c a)) i)))

Compiler

Compiled 94 to 57 computations (39.4% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 c (fma.f64 b c a))
✓	0.3b	(fma.f64 x y (*.f64 z t))
✓	1.3b	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (*.f64 c (fma.f64 b c a)) i))
✓	5.9b	(.f64 (.f64 c (fma.f64 b c a)) i)

series154.0ms (2.1%)

Counts

4 → 228

Calls

4 calls:

92.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (*.f64 c (fma.f64 b c a)) i))
42.0ms	(.f64 (.f64 c (fma.f64 b c a)) i)
10.0ms	(fma.f64 x y (*.f64 z t))
9.0ms	(*.f64 c (fma.f64 b c a))

rewrite14.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64`
11×	`add-cbrt-cube_binary64`
11×	`add-exp-log_binary64`
11×	`pow1_binary64`
9×	`*-un-lft-identity_binary64`

Counts

4 → 73

Calls

4 calls:

5.0ms	(.f64 (.f64 c (fma.f64 b c a)) i)
3.0ms	(*.f64 c (fma.f64 b c a))
3.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (*.f64 c (fma.f64 b c a)) i))
0.0ms	(fma.f64 x y (*.f64 z t))

simplify128.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

578×	`fma-neg_binary64`
563×	`distribute-rgt-in_binary64`
556×	`distribute-lft-in_binary64`
505×	`fma-def_binary64`
242×	`cancel-sign-sub-inv_binary64`

Counts

301 → 160

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	149	4992
1	327	4027
2	1091	3988
3	4531	3988
4	4933	3988

prune185.0ms (2.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	148	12	160
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	148	13	161

Error

0.0b

Counts

161 → 13

Alt Table

Status	Error	Program
	5.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (fma.f64 b c a))) i)))
✓	4.8b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 b c a)) i)))
	16.8b	(.f64 2 (-.f64 (.f64 y x) (.f64 c (.f64 i (fma.f64 c b a)))))
	28.1b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (sqrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i)) (sqrt.f64 (.f64 (*.f64 c (fma.f64 b c a)) i)))))
	25.5b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 c (fma.f64 b c a)) (.f64 c (fma.f64 b c a))) (.f64 c (fma.f64 b c a))) (.f64 (.f64 i i) i)))))
	33.4b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (sqrt.f64 c) (*.f64 (sqrt.f64 c) (fma.f64 b c a))) i)))
	5.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i)) (cbrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i))) (cbrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i)))))
	35.8b	(.f64 2 (.f64 (sqrt.f64 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i (fma.f64 c b a))))) (sqrt.f64 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i (fma.f64 c b a)))))))
▶	5.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) i)))
	18.1b	(.f64 2 (-.f64 (.f64 t z) (.f64 c (.f64 i (fma.f64 c b a)))))
	32.4b	(.f64 2 (fma.f64 t z (.f64 y x)))
	16.7b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 (.f64 c c) (*.f64 i b))))
	34.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (*.f64 c (fma.f64 b c a)) (sqrt.f64 i)) (sqrt.f64 i))))

Compiler

Compiled 4402 to 1311 computations (70.2% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (*.f64 c (fma.f64 b c a))))
✓	1.3b	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) (cbrt.f64 (*.f64 c (fma.f64 b c a)))) i))
✓	5.9b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) i)
✓	22.9b	(cbrt.f64 (*.f64 c (fma.f64 b c a)))

series242.0ms (3.3%)

Counts

4 → 216

Calls

4 calls:

81.0ms	(.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (*.f64 c (fma.f64 b c a))))
72.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) (cbrt.f64 (*.f64 c (fma.f64 b c a)))) i))
57.0ms	(cbrt.f64 (*.f64 c (fma.f64 b c a)))
31.0ms	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) i)

rewrite25.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`pow1_binary64`
15×	`add-exp-log_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`

Counts

4 → 88

Calls

4 calls:

8.0ms	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) i)
4.0ms	(.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (*.f64 c (fma.f64 b c a))))
3.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) (cbrt.f64 (*.f64 c (fma.f64 b c a)))) i))
2.0ms	(cbrt.f64 (*.f64 c (fma.f64 b c a)))

simplify205.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

558×	`fma-def_binary64`
474×	`times-frac_binary64`
361×	`associate-/l*_binary64`
343×	`associate-/r*_binary64`
214×	`cancel-sign-sub-inv_binary64`

Counts

304 → 311

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	577	9652
1	1771	9089
2	4520	8854
3	5008	8854

prune685.0ms (9.4%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	484	1	485
Fresh	1	10	11
Picked	1	0	1
Done	0	1	1
Total	486	12	498

Error

0.0b

Counts

498 → 12

Alt Table

Status	Error	Program
	5.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (fma.f64 b c a))) i)))
✓	4.8b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 b c a)) i)))
	16.8b	(.f64 2 (-.f64 (.f64 y x) (.f64 c (.f64 i (fma.f64 c b a)))))
	28.1b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (sqrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i)) (sqrt.f64 (.f64 (*.f64 c (fma.f64 b c a)) i)))))
	5.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i)) (cbrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i))) (cbrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i)))))
	35.8b	(.f64 2 (.f64 (sqrt.f64 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i (fma.f64 c b a))))) (sqrt.f64 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i (fma.f64 c b a)))))))
▶	5.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) i))))
	18.1b	(.f64 2 (-.f64 (.f64 t z) (.f64 c (.f64 i (fma.f64 c b a)))))
	32.4b	(.f64 2 (fma.f64 t z (.f64 y x)))
	16.7b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 (.f64 c c) (*.f64 i b))))
	34.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (*.f64 c (fma.f64 b c a)) (sqrt.f64 i)) (sqrt.f64 i))))
	33.4b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (sqrt.f64 c) (*.f64 (sqrt.f64 c) (fma.f64 b c a))) i)))

Compiler

Compiled 26831 to 10998 computations (59% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (*.f64 c (fma.f64 b c a))))
✓	1.3b	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) (.f64 (cbrt.f64 (*.f64 c (fma.f64 b c a))) i)))
✓	1.4b	(.f64 (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) i))
	22.9b	(cbrt.f64 (*.f64 c (fma.f64 b c a)))

series111.0ms (1.5%)

Counts

2 → 144

Calls

2 calls:

72.0ms

(-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (cbrt.f64 (*.f64 c (fma.f64 b c a))) (cbrt.f64 (*.f64 c (fma.f64 b c a)))) (*.f64 (cbrt.f64 (*.f64 c (fma.f64 b c a))) i)))

39.0ms

(*.f64 (*.f64 (cbrt.f64 (*.f64 c (fma.f64 b c a))) (cbrt.f64 (*.f64 c (fma.f64 b c a)))) (*.f64 (cbrt.f64 (*.f64 c (fma.f64 b c a))) i))

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-exp-log_binary64`
14×	`pow1_binary64`
8×	`cbrt-unprod_binary64`
8×	`add-cbrt-cube_binary64`
8×	`prod-exp_binary64`

Counts

2 → 45

Calls

2 calls:

7.0ms

(*.f64 (*.f64 (cbrt.f64 (*.f64 c (fma.f64 b c a))) (cbrt.f64 (*.f64 c (fma.f64 b c a)))) (*.f64 (cbrt.f64 (*.f64 c (fma.f64 b c a))) i))

3.0ms

(-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (cbrt.f64 (*.f64 c (fma.f64 b c a))) (cbrt.f64 (*.f64 c (fma.f64 b c a)))) (*.f64 (cbrt.f64 (*.f64 c (fma.f64 b c a))) i)))

simplify139.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

605×	`fma-neg_binary64`
466×	`fma-def_binary64`
398×	`distribute-lft-in_binary64`
396×	`distribute-rgt-in_binary64`
335×	`*-commutative_binary64`

Counts

189 → 101

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	125	4002
1	307	3143
2	994	3099
3	3632	3091
4	4835	3082
5	4790	3082

prune670.0ms (9.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	480	0	480
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	480	12	492

Error

0.0b

Counts

492 → 12

Alt Table

Status	Error	Program
▶	5.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (fma.f64 b c a))) i)))
✓	4.8b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 b c a)) i)))
	16.8b	(.f64 2 (-.f64 (.f64 y x) (.f64 c (.f64 i (fma.f64 c b a)))))
	28.1b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (sqrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i)) (sqrt.f64 (.f64 (*.f64 c (fma.f64 b c a)) i)))))
	5.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i)) (cbrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i))) (cbrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i)))))
	35.8b	(.f64 2 (.f64 (sqrt.f64 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i (fma.f64 c b a))))) (sqrt.f64 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i (fma.f64 c b a)))))))
✓	5.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) i))))
	18.1b	(.f64 2 (-.f64 (.f64 t z) (.f64 c (.f64 i (fma.f64 c b a)))))
	32.4b	(.f64 2 (fma.f64 t z (.f64 y x)))
	16.7b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 (.f64 c c) (*.f64 i b))))
	34.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (*.f64 c (fma.f64 b c a)) (sqrt.f64 i)) (sqrt.f64 i))))
	33.4b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (sqrt.f64 c) (*.f64 (sqrt.f64 c) (fma.f64 b c a))) i)))

Compiler

Compiled 26659 to 10666 computations (60% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 c) (cbrt.f64 c))
✓	0.6b	(cbrt.f64 c)
✓	1.3b	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (*.f64 (cbrt.f64 c) (fma.f64 b c a))) i))
✓	5.9b	(.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (fma.f64 b c a))) i)

series174.0ms (2.4%)

Counts

4 → 168

Calls

4 calls:

67.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (*.f64 (cbrt.f64 c) (fma.f64 b c a))) i))
38.0ms	(*.f64 (cbrt.f64 c) (cbrt.f64 c))
37.0ms	(cbrt.f64 c)
32.0ms	(.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (fma.f64 b c a))) i)

rewrite25.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
24×	`add-exp-log_binary64`
19×	`cbrt-prod_binary64`
16×	`*-un-lft-identity_binary64`

Counts

4 → 105

Calls

4 calls:

9.0ms	(.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (fma.f64 b c a))) i)
6.0ms	(*.f64 (cbrt.f64 c) (cbrt.f64 c))
3.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (*.f64 (cbrt.f64 c) (fma.f64 b c a))) i))
1.0ms	(cbrt.f64 c)

simplify105.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

783×	`distribute-rgt-in_binary64`
565×	`fma-def_binary64`
402×	`cancel-sign-sub-inv_binary64`
347×	`associate-l_binary64`
322×	`distribute-rgt-neg-in_binary64`

Counts

273 → 184

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	190	4751
1	419	3792
2	1656	3703
3	4889	3703

prune294.0ms (4%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	220	0	220
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	220	12	232

Error

0.0b

Counts

232 → 12

Alt Table

Status	Error	Program
✓	5.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (fma.f64 b c a))) i)))
✓	4.8b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 b c a)) i)))
	16.8b	(.f64 2 (-.f64 (.f64 y x) (.f64 c (.f64 i (fma.f64 c b a)))))
	28.1b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (sqrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i)) (sqrt.f64 (.f64 (*.f64 c (fma.f64 b c a)) i)))))
	5.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i)) (cbrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i))) (cbrt.f64 (.f64 (.f64 c (fma.f64 b c a)) i)))))
	35.8b	(.f64 2 (.f64 (sqrt.f64 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i (fma.f64 c b a))))) (sqrt.f64 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i (fma.f64 c b a)))))))
✓	5.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) (cbrt.f64 (.f64 c (fma.f64 b c a)))) (.f64 (cbrt.f64 (.f64 c (fma.f64 b c a))) i))))
	18.1b	(.f64 2 (-.f64 (.f64 t z) (.f64 c (.f64 i (fma.f64 c b a)))))
	32.4b	(.f64 2 (fma.f64 t z (.f64 y x)))
	16.7b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 (.f64 c c) (*.f64 i b))))
	34.0b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (*.f64 c (fma.f64 b c a)) (sqrt.f64 i)) (sqrt.f64 i))))
	33.4b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (sqrt.f64 c) (*.f64 (sqrt.f64 c) (fma.f64 b c a))) i)))

Compiler

Compiled 6552 to 1688 computations (74.2% saved)

regimes2.2s (30.7%)

Accuracy

Total 3.4b remaining (94.1%)

Threshold costs 0b (0%)

Counts

90 → 3

Compiler

Compiled 45785 to 26879 computations (41.3% saved)

bsearch4.0ms (0.1%)

Compiler: Compiled 15 to 11 computations (26.7% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

19×	`*-commutative_binary64`
12×	`+-commutative_binary64`
11×	`sub-neg_binary64`
8×	`distribute-rgt-neg-in_binary64`
8×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	98
1	60	98
2	83	98
3	102	98
4	114	98
5	119	98
6	120	98
7	120	98

end191.0ms (2.6%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 822 to 419 computations (49% saved)

Details

analyze4.0ms (0.1%)

sample1.4s (19.1%)

simplify229.0ms (3.1%)

prune4.0ms (0.1%)

localize14.0ms (0.2%)

series154.0ms (2.1%)

rewrite14.0ms (0.2%)

simplify128.0ms (1.8%)

prune185.0ms (2.5%)

localize19.0ms (0.3%)

series242.0ms (3.3%)

rewrite25.0ms (0.3%)

simplify205.0ms (2.8%)

prune685.0ms (9.4%)

localize19.0ms (0.3%)

series111.0ms (1.5%)

rewrite15.0ms (0.2%)

simplify139.0ms (1.9%)

prune670.0ms (9.2%)

localize17.0ms (0.2%)

series174.0ms (2.4%)

rewrite25.0ms (0.3%)

simplify105.0ms (1.4%)

prune294.0ms (4%)

regimes2.2s (30.7%)

bsearch4.0ms (0.1%)

simplify6.0ms (0.1%)

end191.0ms (2.6%)

Profiling