Details

analyze532.0ms (4.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%	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 (18.8%)

Symmetry

(sort x y)

Results

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

Compiler

Compiled 65 to 47 computations (27.7% saved)

simplify212.0ms (1.7%)

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

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

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

series971.0ms (7.9%)

Counts

3 → 144

Calls

3 calls:

510.0ms	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))
253.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
207.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

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

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

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

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

series2.0s (16.1%)

Counts

4 → 108

Calls

4 calls:

727.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))
689.0ms	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t)))))
347.0ms	(+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t))))
212.0ms	(*.f64 a (log.f64 (/.f64 1 t)))

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

10.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)))))
6.0ms	(+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t))))
4.0ms	(*.f64 a (log.f64 (/.f64 1 t)))

simplify173.0ms (1.4%)

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

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

Compiler

Compiled 13667 to 7613 computations (44.3% saved)

localize28.0ms (0.2%)

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

series118.0ms (1%)

Counts

2 → 24

Calls

2 calls:

64.0ms	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
54.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	554
2	296	516
3	769	502
4	1799	410
5	4642	410
6	4805	410

prune428.0ms (3.5%)

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

Compiler

Compiled 12045 to 4517 computations (62.5% saved)

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

series26.0ms (0.2%)

Counts

1 → 4

Calls

1 calls:

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

simplify52.0ms (0.4%)

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	189
1	79	183
2	161	153
3	433	118
4	1459	112
5	4357	112
6	5868	112

prune323.0ms (2.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
✓	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))
	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))))
	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.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.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))
	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)))
	55.0b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (-.f64 a 1/2))))
	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))

Compiler

Compiled 8833 to 4509 computations (49% saved)

regimes3.9s (31.8%)

Accuracy

Total 0.3b remaining (92.1%)

Threshold costs 0.3b (92.1%)

Counts

245 → 1

Compiler

Compiled 89430 to 62061 computations (30.6% 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: 2 (0.0ms)

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

end237.0ms (1.9%)

Remove: (sort x y)
Compiler: Compiled 571 to 390 computations (31.7% saved)

Details

analyze532.0ms (4.3%)

sample2.3s (18.8%)

simplify212.0ms (1.7%)

prune4.0ms (0%)

localize13.0ms (0.1%)

series971.0ms (7.9%)

rewrite19.0ms (0.2%)

simplify155.0ms (1.3%)

prune209.0ms (1.7%)

localize17.0ms (0.1%)

series2.0s (16.1%)

rewrite43.0ms (0.3%)

simplify173.0ms (1.4%)

prune421.0ms (3.4%)

localize28.0ms (0.2%)

series118.0ms (1%)

rewrite7.0ms (0.1%)

simplify65.0ms (0.5%)

prune428.0ms (3.5%)

localize28.0ms (0.2%)

series26.0ms (0.2%)

rewrite2.0ms (0%)

simplify52.0ms (0.4%)

prune323.0ms (2.6%)

regimes3.9s (31.8%)

simplify5.0ms (0%)

end237.0ms (1.9%)

Profiling