Details

analyze338.0ms (2%)

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%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	49.9%	50.1%	5
0%	43.7%	56.3%	6
0%	34.3%	65.7%	7
3.1%	31.2%	65.7%	8
3.1%	28.1%	68.8%	9
4.7%	25%	70.4%	10
7%	20.3%	72.7%	11
10.5%	16.8%	72.7%	12
10.5%	16%	73.5%	13
12.3%	13.8%	73.9%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.4s (8.6%)

Results

1.2s	8252×	body	128	valid
62.0ms	463×	body	128	invalid
2.0ms	3×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify185.0ms (1.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.1%)

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

series878.0ms (5.3%)

Counts

2 → 84

Calls

2 calls:

492.0ms	(fma.f64 x (log.f64 y) (log.f64 t))
386.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

rewrite8.0ms (0%)

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:

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

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

prune69.0ms (0.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	86	5	91
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	86	6	92

Error

0.0b

Counts

92 → 6

Alt Table

Status	Error	Program
	0.5b	(fma.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))) (neg.f64 (+.f64 y z)))
	31.1b	(-.f64 (*.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
▶	0.5b	(-.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))
	18.6b	(-.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (fma.f64 x (log.f64 y) (log.f64 t))) (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	29.0b	(-.f64 (log.f64 (*.f64 t (pow.f64 y x))) (+.f64 y z))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

Compiler

Compiled 1955 to 441 computations (77.4% saved)

localize14.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	(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))))

series3.1s (18.8%)

Counts

3 → 108

Calls

3 calls:

1.4s

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

1.2s

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

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

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

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

simplify160.0ms (1%)

Algorithm

1×	egg-herbie

Rules

859×	`fma-def_binary64`
335×	`unswap-sqr_binary64`
268×	`cancel-sign-sub-inv_binary64`
197×	`associate-r_binary64`
171×	`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

prune459.0ms (2.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	383	3	386
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	385	7	392

Error

0.0b

Counts

392 → 7

Alt Table

Status	Error	Program
	18.6b	(-.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (fma.f64 x (log.f64 y) (log.f64 t))) (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.8b	(-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 4) (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	29.0b	(-.f64 (log.f64 (*.f64 t (pow.f64 y x))) (+.f64 y z))
	0.5b	(-.f64 (.f64 (.f64 (cbrt.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))))) (cbrt.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)))))) (cbrt.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.5b	(fma.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))) (neg.f64 (+.f64 y z)))
	0.6b	(-.f64 (.f64 (.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 (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 15105 to 3984 computations (73.6% saved)

localize18.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.1b	(fma.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))) (neg.f64 (+.f64 y z)))
	0.5b	(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))))

series3.0s (17.9%)

Counts

1 → 48

Calls

1 calls:

3.0s	(fma.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))) (neg.f64 (+.f64 y z)))

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma.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))) (neg.f64 (+.f64 y z)))

simplify116.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

964×	`fma-neg_binary64`
370×	`cancel-sign-sub-inv_binary64`
360×	`sub-neg_binary64`
217×	`exp-diff_binary64`
193×	`exp-prod_binary64`

Counts

58 → 40

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	96	1478
1	250	1307
2	743	1127
3	2691	1125
4	4688	1108
5	4536	1108
6	4999	1108
7	4907	1108

prune482.0ms (2.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	370	0	370
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	370	7	377

Error

0.0b

Counts

377 → 7

Alt Table

Status	Error	Program
	18.6b	(-.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (fma.f64 x (log.f64 y) (log.f64 t))) (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.8b	(-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 4) (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	29.0b	(-.f64 (log.f64 (*.f64 t (pow.f64 y x))) (+.f64 y z))
▶	0.5b	(-.f64 (.f64 (.f64 (cbrt.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))))) (cbrt.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)))))) (cbrt.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.5b	(fma.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))) (neg.f64 (+.f64 y z)))
	0.6b	(-.f64 (.f64 (.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 (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 14602 to 3691 computations (74.7% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(cbrt.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)))))
	0.5b	(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))))
✓	0.5b	(.f64 (cbrt.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))))) (cbrt.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))))))

series2.7s (16.2%)

Counts

2 → 72

Calls

2 calls:

1.5s

(*.f64 (cbrt.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))))) (cbrt.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))))))

1.3s

(cbrt.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)))))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`pow1_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`pow1/3_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`

Counts

2 → 45

Calls

2 calls:

5.0ms

(cbrt.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)))))

5.0ms

(*.f64 (cbrt.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))))) (cbrt.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))))))

simplify110.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

588×	`fma-def_binary64`
284×	`neg-mul-1_binary64`
268×	`cancel-sign-sub-inv_binary64`
261×	`unswap-sqr_binary64`
169×	`associate-r_binary64`

Counts

117 → 130

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	221	3333
1	659	2983
2	2230	2807
3	4441	2612
4	5063	2612

prune1.5s (8.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	986	0	986
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	986	7	993

Error

0.0b

Counts

993 → 7

Alt Table

Status	Error	Program
	18.6b	(-.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (fma.f64 x (log.f64 y) (log.f64 t))) (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.8b	(-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 4) (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	29.0b	(-.f64 (log.f64 (*.f64 t (pow.f64 y x))) (+.f64 y z))
✓	0.5b	(-.f64 (.f64 (.f64 (cbrt.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))))) (cbrt.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)))))) (cbrt.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.5b	(fma.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))) (neg.f64 (+.f64 y z)))
	0.6b	(-.f64 (.f64 (.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 (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 89487 to 14321 computations (84% saved)

regimes1.8s (10.9%)

Accuracy

Total 0.0b remaining (37.8%)

Threshold costs 0.0b (37.8%)

Counts

169 → 1

Compiler

Compiled 49302 to 20863 computations (57.7% saved)

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

end119.0ms (0.7%)

Compiler: Compiled 291 to 109 computations (62.5% saved)

Details

analyze338.0ms (2%)

sample1.4s (8.6%)

simplify185.0ms (1.1%)

prune3.0ms (0%)

localize9.0ms (0.1%)

series878.0ms (5.3%)

rewrite8.0ms (0%)

simplify105.0ms (0.6%)

prune69.0ms (0.4%)

localize14.0ms (0.1%)

series3.1s (18.8%)

rewrite19.0ms (0.1%)

simplify160.0ms (1%)

prune459.0ms (2.7%)

localize18.0ms (0.1%)

series3.0s (17.9%)

rewrite1.0ms (0%)

simplify116.0ms (0.7%)

prune482.0ms (2.9%)

localize17.0ms (0.1%)

series2.7s (16.2%)

rewrite14.0ms (0.1%)

simplify110.0ms (0.7%)

prune1.5s (8.7%)

regimes1.8s (10.9%)

simplify2.0ms (0%)

end119.0ms (0.7%)

Profiling