Details

analyze2.0s (14.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 28 to 19 computations (32.1% saved)

sample2.6s (18.8%)

Symmetry

(sort x y)

(sort z t)

Results

1.4s	8256×	body	128	valid
1.2s	7429×	body	128	invalid

Compiler

Compiled 83 to 56 computations (32.5% saved)

simplify220.0ms (1.6%)

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

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

6.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	6.1b	(.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)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series91.0ms (0.6%)

Counts

4 → 228

Calls

4 calls:

51.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (*.f64 c (fma.f64 b c a)) i))
19.0ms	(.f64 (.f64 c (fma.f64 b c a)) i)
11.0ms	(fma.f64 x y (*.f64 z t))
9.0ms	(*.f64 c (fma.f64 b c a))

rewrite13.0ms (0.1%)

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:

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

simplify124.0ms (0.9%)

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

prune195.0ms (1.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

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

Error

0.2b

Counts

161 → 13

Alt Table

Status	Error	Program
	6.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 i (fma.f64 c b a)))))
▶	4.3b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))) (cbrt.f64 i))))
	11.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (+.f64 (.f64 (pow.f64 c 2) (.f64 i b)) (.f64 c (.f64 i a)))))
	16.0b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i a))))
	30.7b	(.f64 2 (-.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 x y (.f64 z t)) (fma.f64 x y (.f64 z t))) (fma.f64 x y (.f64 z t)))) (.f64 (.f64 c (fma.f64 b c a)) i)))
	31.9b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (sqrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))) (sqrt.f64 (.f64 c (*.f64 i (fma.f64 c b a)))))))
	34.1b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (*.f64 c (sqrt.f64 (fma.f64 b c a))) (sqrt.f64 (fma.f64 b c a))) i)))
	6.9b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))) (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a))))) (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))))))
	6.5b	(.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)))
	37.7b	(.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)))))))
	6.4b	(.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)))))
	21.5b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 c (fma.f64 b c a)) i) (.f64 (.f64 c (fma.f64 b c a)) i)) (.f64 (.f64 c (fma.f64 b c a)) i)))))
	6.1b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 (.f64 c (fma.f64 b c a)) i)))

Compiler

Compiled 4569 to 1353 computations (70.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 i)
✓	1.5b	(.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))
✓	1.8b	(.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))) (cbrt.f64 i))
✓	2.4b	(.f64 c (.f64 (fma.f64 c b a) (*.f64 (cbrt.f64 i) (cbrt.f64 i))))

series584.0ms (4.1%)

Counts

4 → 156

Calls

4 calls:

279.0ms	(.f64 c (.f64 (fma.f64 c b a) (*.f64 (cbrt.f64 i) (cbrt.f64 i))))
243.0ms	(.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))
35.0ms	(.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))) (cbrt.f64 i))
27.0ms	(cbrt.f64 i)

