Details

analyze2.4s (18.7%)

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)

sample3.1s (23.9%)

Symmetry

(sort x y)

(sort z t)

Results

1.6s	8256×	body	128	valid
1.4s	7424×	body	128	invalid

Compiler

Compiled 83 to 56 computations (32.5% saved)

simplify219.0ms (1.7%)

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

8.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	8.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)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series98.0ms (0.8%)

Counts

4 → 228

Calls

4 calls:

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

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

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

prune179.0ms (1.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	150	10	160
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	151	10	161

Error

0.7b

Counts

161 → 10

Alt Table

Status	Error	Program
	6.1b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i (fma.f64 c b a)))))
	26.3b	(.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)))))))
	8.9b	(.f64 2 (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x y (.f64 z t))) (cbrt.f64 (fma.f64 x y (.f64 z t)))) (cbrt.f64 (fma.f64 x y (.f64 z t)))) (.f64 (.f64 c (fma.f64 b c a)) i)))
	37.0b	(.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 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)))))))
	8.1b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (+.f64 (.f64 (.f64 b c) c) (.f64 a c)) i)))
	42.6b	(.f64 2 (.f64 y x))
	13.3b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (+.f64 (.f64 (pow.f64 c 2) (.f64 i b)) (.f64 c (.f64 i a)))))
	41.5b	(.f64 2 (.f64 t z))
▶	4.6b	(.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))))

Compiler

Compiled 4223 to 1217 computations (71.2% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 i)
✓	1.7b	(.f64 c (.f64 (fma.f64 c b a) (*.f64 (cbrt.f64 i) (cbrt.f64 i))))
✓	1.9b	(.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))
✓	2.8b	(.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))) (cbrt.f64 i))

series782.0ms (6%)

Counts

4 → 156

Calls

4 calls:

448.0ms	(.f64 c (.f64 (fma.f64 c b a) (*.f64 (cbrt.f64 i) (cbrt.f64 i))))
269.0ms	(.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))
34.0ms	(.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))) (cbrt.f64 i))
31.0ms	(cbrt.f64 i)

rewrite31.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:

12.0ms	(.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))) (cbrt.f64 i))
7.0ms	(.f64 c (.f64 (fma.f64 c b a) (*.f64 (cbrt.f64 i) (cbrt.f64 i))))
6.0ms	(.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))
1.0ms	(cbrt.f64 i)

simplify117.0ms (0.9%)

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 → 146

Iterations

Useful iterations: 3 (0.0ms)

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

prune234.0ms (1.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	179	3	182
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	182	10	192

Error

0.7b

Counts

192 → 10

Alt Table

Status	Error	Program
	8.1b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (+.f64 (.f64 (.f64 b c) c) (.f64 a c)) i)))
▶	4.7b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i))))) (cbrt.f64 i))))
	8.9b	(.f64 2 (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x y (.f64 z t))) (cbrt.f64 (fma.f64 x y (.f64 z t)))) (cbrt.f64 (fma.f64 x y (.f64 z t)))) (.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 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.4b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i)))))
	42.6b	(.f64 2 (.f64 y x))
	13.3b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (+.f64 (.f64 (pow.f64 c 2) (.f64 i b)) (.f64 c (.f64 i a)))))
	41.5b	(.f64 2 (.f64 t z))
	6.1b	(.f64 2 (-.f64 (fma.f64 t z (.f64 y x)) (.f64 c (.f64 i (fma.f64 c b a)))))
	4.7b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (.f64 (cbrt.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 (cbrt.f64 i)))))) (cbrt.f64 i))))

Compiler

Compiled 5814 to 1813 computations (68.8% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 (fma.f64 c b a) (*.f64 (cbrt.f64 i) (cbrt.f64 i)))))
✓	1.4b	(.f64 (cbrt.f64 c) (.f64 (fma.f64 c b a) (*.f64 (cbrt.f64 i) (cbrt.f64 i))))
	1.9b	(.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i)))
✓	2.8b	(.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i))))) (cbrt.f64 i))

series955.0ms (7.4%)

Counts

3 → 144

Calls

3 calls:

602.0ms

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

309.0ms

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

44.0ms

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

rewrite59.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

86×	`add-exp-log_binary64`
86×	`pow1_binary64`
63×	`cbrt-unprod_binary64`
63×	`prod-exp_binary64`
63×	`pow-prod-down_binary64`

Counts

3 → 106

Calls

3 calls:

18.0ms

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

13.0ms

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

10.0ms

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

simplify210.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

544×	`distribute-rgt-in_binary64`
538×	`distribute-lft-in_binary64`
475×	`associate-l_binary64`
377×	`associate-r_binary64`
285×	`fma-def_binary64`

Counts

250 → 164

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	221	6445
1	521	4366
2	1824	3889
3	4760	3860
4	4937	3860
5	4995	3860
6	4955	3860

prune251.0ms (1.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	203	2	205
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	203	12	215

Error

0.7b

Counts

215 → 12

Alt Table

Status	Error	Program
	8.1b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (+.f64 (.f64 (.f64 b c) c) (.f64 a c)) i)))
✓	4.7b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i))))) (cbrt.f64 i))))
	6.1b	(.f64 2 (-.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 c) (cbrt.f64 c)) (.f64 (.f64 i (fma.f64 c b a)) (cbrt.f64 c)))))
	22.7b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 a (cbrt.f64 (.f64 c (.f64 i i))))) (cbrt.f64 i))))
