Details

analyze489.0ms (2.9%)

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%	68.6%	31.4%	5
0%	65.5%	34.5%	6
0%	59.2%	40.8%	7
0%	51.4%	48.6%	8
0%	41.3%	58.7%	9
0%	28.4%	71.6%	10
2.3%	22.3%	75.4%	11
2.3%	21%	76.7%	12
2.7%	18%	79.3%	13
2.7%	16.4%	80.8%	14

Compiler

Compiled 22 to 16 computations (27.3% saved)

sample2.4s (14.2%)

Symmetry

(sort x y)

Results

1.5s	8256×	body	128	valid
829.0ms	4425×	body	128	invalid

Compiler

Compiled 65 to 47 computations (27.7% saved)

simplify211.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

2140×	`distribute-rgt-in_binary64`
556×	`associate--r+_binary64`
551×	`associate-+l+_binary64`
551×	`unsub-neg_binary64`
546×	`associate-+r+_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	29	23
2	72	23
3	160	23
4	426	23
5	1097	23
6	1994	23
7	1981	23
8	1956	23
9	1972	23
10	1987	23
11	2037	23
12	2044	23
13	2248	23
14	2651	23
15	2447	23
16	2459	23
17	2465	23
18	2465	23
19	2557	23
20	4649	23
21	4720	23
22	4802	23
23	4878	23
24	7643	23

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.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.3b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))

Compiler

Compiled 76 to 46 computations (39.5% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
✓	0.2b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))
✓	0.6b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

series1.2s (7.1%)

Counts

3 → 144

Calls

3 calls:

662.0ms	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))
311.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
248.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`*-un-lft-identity_binary64`
28×	`pow1_binary64`
25×	`distribute-lft-out_binary64`
25×	`log-pow_binary64`
21×	`prod-diff_binary64`

Counts

3 → 94

Calls

3 calls:

8.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
5.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
0.0ms	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))

simplify153.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

977×	`fma-neg_binary64`
440×	`associate--l+_binary64`
354×	`associate--r+_binary64`
345×	`associate-+l+_binary64`
318×	`unsub-neg_binary64`

Counts

238 → 234

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	362	5343
1	1090	4931
2	4053	4802
3	4581	4780
4	5237	4780

prune201.0ms (1.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	228	6	234
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	229	6	235

Error

0.1b

Counts

235 → 6

Alt Table

Status	Error	Program
	0.8b	(-.f64 (+.f64 (log.f64 z) (.f64 a (log.f64 t))) (+.f64 t (+.f64 (log.f64 (/.f64 1 y)) (.f64 1/2 (log.f64 t)))))
	37.3b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	1.4b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)))) (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	34.1b	(cbrt.f64 (pow.f64 (fma.f64 (log.f64 t) (-.f64 a 1/2) (-.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t)) 3))
▶	0.3b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t))
	53.2b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (-.f64 a 1/2))))

Compiler

Compiled 6255 to 2501 computations (60% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t)
✓	0.1b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t))
✓	0.2b	(*.f64 (log.f64 t) (-.f64 a 1/2))
✓	0.2b	(+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2)))

series2.0s (11.6%)

Counts

4 → 156

Calls

4 calls:

796.0ms	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t))
650.0ms	(+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2)))
476.0ms	(-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t)
64.0ms	(*.f64 (log.f64 t) (-.f64 a 1/2))

rewrite37.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`*-un-lft-identity_binary64`
59×	`add-sqr-sqrt_binary64`
54×	`prod-diff_binary64`
53×	`add-cube-cbrt_binary64`
40×	`associate-+r+_binary64`

Counts

4 → 173

Calls

4 calls:

9.0ms	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t))
6.0ms	(*.f64 (log.f64 t) (-.f64 a 1/2))
5.0ms	(+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2)))
5.0ms	(-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t)

simplify176.0ms (1%)

Algorithm

1×	egg-herbie

Rules

436×	`fma-neg_binary64`
286×	`+-commutative_binary64`
254×	`associate--l+_binary64`
245×	`associate--r+_binary64`
231×	`fma-def_binary64`

Counts

329 → 322

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	430	6957
1	1072	5939
2	3840	5917
3	4964	5917
4	4949	5917

prune375.0ms (2.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	315	7	322
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	318	10	328

Error

0.0b

Counts

328 → 10

Alt Table

Status	Error	Program
	16.2b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2))) t))
	37.3b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	31.7b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (+.f64 (log.f64 z) (.f64 (fma.f64 (sqrt.f64 a) (sqrt.f64 a) (neg.f64 (.f64 1/2 1))) (log.f64 t))) (.f64 (fma.f64 (neg.f64 1/2) 1 (.f64 1/2 1)) (log.f64 t))) t))
	49.4b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (log.f64 t) (sqrt.f64 (-.f64 a 1/2))) (sqrt.f64 (-.f64 a 1/2)))) t))
	35.8b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (sqrt.f64 (log.f64 t)) (.f64 (sqrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
▶	0.7b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
	1.4b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)))) (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	23.0b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (/.f64 (+.f64 (pow.f64 (log.f64 z) 3) (pow.f64 (.f64 (log.f64 t) (-.f64 a 1/2)) 3)) (fma.f64 (log.f64 z) (log.f64 z) (.f64 (log.f64 t) (.f64 (-.f64 a 1/2) (-.f64 (.f64 (log.f64 t) (-.f64 a 1/2)) (log.f64 z)))))) t))
	0.8b	(+.f64 (log.f64 z) (+.f64 (log.f64 y) (-.f64 (*.f64 (log.f64 t) (-.f64 a 1/2)) t)))
	53.2b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (-.f64 a 1/2))))

Compiler

Compiled 9426 to 4458 computations (52.7% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2))))
✓	0.3b	(.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))
✓	0.5b	(cbrt.f64 (log.f64 t))
✓	0.5b	(*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))

series1.5s (8.7%)

Counts

4 → 84

Calls

4 calls:

631.0ms	(+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2))))
482.0ms	(*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))
306.0ms	(cbrt.f64 (log.f64 t))
63.0ms	(.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))

rewrite48.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

104×	`distribute-lft-in_binary64`
104×	`distribute-rgt-in_binary64`
79×	`add-sqr-sqrt_binary64`
73×	`*-un-lft-identity_binary64`
72×	`prod-diff_binary64`

Counts

4 → 211

Calls

4 calls:

10.0ms	(.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))
8.0ms	(+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2))))
5.0ms	(*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))
1.0ms	(cbrt.f64 (log.f64 t))

simplify137.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

760×	`fma-def_binary64`
512×	`fma-neg_binary64`
363×	`associate-l_binary64`
340×	`neg-mul-1_binary64`
332×	`unswap-sqr_binary64`

Counts

295 → 295

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	338	3785
1	550	3238
2	1698	3158
3	3874	3141
4	4921	3141

prune466.0ms (2.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	326	5	331
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	330	11	341

Error

0.0b

Counts

341 → 11

Alt Table

Status	Error	Program
	35.8b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (sqrt.f64 (log.f64 t)) (.f64 (sqrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
	0.7b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t))) (cbrt.f64 (log.f64 t))) (-.f64 a 1/2))) t))
	16.2b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2))) t))
	37.3b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	0.7b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))) (.f64 (cbrt.f64 (cbrt.f64 (log.f64 t))) (cbrt.f64 (log.f64 t)))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
	0.8b	(+.f64 (log.f64 z) (+.f64 (log.f64 y) (-.f64 (*.f64 (log.f64 t) (-.f64 a 1/2)) t)))
	23.0b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (cbrt.f64 (.f64 (.f64 (log.f64 t) (log.f64 t)) (.f64 (.f64 (.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)) (.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))))) t))
	0.8b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (log.f64 t)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (log.f64 t))) (cbrt.f64 (cbrt.f64 (log.f64 t)))) (cbrt.f64 (cbrt.f64 (log.f64 t))))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
▶	0.6b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (pow.f64 (pow.f64 (log.f64 t) 2) 1/3) (.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
	23.0b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (/.f64 (+.f64 (pow.f64 (log.f64 z) 3) (pow.f64 (.f64 (log.f64 t) (-.f64 a 1/2)) 3)) (fma.f64 (log.f64 z) (log.f64 z) (.f64 (log.f64 t) (.f64 (-.f64 a 1/2) (-.f64 (.f64 (log.f64 t) (-.f64 a 1/2)) (log.f64 z)))))) t))
	53.2b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (-.f64 a 1/2))))

Compiler

Compiled 13025 to 5208 computations (60% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (pow.f64 (pow.f64 (log.f64 t) 2) 1/3) (.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))
	0.5b	(cbrt.f64 (log.f64 t))
✓	0.5b	(pow.f64 (log.f64 t) 2)
✓	1.1b	(pow.f64 (pow.f64 (log.f64 t) 2) 1/3)

series418.0ms (2.4%)

Counts

3 → 40

Calls

3 calls:

331.0ms	(pow.f64 (pow.f64 (log.f64 t) 2) 1/3)
64.0ms	(.f64 (pow.f64 (pow.f64 (log.f64 t) 2) 1/3) (.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))
23.0ms	(pow.f64 (log.f64 t) 2)

rewrite27.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`distribute-lft-in_binary64`
52×	`distribute-rgt-in_binary64`
39×	`*-un-lft-identity_binary64`
39×	`add-sqr-sqrt_binary64`
39×	`add-cube-cbrt_binary64`

Counts

3 → 141

Calls

3 calls:

12.0ms	(.f64 (pow.f64 (pow.f64 (log.f64 t) 2) 1/3) (.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))
3.0ms	(pow.f64 (pow.f64 (log.f64 t) 2) 1/3)
1.0ms	(pow.f64 (log.f64 t) 2)

simplify139.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

930×	`fma-def_binary64`
562×	`*-commutative_binary64`
425×	`exp-prod_binary64`
303×	`distribute-rgt-in_binary64`
300×	`unswap-sqr_binary64`

Counts

181 → 186

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	268	4331
1	425	2940
2	1148	2804
3	3007	2804
4	4386	2804
5	4918	2804

prune338.0ms (2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	200	4	204
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	205	10	215

Error

0.0b

Counts

215 → 10

Alt Table

Status	Error	Program
	16.2b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2))) t))
	37.3b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	0.7b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))) (.f64 (cbrt.f64 (cbrt.f64 (log.f64 t))) (cbrt.f64 (log.f64 t)))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
	0.6b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (pow.f64 (pow.f64 (log.f64 t) 2) 1/3) (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))) (cbrt.f64 (cbrt.f64 (log.f64 t)))) (-.f64 a 1/2)))) t))
	0.5b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (pow.f64 (log.f64 t) 2)) (cbrt.f64 (log.f64 t))) (-.f64 a 1/2))) t))
	0.8b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (log.f64 t)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (log.f64 t))) (cbrt.f64 (cbrt.f64 (log.f64 t)))) (cbrt.f64 (cbrt.f64 (log.f64 t))))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
	23.0b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (cbrt.f64 (*.f64 (pow.f64 (-.f64 a 1/2) 3) (pow.f64 (log.f64 t) 3)))) t))
	0.6b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (log.f64 t) 2)) (cbrt.f64 (pow.f64 (log.f64 t) 2))) (cbrt.f64 (pow.f64 (log.f64 t) 2))) 1/3) (.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
	0.8b	(+.f64 (log.f64 z) (+.f64 (log.f64 y) (-.f64 (*.f64 (log.f64 t) (-.f64 a 1/2)) t)))
	53.2b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (-.f64 a 1/2))))

Compiler

Compiled 7408 to 4051 computations (45.3% saved)

regimes6.4s (37.6%)

Accuracy

Total 0.2b remaining (81.5%)

Threshold costs 0.2b (81.5%)

Counts

330 → 1

Compiler

Compiled 122084 to 81296 computations (33.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
5×	`sub-neg_binary64`
2×	`*-commutative_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	26
1	27	26
2	35	26
3	39	26
4	41	26
5	39	26

end237.0ms (1.4%)

Remove: (sort x y)
Compiler: Compiled 407 to 268 computations (34.2% saved)

Details

analyze489.0ms (2.9%)

sample2.4s (14.2%)

simplify211.0ms (1.2%)

prune3.0ms (0%)

localize13.0ms (0.1%)

series1.2s (7.1%)

rewrite19.0ms (0.1%)

simplify153.0ms (0.9%)

prune201.0ms (1.2%)

localize14.0ms (0.1%)

series2.0s (11.6%)

rewrite37.0ms (0.2%)

simplify176.0ms (1%)

prune375.0ms (2.2%)

localize17.0ms (0.1%)

series1.5s (8.7%)

rewrite48.0ms (0.3%)

simplify137.0ms (0.8%)

prune466.0ms (2.7%)

localize20.0ms (0.1%)

series418.0ms (2.4%)

rewrite27.0ms (0.2%)

simplify139.0ms (0.8%)

prune338.0ms (2%)

regimes6.4s (37.6%)

simplify3.0ms (0%)

end237.0ms (1.4%)

Profiling