Details

analyze1.1s (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)

sample126.0ms (0.4%)

Algorithm

1×

intervals

Results

50.0ms	256×	body	128	valid
23.0ms	120×	body	128	nan
0.0ms	2×	body	128	invalid

Compiler

Compiled 48 to 36 computations (25% saved)

simplify231.0ms (0.8%)

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

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

localize25.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series2.2s (7.7%)

Counts

3 → 116

Calls

3 calls:

1.5s	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
542.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
123.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))

rewrite69.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`*-un-lft-identity_binary64`
30×	`associate-+l+_binary64`
30×	`add-sqr-sqrt_binary64`
27×	`pow1_binary64`
24×	`add-cube-cbrt_binary64`

Counts

3 → 122

Calls

3 calls:

24.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
11.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
11.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

simplify247.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

350×	`fma-neg_binary64`
335×	`associate--l+_binary64`
329×	`associate-+l+_binary64`
279×	`fma-def_binary64`
247×	`associate--r+_binary64`

Counts

238 → 276

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	407	5708
1	1225	5002
2	4680	5002
3	4954	5002

prune709.0ms (2.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	265	11	276
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	267	11	278

Error

0.0b

Counts

278 → 11

Alt Table

Status	Error	Program
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2))) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (log.f64 t))))
	0.3b	(+.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (log.f64 (+.f64 y x)) 3) (pow.f64 (log.f64 z) 3)) (fma.f64 (log.f64 z) (-.f64 (log.f64 z) (log.f64 (+.f64 y x))) (.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x))))) t) (.f64 (-.f64 a 1/2) (log.f64 t)))
▶	0.3b	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (-.f64 (log.f64 z) t) (*.f64 (-.f64 a 1/2) (log.f64 t))))
	54.7b	(log.f64 (.f64 (pow.f64 t (+.f64 a -1/2)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))) (cbrt.f64 (log.f64 t))))
	48.5b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (sqrt.f64 (-.f64 a 1/2)) (.f64 (sqrt.f64 (-.f64 a 1/2)) (log.f64 t))))
	18.6b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2)))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t)))) (cbrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	0.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (+.f64 (.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t)))))
	31.9b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (sqrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (sqrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	32.5b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (sqrt.f64 (log.f64 t))) (sqrt.f64 (log.f64 t))))

Compiler