rewrite34.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-exp-log_binary64`
32×	`pow1_binary64`
22×	`add-cbrt-cube_binary64`
19×	`cbrt-unprod_binary64`
19×	`prod-exp_binary64`

Counts

4 → 86

Calls

4 calls:

11.0ms	(.f64 c (.f64 (fma.f64 c b a) (*.f64 (cbrt.f64 i) (cbrt.f64 i))))
9.0ms	(.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))) (cbrt.f64 i))
5.0ms	(.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))
1.0ms	(cbrt.f64 i)

simplify103.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

937×	`fma-def_binary64`
720×	`*-commutative_binary64`
594×	`unswap-sqr_binary64`
569×	`distribute-rgt-in_binary64`
568×	`distribute-lft-in_binary64`

Counts

242 → 147

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	142	3940
1	320	3127
2	1276	2914
3	3374	2912
4	5331	2912

prune281.0ms (2%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	181	2	183
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	182	14	196

Error

0.2b

Counts

196 → 14

Alt Table

Status	Error	Program
	6.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 i (fma.f64 c b a)))))
✓	4.3b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))) (cbrt.f64 i))))
	11.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (+.f64 (.f64 (pow.f64 c 2) (.f64 i b)) (.f64 c (.f64 i a)))))
	16.0b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i a))))
	30.7b	(.f64 2 (-.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 x y (.f64 z t)) (fma.f64 x y (.f64 z t))) (fma.f64 x y (.f64 z t)))) (.f64 (.f64 c (fma.f64 b c a)) i)))
	31.9b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (sqrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))) (sqrt.f64 (.f64 c (*.f64 i (fma.f64 c b a)))))))
	34.1b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (*.f64 c (sqrt.f64 (fma.f64 b c a))) (sqrt.f64 (fma.f64 b c a))) i)))
	6.9b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))) (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a))))) (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))))))
	21.5b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (cbrt.f64 (pow.f64 (.f64 i (.f64 c (fma.f64 c b a))) 3))))
	6.5b	(.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)))
▶	4.4b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i))))) (cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))))) (cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))))) (cbrt.f64 i))))
	37.7b	(.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)))))))
	6.4b	(.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)))))
	6.1b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 (.f64 c (fma.f64 b c a)) i)))

Compiler

Compiled 6199 to 1939 computations (68.7% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.5b	(.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))
✓	1.8b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i))))) (cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))))) (cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))))) (cbrt.f64 i))
	2.4b	(.f64 c (.f64 (fma.f64 c b a) (*.f64 (cbrt.f64 i) (cbrt.f64 i))))
✓	8.3b	(cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (*.f64 (cbrt.f64 i) (cbrt.f64 i)))))

series880.0ms (6.2%)

Counts

2 → 96

Calls

2 calls:

835.0ms

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

44.0ms

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

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-exp-log_binary64`
11×	`pow1_binary64`
9×	`pow-prod-down_binary64`
6×	`associate-r_binary64`
6×	`cbrt-unprod_binary64`

Counts

2 → 38

Calls

2 calls:

11.0ms

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

5.0ms

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

simplify130.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

502×	`associate-l_binary64`
484×	`associate-r_binary64`
384×	`unswap-sqr_binary64`
301×	`*-commutative_binary64`
237×	`times-frac_binary64`

Counts

134 → 131

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	353	5194
1	1090	4467
2	4006	4176
3	5179	4176

prune952.0ms (6.7%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	531	0	531
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	531	14	545

Error

0.2b

Counts

545 → 14

Alt Table

Status	Error	Program
	6.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 i (fma.f64 c b a)))))
✓	4.3b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))) (cbrt.f64 i))))
	11.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (+.f64 (.f64 (pow.f64 c 2) (.f64 i b)) (.f64 c (.f64 i a)))))
	16.0b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i a))))
	30.7b	(.f64 2 (-.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 x y (.f64 z t)) (fma.f64 x y (.f64 z t))) (fma.f64 x y (.f64 z t)))) (.f64 (.f64 c (fma.f64 b c a)) i)))
	31.9b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (sqrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))) (sqrt.f64 (.f64 c (*.f64 i (fma.f64 c b a)))))))
	34.1b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (*.f64 c (sqrt.f64 (fma.f64 b c a))) (sqrt.f64 (fma.f64 b c a))) i)))
	6.9b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))) (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a))))) (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))))))
	21.5b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (cbrt.f64 (pow.f64 (.f64 i (.f64 c (fma.f64 c b a))) 3))))
	6.5b	(.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)))
✓	4.4b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i))))) (cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))))) (cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))))) (cbrt.f64 i))))
	37.7b	(.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)))))))
	6.4b	(.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)))))
▶	6.1b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 (.f64 c (fma.f64 b c a)) i)))

Compiler

