Details

analyze1.7s (7.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
7.8%	92%	0.2%	8
16.4%	83.4%	0.2%	9
23.8%	76%	0.2%	10
25.1%	74.7%	0.2%	11
38.1%	59.4%	2.5%	12
41.8%	55.3%	2.9%	13
46.5%	50.3%	3.1%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample28.0ms (0.1%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
3.0ms	70×	body	128	invalid

Compiler

Compiled 35 to 25 computations (28.6% saved)

simplify303.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

2150×	`fma-neg_binary64`
1161×	`div-sub_binary64`
897×	`fma-def_binary64`
414×	`associate-/l*_binary64`
410×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	18	16
2	33	16
3	65	16
4	113	16
5	197	16
6	397	16
7	814	16
8	1449	16
9	1832	16
10	1941	16
11	2036	16
12	2110	16
13	2224	16
14	2174	16
15	2652	16
16	2330	16
17	2358	16
18	2376	16
19	2392	16
20	2384	16
21	2468	16
22	2468	16
23	2388	16
24	2450	16
25	2428	16
26	2426	16
27	2428	16
28	2430	16
29	2440	16
30	2440	16
31	2255	16

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

4.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	4.9b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

Compiler

Compiled 45 to 30 computations (33.3% saved)

localize14.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
✓	0.0b	(/.f64 t (-.f64 1 z))
✓	4.6b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

series110.0ms (0.5%)

Counts

3 → 78

Calls

3 calls:

62.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
29.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
18.0ms	(/.f64 t (-.f64 1 z))

rewrite759.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Rules

1447×	`times-frac_binary64`
1363×	`add-sqr-sqrt_binary64`
1359×	`*-un-lft-identity_binary64`
947×	`add-cube-cbrt_binary64`
936×	`prod-diff_binary64`

Counts

3 → 1117

Calls

3 calls:

81.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
54.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
8.0ms	(/.f64 t (-.f64 1 z))

simplify2.3s (9.6%)

Algorithm

1×	egg-herbie

Rules

854×	`times-frac_binary64`
575×	`associate-l_binary64`
560×	`associate-r_binary64`
316×	`*-commutative_binary64`
254×	`distribute-rgt-in_binary64`

Counts

1195 → 1129

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	1019	86414
1	1779	44281
2	4035	42577
3	5036	42577

prune2.6s (11.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	1121	8	1129
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	1122	8	1130

Error

0.0b

Counts

1130 → 8

Alt Table

Status	Error	Program
	40.3b	(/.f64 (.f64 x (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3))) (+.f64 (.f64 (/.f64 y z) (/.f64 y z)) (+.f64 (.f64 (/.f64 t (-.f64 1 z)) (/.f64 t (-.f64 1 z))) (.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))))
	21.2b	(/.f64 x (/.f64 z (+.f64 y t)))
	32.6b	(.f64 (.f64 x (sqrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) (sqrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
	5.9b	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
	36.2b	(.f64 x (/.f64 (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3)) (fma.f64 (/.f64 y z) (/.f64 y z) (.f64 (/.f64 t (-.f64 1 z)) (+.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))))
	22.0b	(/.f64 (.f64 x (-.f64 (.f64 y (-.f64 1 z)) (.f64 z t))) (.f64 z (-.f64 1 z)))
▶	5.0b	(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
	35.8b	(.f64 x (+.f64 (fma.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) z) (neg.f64 (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (cbrt.f64 (/.f64 t (-.f64 1 z))))))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 t (-.f64 1 z)))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (cbrt.f64 (/.f64 t (-.f64 1 z)))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (cbrt.f64 (/.f64 t (-.f64 1 z))))))))

Compiler

Compiled 58956 to 31934 computations (45.8% saved)

localize17.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(/.f64 t (-.f64 1 z))
✓	0.1b	(fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z))))
✓	4.6b	(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))

series97.0ms (0.4%)

Counts

2 → 84

Calls

2 calls:

70.0ms	(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
27.0ms	(fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z))))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-exp-log_binary64`

Counts

2 → 32

Calls

2 calls:

5.0ms	(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
1.0ms	(fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z))))

simplify162.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

797×	`fma-neg_binary64`
432×	`cancel-sign-sub-inv_binary64`
422×	`fma-def_binary64`
234×	`associate-/l/_binary64`
218×	`associate-l_binary64`

Counts

116 → 90

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	112	2138
1	274	1926
2	826	1862
3	2632	1827
4	4572	1827
5	4974	1827

prune270.0ms (1.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	150	2	152
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	150	10	160

Error

0.0b

Counts

160 → 10

Alt Table

Status	Error	Program
	40.3b	(/.f64 (.f64 x (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3))) (+.f64 (.f64 (/.f64 y z) (/.f64 y z)) (+.f64 (.f64 (/.f64 t (-.f64 1 z)) (/.f64 t (-.f64 1 z))) (.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))))
	21.2b	(/.f64 x (/.f64 z (+.f64 y t)))
	6.0b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z))))))
✓	5.0b	(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
	22.9b	(*.f64 (/.f64 x z) (+.f64 y t))
	32.6b	(.f64 (.f64 x (sqrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) (sqrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
▶	5.9b	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
	36.2b	(.f64 x (/.f64 (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3)) (fma.f64 (/.f64 y z) (/.f64 y z) (.f64 (/.f64 t (-.f64 1 z)) (+.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))))
	22.0b	(/.f64 (.f64 x (-.f64 (.f64 y (-.f64 1 z)) (.f64 z t))) (.f64 z (-.f64 1 z)))
	35.8b	(.f64 x (+.f64 (fma.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) z) (neg.f64 (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (cbrt.f64 (/.f64 t (-.f64 1 z))))))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 t (-.f64 1 z)))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (cbrt.f64 (/.f64 t (-.f64 1 z)))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (cbrt.f64 (/.f64 t (-.f64 1 z))))))))

Compiler

Compiled 3496 to 1982 computations (43.3% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
✓	0.5b	(*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
✓	0.8b	(.f64 x (.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))))
✓	7.1b	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

series2.7s (11.6%)

Counts

4 → 168

Calls

4 calls:

1.9s	(.f64 x (.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))))
557.0ms	(*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
202.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
97.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))

rewrite487.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Rules

195×	`cbrt-div_binary64`
106×	`*-un-lft-identity_binary64`
99×	`frac-times_binary64`
97×	`add-sqr-sqrt_binary64`
96×	`associate-*r/_binary64`

Counts

4 → 237

Calls

4 calls:

124.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
117.0ms	(.f64 x (.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))))
81.0ms	(*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
33.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

simplify740.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

647×	`*-commutative_binary64`
255×	`fma-def_binary64`
203×	`associate-r_binary64`
202×	`associate-*r/_binary64`
199×	`associate-/l*_binary64`

Counts

405 → 543

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1498	31558
1	4955	31558
2	4996	31558

prune2.6s (10.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	729	0	729
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	729	10	739

Error

0.0b

Counts

739 → 10

Alt Table

Status	Error	Program
	40.3b	(/.f64 (.f64 x (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3))) (+.f64 (.f64 (/.f64 y z) (/.f64 y z)) (+.f64 (.f64 (/.f64 t (-.f64 1 z)) (/.f64 t (-.f64 1 z))) (.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))))
	21.2b	(/.f64 x (/.f64 z (+.f64 y t)))
▶	6.0b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z))))))
✓	5.0b	(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
	22.9b	(*.f64 (/.f64 x z) (+.f64 y t))
	32.6b	(.f64 (.f64 x (sqrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) (sqrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
✓	5.9b	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
	36.2b	(.f64 x (/.f64 (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3)) (fma.f64 (/.f64 y z) (/.f64 y z) (.f64 (/.f64 t (-.f64 1 z)) (+.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))))
	22.0b	(/.f64 (.f64 x (-.f64 (.f64 y (-.f64 1 z)) (.f64 z t))) (.f64 z (-.f64 1 z)))
	35.8b	(.f64 x (+.f64 (fma.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) z) (neg.f64 (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (cbrt.f64 (/.f64 t (-.f64 1 z))))))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 t (-.f64 1 z)))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (cbrt.f64 (/.f64 t (-.f64 1 z)))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (cbrt.f64 (/.f64 t (-.f64 1 z))))))))

Compiler

Compiled 62019 to 38338 computations (38.2% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
✓	0.6b	(cbrt.f64 x)
✓	2.5b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z))))))
✓	2.5b	(*.f64 (cbrt.f64 x) (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))

series590.0ms (2.5%)

Counts

4 → 120

Calls

4 calls:

326.0ms	(*.f64 (cbrt.f64 x) (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
130.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z))))))
70.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
64.0ms	(cbrt.f64 x)

rewrite48.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64`
25×	`pow1_binary64`
23×	`cbrt-prod_binary64`
20×	`add-exp-log_binary64`
16×	`*-un-lft-identity_binary64`