Compiled 8192 to 3297 computations (59.8% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series2.6s (9.2%)

Counts

3 → 107

Calls

3 calls:

1.6s	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (-.f64 (log.f64 z) t) (*.f64 (-.f64 a 1/2) (log.f64 t))))
951.0ms	(+.f64 (-.f64 (log.f64 z) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
99.0ms	(-.f64 (log.f64 z) t)

rewrite64.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64`
31×	`add-sqr-sqrt_binary64`
27×	`add-cube-cbrt_binary64`
24×	`prod-diff_binary64`
23×	`associate-+l+_binary64`

Counts

3 → 117

Calls

3 calls:

20.0ms	(+.f64 (-.f64 (log.f64 z) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
18.0ms	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (-.f64 (log.f64 z) t) (*.f64 (-.f64 a 1/2) (log.f64 t))))
7.0ms	(-.f64 (log.f64 z) t)

simplify239.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

699×	`sub-neg_binary64`
405×	`fma-neg_binary64`
282×	`fma-def_binary64`
259×	`+-commutative_binary64`
243×	`associate--r+_binary64`

Counts

224 → 242

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	351	5282
1	1056	4529
2	4026	4507
3	5321	4507

prune712.0ms (2.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	298	1	299
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	299	11	310

Error

0.0b

Counts

310 → 11

Alt Table

Status	Error	Program
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2))) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (log.f64 t))))
▶	0.3b	(+.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (log.f64 (+.f64 y x)) 3) (pow.f64 (log.f64 z) 3)) (fma.f64 (log.f64 z) (-.f64 (log.f64 z) (log.f64 (+.f64 y x))) (.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x))))) t) (.f64 (-.f64 a 1/2) (log.f64 t)))
✓	0.3b	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (-.f64 (log.f64 z) t) (*.f64 (-.f64 a 1/2) (log.f64 t))))
	54.7b	(log.f64 (.f64 (pow.f64 t (+.f64 a -1/2)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))
	32.5b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (sqrt.f64 (log.f64 t))) (sqrt.f64 (log.f64 t))))
	0.3b	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (fma.f64 (-.f64 a 1/2) (.f64 2 (log.f64 (cbrt.f64 t))) (-.f64 (log.f64 z) t)) (.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2))))
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))) (cbrt.f64 (log.f64 t))))
	48.5b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (sqrt.f64 (-.f64 a 1/2)) (.f64 (sqrt.f64 (-.f64 a 1/2)) (log.f64 t))))
	18.6b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2)))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t)))) (cbrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	31.9b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (sqrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (sqrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))

Compiler

Compiled 8249 to 3310 computations (59.9% saved)

localize54.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x)))
✓	0.5b	(-.f64 (log.f64 z) (log.f64 (+.f64 y x)))
✓	0.7b	(pow.f64 (log.f64 z) 3)
✓	0.8b	(pow.f64 (log.f64 (+.f64 y x)) 3)

series701.0ms (2.5%)

Counts

4 → 88

Calls

4 calls:

475.0ms	(-.f64 (log.f64 z) (log.f64 (+.f64 y x)))
118.0ms	(pow.f64 (log.f64 (+.f64 y x)) 3)
58.0ms	(pow.f64 (log.f64 z) 3)
48.0ms	(*.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x)))

rewrite54.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`*-un-lft-identity_binary64`
37×	`pow1_binary64`
32×	`add-sqr-sqrt_binary64`
28×	`add-cube-cbrt_binary64`
24×	`log-pow_binary64`

Counts

4 → 145

Calls

4 calls:

17.0ms	(-.f64 (log.f64 z) (log.f64 (+.f64 y x)))
14.0ms	(*.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x)))
4.0ms	(pow.f64 (log.f64 (+.f64 y x)) 3)
4.0ms	(pow.f64 (log.f64 z) 3)

simplify312.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

662×	`fma-def_binary64`
275×	`associate-/l*_binary64`
273×	`times-frac_binary64`
190×	`sub-neg_binary64`
186×	`associate-/r*_binary64`

Counts

233 → 300

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	650	6624
1	1934	5896
2	4837	5896
3	5002	5896

prune1.1s (3.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	300	0	300
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	300	11	311

Error

0.0b

Counts

311 → 11

Alt Table

Status	Error	Program
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2))) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (log.f64 t))))
✓	0.3b	(+.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (log.f64 (+.f64 y x)) 3) (pow.f64 (log.f64 z) 3)) (fma.f64 (log.f64 z) (-.f64 (log.f64 z) (log.f64 (+.f64 y x))) (.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x))))) t) (.f64 (-.f64 a 1/2) (log.f64 t)))
✓	0.3b	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (-.f64 (log.f64 z) t) (*.f64 (-.f64 a 1/2) (log.f64 t))))
	54.7b	(log.f64 (.f64 (pow.f64 t (+.f64 a -1/2)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))
	32.5b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (sqrt.f64 (log.f64 t))) (sqrt.f64 (log.f64 t))))
▶	0.3b	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (fma.f64 (-.f64 a 1/2) (.f64 2 (log.f64 (cbrt.f64 t))) (-.f64 (log.f64 z) t)) (.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2))))
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))) (cbrt.f64 (log.f64 t))))
	48.5b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (sqrt.f64 (-.f64 a 1/2)) (.f64 (sqrt.f64 (-.f64 a 1/2)) (log.f64 t))))
	18.6b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2)))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t)))) (cbrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	31.9b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (sqrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (sqrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))

Compiler

Compiled 18384 to 7976 computations (56.6% saved)

localize40.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series6.9s (24.5%)

Counts

4 → 108

Calls

4 calls:

4.1s	(+.f64 (fma.f64 (-.f64 a 1/2) (.f64 2 (log.f64 (cbrt.f64 t))) (-.f64 (log.f64 z) t)) (.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2)))
1.5s	(fma.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t))) (-.f64 (log.f64 z) t))
1.3s	(*.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2))
63.0ms	(cbrt.f64 t)

rewrite50.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64`
38×	`*-un-lft-identity_binary64`
36×	`prod-diff_binary64`
36×	`add-cube-cbrt_binary64`
26×	`distribute-lft-in_binary64`

Counts

4 → 118

Calls

4 calls:

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

simplify247.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

723×	`fma-neg_binary64`
606×	`distribute-rgt-in_binary64`
554×	`distribute-lft-in_binary64`
353×	`cancel-sign-sub-inv_binary64`
195×	`sub-neg_binary64`

Counts

226 → 211

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	257	4984
1	510	4218
2	1714	3607
3	4804	3552
4	5041	3552

prune649.0ms (2.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	227	2	229
Fresh	1	7	8
Picked	1	0	1
Done	0	2	2
Total	229	11	240

Error

Counts

240 → 11

Alt Table

Status	Error	Program
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))) (cbrt.f64 (log.f64 t))))
	0.3b	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (+.f64 (.f64 (log.f64 (cbrt.f64 t)) (+.f64 a (fma.f64 a 2 -1))) (-.f64 (log.f64 z) t)) (.f64 (neg.f64 1/2) (log.f64 (cbrt.f64 t)))))
