Details

analyze536.0ms (4.4%)

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.3s (19.1%)

Symmetry

(sort x y)

Results

1.5s	8256×	body	128	valid
764.0ms	4437×	body	128	invalid

Compiler

Compiled 65 to 47 computations (27.7% saved)

simplify251.0ms (2.1%)

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

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.3b

Counts

3 → 2

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))
	0.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))

Compiler

Compiled 118 to 76 computations (35.6% saved)

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

series932.0ms (7.7%)

Counts

3 → 144

Calls

3 calls:

484.0ms	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))
259.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
189.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite20.0ms (0.2%)

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:

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

simplify159.0ms (1.3%)

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

prune207.0ms (1.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	229	5	234
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	231	5	236

Error

0.1b

Counts

236 → 5

Alt Table

Status	Error	Program
	1.3b	(.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))))
	0.3b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 (sqrt.f64 z))) (log.f64 (sqrt.f64 z))) t))
▶	0.3b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t))
	40.7b	(*.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))))
	55.0b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (-.f64 a 1/2))))

Compiler

Compiled 6225 to 2477 computations (60.2% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.9s (15.4%)

Counts

4 → 108

Calls

4 calls:

680.0ms	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t))
662.0ms	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t)))))
327.0ms	(+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t))))
199.0ms	(*.f64 a (log.f64 (/.f64 1 t)))

rewrite41.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`*-un-lft-identity_binary64`
59×	`log-prod_binary64`
52×	`add-sqr-sqrt_binary64`
48×	`add-cube-cbrt_binary64`
36×	`times-frac_binary64`

Counts

4 → 179

Calls

4 calls:

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

simplify277.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

436×	`fma-neg_binary64`
387×	`associate-+l+_binary64`
351×	`associate--l+_binary64`
302×	`associate--r+_binary64`
270×	`fma-def_binary64`

Counts

287 → 374

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	437	8080
1	1313	7213
2	4910	6906
3	5277	6906

prune421.0ms (3.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	367	7	374
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	369	10	379

Error

Counts

379 → 10

Alt Table

Status	Error	Program
	20.8b	(-.f64 (log.f64 (.f64 (+.f64 x y) (.f64 z (pow.f64 (/.f64 1 t) 1/2)))) (+.f64 (*.f64 a (log.f64 (/.f64 1 t))) t))
	40.7b	(*.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))))
	21.2b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (cbrt.f64 (.f64 (.f64 (.f64 a a) a) (.f64 (.f64 (log.f64 (/.f64 1 t)) (log.f64 (/.f64 1 t))) (log.f64 (/.f64 1 t))))) t))
	1.2b	(+.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (.f64 (neg.f64 (.f64 (cbrt.f64 (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t)) (cbrt.f64 (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t)))) (cbrt.f64 (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t))))
	0.6b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 a (.f64 (cbrt.f64 (neg.f64 (log.f64 t))) (cbrt.f64 (neg.f64 (log.f64 t))))) (cbrt.f64 (log.f64 (/.f64 1 t)))) t))
▶	0.3b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (+.f64 (.f64 a (neg.f64 (log.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t))))) (.f64 a (neg.f64 (log.f64 (cbrt.f64 t))))) t))
	28.9b	(/.f64 (-.f64 (.f64 (+.f64 (pow.f64 (log.f64 (+.f64 y x)) 3) (pow.f64 (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t)))) 3)) (-.f64 (.f64 a (log.f64 (/.f64 1 t))) t)) (.f64 (+.f64 (.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x))) (-.f64 (.f64 (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t)))) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))))) (-.f64 (.f64 (.f64 a (log.f64 (/.f64 1 t))) (.f64 a (log.f64 (/.f64 1 t)))) (.f64 t t)))) (.f64 (+.f64 (.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x))) (-.f64 (.f64 (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t)))) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))))) (-.f64 (.f64 a (log.f64 (/.f64 1 t))) t)))
	0.7b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (neg.f64 (log.f64 t)) (cbrt.f64 a))) t))
	0.3b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 (sqrt.f64 z))) (log.f64 (sqrt.f64 z))) t))
	55.0b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (-.f64 a 1/2))))

Compiler

Compiled 13667 to 7613 computations (44.3% saved)

localize31.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t))))
✓	0.5b	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
✓	0.6b	(cbrt.f64 t)
	0.6b	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t)))))

series69.0ms (0.6%)

Counts

2 → 24

Calls

2 calls:

36.0ms	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
33.0ms	(cbrt.f64 t)

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

4.0ms	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
1.0ms	(cbrt.f64 t)

simplify65.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

577×	`distribute-rgt-in_binary64`
561×	`log-prod_binary64`
538×	`distribute-lft-in_binary64`
525×	`unswap-sqr_binary64`
384×	`fma-def_binary64`

Counts

79 → 74

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	58	610
1	98	610
2	296	576
3	769	562
4	1799	460
5	4642	460
6	4805	460

prune392.0ms (3.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	282	1	283
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	284	9	293

Error

Counts

293 → 9

Alt Table

Status	Error	Program
	28.9b	(/.f64 (-.f64 (.f64 (+.f64 (pow.f64 (log.f64 (+.f64 y x)) 3) (pow.f64 (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t)))) 3)) (-.f64 (.f64 a (log.f64 (/.f64 1 t))) t)) (.f64 (+.f64 (.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x))) (-.f64 (.f64 (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t)))) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))))) (-.f64 (.f64 (.f64 a (log.f64 (/.f64 1 t))) (.f64 a (log.f64 (/.f64 1 t)))) (.f64 t t)))) (.f64 (+.f64 (.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x))) (-.f64 (.f64 (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t)))) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))))) (-.f64 (.f64 a (log.f64 (/.f64 1 t))) t)))