Counts

4 → 109

Calls

4 calls:

16.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z))))))
9.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
7.0ms	(*.f64 (cbrt.f64 x) (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
1.0ms	(cbrt.f64 x)

simplify267.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

698×	`fma-neg_binary64`
547×	`times-frac_binary64`
322×	`associate-l_binary64`
278×	`associate-r_binary64`
256×	`unswap-sqr_binary64`

Counts

229 → 199

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	198	3998
1	489	3450
2	1892	3327
3	3769	3312
4	4912	3312
5	5000	3312
6	4950	3312

prune196.0ms (0.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	235	0	235
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	235	10	245

Error

0.0b

Counts

245 → 10

Alt Table

Status	Error	Program
	40.3b	(/.f64 (.f64 x (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3))) (+.f64 (.f64 (/.f64 y z) (/.f64 y z)) (+.f64 (.f64 (/.f64 t (-.f64 1 z)) (/.f64 t (-.f64 1 z))) (.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))))
	21.2b	(/.f64 x (/.f64 z (+.f64 y t)))
✓	6.0b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z))))))
✓	5.0b	(*.f64 x (fma.f64 y (/.f64 1 z) (neg.f64 (/.f64 t (-.f64 1 z)))))
	22.9b	(*.f64 (/.f64 x z) (+.f64 y t))
	32.6b	(.f64 (.f64 x (sqrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) (sqrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
✓	5.9b	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
	36.2b	(.f64 x (/.f64 (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3)) (fma.f64 (/.f64 y z) (/.f64 y z) (.f64 (/.f64 t (-.f64 1 z)) (+.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))))
	22.0b	(/.f64 (.f64 x (-.f64 (.f64 y (-.f64 1 z)) (.f64 z t))) (.f64 z (-.f64 1 z)))
	35.8b	(.f64 x (+.f64 (fma.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) z) (neg.f64 (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (cbrt.f64 (/.f64 t (-.f64 1 z))))))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 t (-.f64 1 z)))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (cbrt.f64 (/.f64 t (-.f64 1 z)))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (.f64 (cbrt.f64 (/.f64 t (-.f64 1 z))) (cbrt.f64 (/.f64 t (-.f64 1 z))))))))

Compiler

Compiled 6125 to 2914 computations (52.4% saved)

regimes6.4s (27.5%)

Accuracy

Total 1.2b remaining (97.9%)

Threshold costs 0b (0%)

Counts

309 → 3

Compiler

Compiled 68792 to 45146 computations (34.4% saved)

bsearch16.0ms (0.1%)

Compiler: Compiled 13 to 9 computations (30.8% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
7×	`+-commutative_binary64`
7×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	79
1	48	79
2	59	79
3	66	79
4	71	79
5	72	79
6	69	79

end1.0ms (0%)

Compiler: Compiled 57 to 35 computations (38.6% saved)

sample954.0ms (4.1%)

Algorithm

1×

intervals

Results

367.0ms	8000×	body	128	valid
78.0ms	1790×	body	128	invalid

Compiler

Compiled 395 to 253 computations (35.9% saved)

Details

analyze1.7s (7.3%)

sample28.0ms (0.1%)

simplify303.0ms (1.3%)

prune2.0ms (0%)

localize14.0ms (0.1%)

series110.0ms (0.5%)

rewrite759.0ms (3.2%)

simplify2.3s (9.6%)

prune2.6s (11.2%)

localize17.0ms (0.1%)

series97.0ms (0.4%)

rewrite8.0ms (0%)

simplify162.0ms (0.7%)

prune270.0ms (1.2%)

localize24.0ms (0.1%)

series2.7s (11.6%)

rewrite487.0ms (2.1%)

simplify740.0ms (3.2%)

prune2.6s (10.9%)

localize24.0ms (0.1%)

series590.0ms (2.5%)

rewrite48.0ms (0.2%)

simplify267.0ms (1.1%)

prune196.0ms (0.8%)

regimes6.4s (27.5%)

bsearch16.0ms (0.1%)

simplify5.0ms (0%)

end1.0ms (0%)

sample954.0ms (4.1%)

Profiling