Details

analyze418.0ms (1.7%)

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
25%	74.9%	0.2%	5
25%	74.9%	0.2%	6
25%	49.9%	25.1%	7
25%	49.9%	25.1%	8
25%	31.2%	43.9%	9
25%	31.2%	43.9%	10
25%	21.8%	53.2%	11
25%	21.8%	53.2%	12
25%	14%	61%	13
25%	14%	61%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample2.8s (11.7%)

Results

1.6s	8255×	body	128	valid
908.0ms	4694×	body	128	invalid
1.0ms	1×	body	1024	valid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify234.0ms (1%)

Algorithm

1×	egg-herbie

Rules

2537×	`fma-neg_binary64`
490×	`associate--r-_binary64`
460×	`associate--l-_binary64`
401×	`distribute-rgt-in_binary64`
373×	`unsub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	22	17
2	59	17
3	145	15
4	313	15
5	593	15
6	714	15
7	958	15
8	1168	15
9	1549	15
10	2712	15
11	2613	15
12	2654	15
13	2663	15
14	2669	15
15	2671	15
16	2759	15
17	2777	15
18	2785	15
19	2807	15
20	2793	15
21	2793	15
22	5107	15

prune3.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

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

Compiler

Compiled 53 to 31 computations (41.5% saved)

localize9.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
✓	0.1b	(fma.f64 x (log.f64 y) (log.f64 t))

series1.4s (5.7%)

Counts

2 → 84

Calls

2 calls:

776.0ms	(fma.f64 x (log.f64 y) (log.f64 t))
594.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
12×	`prod-diff_binary64`
11×	`add-cube-cbrt_binary64`
7×	`add-log-exp_binary64`

Counts

2 → 48

Calls

2 calls:

8.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
0.0ms	(fma.f64 x (log.f64 y) (log.f64 t))

simplify146.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

593×	`fma-def_binary64`
414×	`associate-l_binary64`
385×	`distribute-rgt-in_binary64`
360×	`distribute-lft-in_binary64`
333×	`associate-r_binary64`

Counts

132 → 91

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	115	1952
1	260	1860
2	897	1769
3	4368	1769
4	4817	1762
5	4996	1762

prune120.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	87	4	91
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	87	5	92

Error

0.1b

Counts

92 → 5

Alt Table

Status	Error	Program
	15.0b	(+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (*.f64 (neg.f64 (sqrt.f64 (+.f64 y z))) (sqrt.f64 (+.f64 y z))))
	30.9b	(fma.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (neg.f64 (+.f64 y z)))
	20.9b	(-.f64 (log.f64 t) (+.f64 y z))
▶	0.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

Compiler

Compiled 1869 to 413 computations (77.9% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 x (log.f64 y) (log.f64 t))
✓	0.4b	(.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))
✓	0.5b	(*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))
✓	1.0b	(cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))

series5.0s (20.9%)

Counts

3 → 108

Calls

3 calls:

2.1s

(*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))

2.1s

(cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))

789.0ms

(*.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
23×	`cbrt-prod_binary64`
16×	`pow1/3_binary64`
14×	`*-un-lft-identity_binary64`

Counts

3 → 93

Calls

3 calls:

7.0ms

(*.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))

4.0ms

(*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))

1.0ms

(cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))

simplify179.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

859×	`fma-def_binary64`
335×	`unswap-sqr_binary64`
268×	`cancel-sign-sub-inv_binary64`
197×	`associate-r_binary64`
170×	`associate-l_binary64`

Counts

201 → 202

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	241	4636
1	699	4142
2	2371	3941
3	4344	3706
4	4910	3706
5	5008	3706

prune488.0ms (2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	379	7	386
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	380	11	391

Error

0.0b

Counts

391 → 11

Alt Table

Status	Error	Program
▶	0.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (+.f64 y z))
	20.9b	(-.f64 (log.f64 t) (+.f64 y z))
	0.9b	(-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 5) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	15.0b	(+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (*.f64 (neg.f64 (sqrt.f64 (+.f64 y z))) (sqrt.f64 (+.f64 y z))))
	30.9b	(fma.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (neg.f64 (+.f64 y z)))
	31.1b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (+.f64 y z))
	15.2b	(-.f64 (*.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x (log.f64 t)) 2)) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	8.9b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (/.f64 (neg.f64 (log.f64 y)) (/.f64 -1 x)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))

Compiler

Compiled 15299 to 4100 computations (73.2% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))
✓	0.5b	(cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))
	0.5b	(*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))
	1.0b	(cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))

series3.5s (14.7%)

Counts

2 → 72

Calls

2 calls:

1.9s	(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))
1.6s	(cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`cbrt-prod_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`

Counts

2 → 27

Calls

2 calls:

4.0ms	(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))
1.0ms	(cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))

simplify135.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

601×	`fma-def_binary64`
302×	`cancel-sign-sub-inv_binary64`
256×	`associate-/r/_binary64`
256×	`fma-neg_binary64`
157×	`unswap-sqr_binary64`

Counts

99 → 106

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	228	3100
1	658	2994
2	2185	2860
3	4912	2860
4	4982	2860

prune1.2s (5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	554	3	557
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	556	12	568

Error

0.0b

Counts

568 → 12

Alt Table

Status	Error	Program
	8.8b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (cbrt.f64 (/.f64 (neg.f64 (log.f64 y)) (/.f64 -1 x)))))) (+.f64 y z))
	31.1b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
▶	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 6)) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (+.f64 y z))
	20.9b	(-.f64 (log.f64 t) (+.f64 y z))
	0.9b	(-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 5) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	15.0b	(+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (*.f64 (neg.f64 (sqrt.f64 (+.f64 y z))) (sqrt.f64 (+.f64 y z))))
	30.9b	(fma.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (neg.f64 (+.f64 y z)))
	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 6))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))))))) (+.f64 y z))
	15.2b	(-.f64 (*.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x (log.f64 t)) 2)) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	8.9b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (/.f64 (neg.f64 (log.f64 y)) (/.f64 -1 x)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))

Compiler

Compiled 34736 to 8371 computations (75.9% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))
✓	1.0b	(cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))
	1.0b	(cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))
✓	1.1b	(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 6)

series3.9s (16.5%)

Counts

2 → 72

Calls

2 calls:

2.4s	(cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))
1.5s	(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 6)

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
9×	`unpow-prod-down_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64`

Counts

2 → 39

Calls

2 calls:

4.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 6)
1.0ms	(cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))

simplify264.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

594×	`fma-def_binary64`
370×	`unswap-sqr_binary64`
284×	`cancel-sign-sub-inv_binary64`
159×	`sqr-pow_binary64`
155×	`associate-r_binary64`

Counts

111 → 114

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	236	3103
1	689	2953
2	2374	2837
3	4669	2787
4	4982	2787
5	4935	2787

prune1.3s (5.6%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	366	0	366
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	366	12	378

Error

0.0b

Counts

378 → 12

Alt Table

Status	Error	Program
	8.8b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (cbrt.f64 (/.f64 (neg.f64 (log.f64 y)) (/.f64 -1 x)))))) (+.f64 y z))
	31.1b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
✓	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 6)) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (+.f64 y z))
	20.9b	(-.f64 (log.f64 t) (+.f64 y z))
	0.9b	(-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 5) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	15.0b	(+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (*.f64 (neg.f64 (sqrt.f64 (+.f64 y z))) (sqrt.f64 (+.f64 y z))))
	30.9b	(fma.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (neg.f64 (+.f64 y z)))
	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 6))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))))))) (+.f64 y z))
	15.2b	(-.f64 (*.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x (log.f64 t)) 2)) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	8.9b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (/.f64 (neg.f64 (log.f64 y)) (/.f64 -1 x)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))

Compiler

Compiled 21062 to 6631 computations (68.5% saved)

regimes2.2s (9.4%)

Accuracy

Total 0.1b remaining (54.8%)

Threshold costs 0.1b (54.8%)

Counts

119 → 1

Compiler

Compiled 32718 to 14943 computations (54.3% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	13	15
2	22	15
3	30	15
4	35	15
5	37	15
6	37	15

end372.0ms (1.6%)

Compiler: Compiled 446 to 200 computations (55.2% saved)

Details

analyze418.0ms (1.7%)

sample2.8s (11.7%)

simplify234.0ms (1%)

prune3.0ms (0%)

localize9.0ms (0%)

series1.4s (5.7%)

rewrite12.0ms (0.1%)

simplify146.0ms (0.6%)

prune120.0ms (0.5%)

localize30.0ms (0.1%)

series5.0s (20.9%)

rewrite20.0ms (0.1%)

simplify179.0ms (0.7%)

prune488.0ms (2%)

localize20.0ms (0.1%)

series3.5s (14.7%)

rewrite6.0ms (0%)

simplify135.0ms (0.6%)

prune1.2s (5%)

localize22.0ms (0.1%)

series3.9s (16.5%)

rewrite7.0ms (0%)

simplify264.0ms (1.1%)

prune1.3s (5.6%)

regimes2.2s (9.4%)

simplify5.0ms (0%)

end372.0ms (1.6%)

Profiling