▶	0.3b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (+.f64 (.f64 a (neg.f64 (log.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t))))) (.f64 a (neg.f64 (log.f64 (pow.f64 t 1/3))))) t))
	20.8b	(-.f64 (log.f64 (.f64 (+.f64 x y) (.f64 z (pow.f64 (/.f64 1 t) 1/2)))) (+.f64 (*.f64 a (log.f64 (/.f64 1 t))) t))
	40.7b	(*.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.2b	(+.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (.f64 (neg.f64 (.f64 (cbrt.f64 (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t)) (cbrt.f64 (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t)))) (cbrt.f64 (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t))))
	0.6b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 a (.f64 (cbrt.f64 (neg.f64 (log.f64 t))) (cbrt.f64 (neg.f64 (log.f64 t))))) (cbrt.f64 (log.f64 (/.f64 1 t)))) t))
	0.7b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (neg.f64 (log.f64 t)) (cbrt.f64 a))) t))
	0.3b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 (sqrt.f64 z))) (log.f64 (sqrt.f64 z))) t))
	55.0b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (-.f64 a 1/2))))

Compiler

Compiled 12056 to 4513 computations (62.6% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
	0.6b	(cbrt.f64 t)
	0.6b	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t)))))
✓	5.0b	(pow.f64 t 1/3)

series24.0ms (0.2%)

Counts

1 → 4

Calls

1 calls:

23.0ms

(pow.f64 t 1/3)

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`pow-unpow_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`unpow-prod-down_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 20

Calls

1 calls:

1.0ms

(pow.f64 t 1/3)

simplify55.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

999×	`log-prod_binary64`
597×	`unswap-sqr_binary64`
372×	`fma-def_binary64`
263×	`associate-l_binary64`
239×	`log-div_binary64`

Counts

24 → 29

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	41	193
1	79	193
2	161	163
3	433	124
4	1459	118
5	4357	118
6	5868	118

prune438.0ms (3.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	209	1	210
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	210	9	219

Error

Counts

219 → 9

Alt Table

Status	Error	Program
	28.9b	(/.f64 (-.f64 (.f64 (+.f64 (pow.f64 (log.f64 (+.f64 y x)) 3) (pow.f64 (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t)))) 3)) (-.f64 (.f64 a (log.f64 (/.f64 1 t))) t)) (.f64 (+.f64 (.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x))) (-.f64 (.f64 (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t)))) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))))) (-.f64 (.f64 (.f64 a (log.f64 (/.f64 1 t))) (.f64 a (log.f64 (/.f64 1 t)))) (.f64 t t)))) (.f64 (+.f64 (.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x))) (-.f64 (.f64 (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t)))) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))))) (-.f64 (.f64 a (log.f64 (/.f64 1 t))) t)))
✓	0.3b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (+.f64 (.f64 a (neg.f64 (log.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t))))) (.f64 a (neg.f64 (log.f64 (pow.f64 t 1/3))))) t))
	20.8b	(-.f64 (log.f64 (.f64 (+.f64 x y) (.f64 z (pow.f64 (/.f64 1 t) 1/2)))) (+.f64 (*.f64 a (log.f64 (/.f64 1 t))) t))
	40.7b	(*.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 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (neg.f64 (log.f64 t)) (cbrt.f64 a))) t))
	0.3b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 (sqrt.f64 z))) (log.f64 (sqrt.f64 z))) t))
	1.2b	(+.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (.f64 (neg.f64 (.f64 (cbrt.f64 (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t)) (cbrt.f64 (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t)))) (cbrt.f64 (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t))))
	0.4b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (+.f64 (.f64 a (neg.f64 (log.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t))))) (.f64 a (neg.f64 (log.f64 (pow.f64 (pow.f64 t (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3))) (cbrt.f64 1/3)))))) t))
	55.0b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (-.f64 a 1/2))))

Compiler

Compiled 8847 to 4510 computations (49% saved)

regimes3.7s (30.5%)

Accuracy

Total 0.3b remaining (92.1%)

Threshold costs 0.3b (92.1%)

Counts

241 → 1

Compiler

Compiled 87758 to 60785 computations (30.7% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

27×	`distribute-rgt-neg-in_binary64`
18×	`distribute-lft-neg-in_binary64`
18×	`cancel-sign-sub-inv_binary64`
16×	`distribute-neg-in_binary64`
15×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	4294967295
1	51	4294967295
2	77	4294967295
3	101	4294967295
4	143	4294967295
5	168	4294967295
6	175	4294967295
7	171	4294967295

end238.0ms (2%)

Remove: (sort x y)
Compiler: Compiled 579 to 398 computations (31.3% saved)

Details

analyze536.0ms (4.4%)

sample2.3s (19.1%)

simplify251.0ms (2.1%)

prune5.0ms (0%)

localize15.0ms (0.1%)

series932.0ms (7.7%)

rewrite20.0ms (0.2%)

simplify159.0ms (1.3%)

prune207.0ms (1.7%)

localize17.0ms (0.1%)

series1.9s (15.4%)

rewrite41.0ms (0.3%)

simplify277.0ms (2.3%)

prune421.0ms (3.5%)

localize31.0ms (0.3%)

series69.0ms (0.6%)

rewrite7.0ms (0.1%)

simplify65.0ms (0.5%)

prune392.0ms (3.2%)

localize29.0ms (0.2%)

series24.0ms (0.2%)

rewrite2.0ms (0%)

simplify55.0ms (0.5%)

prune438.0ms (3.6%)

regimes3.7s (30.5%)

simplify5.0ms (0%)

end238.0ms (2%)

Profiling