Compiled 38308 to 11973 computations (68.7% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series128.0ms (0.9%)

Counts

2 → 144

Calls

2 calls:

108.0ms	(-.f64 (fma.f64 t z (.f64 y x)) (.f64 (*.f64 c (fma.f64 b c a)) i))
19.0ms	(fma.f64 t z (*.f64 y x))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-log-exp_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
3×	`fma-neg_binary64`

Counts

2 → 31

Calls

2 calls:

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

simplify230.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

743×	`fma-neg_binary64`
576×	`associate-l_binary64`
458×	`associate-r_binary64`
350×	`fma-def_binary64`
296×	`exp-prod_binary64`

Counts

175 → 78

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	90	3356
1	216	2761
2	664	2722
3	3584	2714
4	4665	2714
5	4998	2714
6	4841	2714

prune564.0ms (4%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	157	2	159
Fresh	2	9	11
Picked	0	1	1
Done	0	2	2
Total	159	14	173

Error

0.2b

Counts

173 → 14

Alt Table

Status	Error	Program
	6.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 i (fma.f64 c b a)))))
✓	4.3b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))) (cbrt.f64 i))))
	11.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (+.f64 (.f64 (pow.f64 c 2) (.f64 i b)) (.f64 c (.f64 i a)))))
	16.0b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i a))))
	30.7b	(.f64 2 (-.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 x y (.f64 z t)) (fma.f64 x y (.f64 z t))) (fma.f64 x y (.f64 z t)))) (.f64 (.f64 c (fma.f64 b c a)) i)))
	31.9b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (sqrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))) (sqrt.f64 (.f64 c (*.f64 i (fma.f64 c b a)))))))
	34.1b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (*.f64 c (sqrt.f64 (fma.f64 b c a))) (sqrt.f64 (fma.f64 b c a))) i)))
	6.9b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))) (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a))))) (cbrt.f64 (.f64 c (.f64 i (fma.f64 c b a)))))))
	37.2b	(.f64 2 (/.f64 (-.f64 (pow.f64 (cbrt.f64 (fma.f64 y x (.f64 t z))) 6) (.f64 c (.f64 (.f64 (.f64 i (fma.f64 c b a)) (.f64 i (fma.f64 c b a))) c))) (fma.f64 y x (fma.f64 c (.f64 i (fma.f64 c b a)) (*.f64 t z)))))
✓	6.1b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 (.f64 c (fma.f64 b c a)) i)))
	6.5b	(.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)))
✓	4.4b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i))))) (cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))))) (cbrt.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))))) (cbrt.f64 i))))
	21.5b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 c (fma.f64 b c a)) i) (.f64 (.f64 c (fma.f64 b c a)) i)) (.f64 (.f64 c (fma.f64 b c a)) i)))))
	6.4b	(.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)))))

Compiler

Compiled 4115 to 1143 computations (72.2% saved)

regimes4.3s (30.5%)

Accuracy

Total 2.0b remaining (88.1%)

Threshold costs 0b (0%)

Counts

95 → 3

Compiler

Compiled 45850 to 27602 computations (39.8% saved)

bsearch8.0ms (0.1%)

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

simplify10.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	35	94
1	59	94
2	82	94
3	101	94
4	113	94
5	118	94
6	119	94
7	119	94

end473.0ms (3.4%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 971 to 473 computations (51.3% saved)

Details

analyze2.0s (14.5%)

sample2.6s (18.8%)

simplify220.0ms (1.6%)

prune4.0ms (0%)

localize13.0ms (0.1%)

series91.0ms (0.6%)

rewrite13.0ms (0.1%)

simplify124.0ms (0.9%)

prune195.0ms (1.4%)

localize15.0ms (0.1%)

series584.0ms (4.1%)

rewrite34.0ms (0.2%)

simplify103.0ms (0.7%)

prune281.0ms (2%)

localize18.0ms (0.1%)

series880.0ms (6.2%)

rewrite20.0ms (0.1%)

simplify130.0ms (0.9%)

prune952.0ms (6.7%)

localize24.0ms (0.2%)

series128.0ms (0.9%)

rewrite9.0ms (0.1%)

simplify230.0ms (1.6%)

prune564.0ms (4%)

regimes4.3s (30.5%)

bsearch8.0ms (0.1%)

simplify10.0ms (0.1%)

end473.0ms (3.4%)

Profiling