✓	0.3b	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (-.f64 (log.f64 z) t) (*.f64 (-.f64 a 1/2) (log.f64 t))))
	54.7b	(log.f64 (.f64 (pow.f64 t (+.f64 a -1/2)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))
	48.5b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (sqrt.f64 (-.f64 a 1/2)) (.f64 (sqrt.f64 (-.f64 a 1/2)) (log.f64 t))))
✓	0.3b	(+.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (log.f64 (+.f64 y x)) 3) (pow.f64 (log.f64 z) 3)) (fma.f64 (log.f64 z) (-.f64 (log.f64 z) (log.f64 (+.f64 y x))) (.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x))))) t) (.f64 (-.f64 a 1/2) (log.f64 t)))
	18.6b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2)))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t)))) (cbrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	0.3b	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (fma.f64 (-.f64 a 1/2) (.f64 2 (log.f64 (pow.f64 t 1/3))) (-.f64 (log.f64 z) t)) (.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2))))
	31.9b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (sqrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (sqrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	32.5b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (sqrt.f64 (log.f64 t))) (sqrt.f64 (log.f64 t))))

Compiler

Compiled 8243 to 4028 computations (51.1% saved)

regimes5.9s (21%)

Accuracy

Total 0.2b remaining (93.9%)

Threshold costs 0.2b (93.9%)

Counts

219 → 1

Compiler

Compiled 69299 to 46978 computations (32.2% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	28
1	23	28
2	25	28
3	26	28
4	26	28

end18.0ms (0.1%)

Remove: (sort x y)
Compiler: Compiled 69 to 45 computations (34.8% saved)

sample3.9s (13.6%)

Algorithm

1×

intervals

Results

1.7s	8000×	body	128	valid
795.0ms	4368×	body	128	nan
7.0ms	37×	body	128	invalid

Compiler

Compiled 377 to 254 computations (32.6% saved)

Details

analyze1.1s (4%)

sample126.0ms (0.4%)

simplify231.0ms (0.8%)

prune7.0ms (0%)

localize25.0ms (0.1%)

series2.2s (7.7%)

rewrite69.0ms (0.2%)

simplify247.0ms (0.9%)

prune709.0ms (2.5%)

localize29.0ms (0.1%)

series2.6s (9.2%)

rewrite64.0ms (0.2%)

simplify239.0ms (0.8%)

prune712.0ms (2.5%)

localize54.0ms (0.2%)

series701.0ms (2.5%)

rewrite54.0ms (0.2%)

simplify312.0ms (1.1%)

prune1.1s (3.8%)

localize40.0ms (0.1%)

series6.9s (24.5%)

rewrite50.0ms (0.2%)

simplify247.0ms (0.9%)

prune649.0ms (2.3%)

regimes5.9s (21%)

simplify6.0ms (0%)

end18.0ms (0.1%)

sample3.9s (13.6%)

Profiling