▶	4.7b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (.f64 (cbrt.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 (cbrt.f64 i)))))) (cbrt.f64 i))))
	8.9b	(.f64 2 (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x y (.f64 z t))) (cbrt.f64 (fma.f64 x y (.f64 z t)))) (cbrt.f64 (fma.f64 x y (.f64 z t)))) (.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 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.4b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i)))))
	42.6b	(.f64 2 (.f64 y x))
	13.3b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (+.f64 (.f64 (pow.f64 c 2) (.f64 i b)) (.f64 c (.f64 i a)))))
	41.5b	(.f64 2 (.f64 t z))

Compiler

Compiled 8105 to 2258 computations (72.1% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 (cbrt.f64 i))
✓	1.7b	(.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (.f64 (cbrt.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 (cbrt.f64 i))))))
✓	1.9b	(.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (.f64 (cbrt.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 (cbrt.f64 i)))))
✓	2.8b	(.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (.f64 (cbrt.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 (cbrt.f64 i)))))) (cbrt.f64 i))

series869.0ms (6.7%)

Counts

4 → 156

Calls

4 calls:

299.0ms	(.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (.f64 (cbrt.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 (cbrt.f64 i))))))
273.0ms	(.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (.f64 (cbrt.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 (cbrt.f64 i)))))
260.0ms	(cbrt.f64 (cbrt.f64 i))
35.0ms	(.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (.f64 (cbrt.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 (cbrt.f64 i)))))) (cbrt.f64 i))

rewrite47.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

47×	`add-exp-log_binary64`
47×	`pow1_binary64`
31×	`cbrt-unprod_binary64`
31×	`prod-exp_binary64`
31×	`pow-prod-down_binary64`

Counts

4 → 97

Calls

4 calls:

16.0ms	(.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (.f64 (cbrt.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 (cbrt.f64 i)))))) (cbrt.f64 i))
9.0ms	(.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (.f64 (cbrt.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 (cbrt.f64 i))))))
7.0ms	(.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (.f64 (cbrt.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 (cbrt.f64 i)))))
1.0ms	(cbrt.f64 (cbrt.f64 i))

simplify182.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

523×	`distribute-lft-in_binary64`
522×	`distribute-rgt-in_binary64`
390×	`associate-r_binary64`
384×	`associate-l_binary64`
268×	`exp-prod_binary64`

Counts

253 → 156

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	167	6077
1	396	4887
2	1664	4722
3	4556	4716
4	4940	4716
5	5062	4716

prune221.0ms (1.7%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	156	12	168

Error

0.7b

Counts

168 → 12

Alt Table

Status	Error	Program
	8.1b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (+.f64 (.f64 (.f64 b c) c) (.f64 a c)) i)))
✓	4.7b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i))))) (cbrt.f64 i))))
	6.1b	(.f64 2 (-.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 c) (cbrt.f64 c)) (.f64 (.f64 i (fma.f64 c b a)) (cbrt.f64 c)))))
	22.7b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 a (cbrt.f64 (.f64 c (.f64 i i))))) (cbrt.f64 i))))
✓	4.7b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (.f64 (cbrt.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 (cbrt.f64 i)))))) (cbrt.f64 i))))
	8.9b	(.f64 2 (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x y (.f64 z t))) (cbrt.f64 (fma.f64 x y (.f64 z t)))) (cbrt.f64 (fma.f64 x y (.f64 z t)))) (.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 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.4b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 (.f64 (fma.f64 c b a) (.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i)))))
	42.6b	(.f64 2 (.f64 y x))
	13.3b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (+.f64 (.f64 (pow.f64 c 2) (.f64 i b)) (.f64 c (.f64 i a)))))
	41.5b	(.f64 2 (.f64 t z))

Compiler

Compiled 6309 to 1606 computations (74.5% saved)

regimes2.5s (19.6%)

Accuracy

Total 1.3b remaining (82.9%)

Threshold costs 0b (0%)

Counts

98 → 3

Compiler

Compiled 42976 to 27223 computations (36.7% saved)

bsearch4.0ms (0%)

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

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

22×	`*-commutative_binary64`
16×	`+-commutative_binary64`
14×	`sub-neg_binary64`
12×	`distribute-rgt-neg-in_binary64`
12×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	85
1	58	85
2	80	85
3	113	85
4	136	85
5	148	85
6	153	85
7	154	85
8	154	85

end226.0ms (1.7%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 770 to 417 computations (45.8% saved)

Details

analyze2.4s (18.7%)

sample3.1s (23.9%)

simplify219.0ms (1.7%)

prune4.0ms (0%)

localize14.0ms (0.1%)

series98.0ms (0.8%)

rewrite13.0ms (0.1%)

simplify124.0ms (1%)

prune179.0ms (1.4%)

localize18.0ms (0.1%)

series782.0ms (6%)

rewrite31.0ms (0.2%)

simplify117.0ms (0.9%)

prune234.0ms (1.8%)

localize22.0ms (0.2%)

series955.0ms (7.4%)

rewrite59.0ms (0.5%)

simplify210.0ms (1.6%)

prune251.0ms (1.9%)

localize21.0ms (0.2%)

series869.0ms (6.7%)

rewrite47.0ms (0.4%)

simplify182.0ms (1.4%)

prune221.0ms (1.7%)

regimes2.5s (19.6%)

bsearch4.0ms (0%)

simplify7.0ms (0.1%)

end226.0ms (1.7%)

Profiling