Details

analyze599.0ms (1.5%)

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
6.2%	93.5%	0.2%	5
6.2%	93.5%	0.2%	6
6.2%	81.1%	12.7%	7
9.4%	71.7%	18.9%	8
9.4%	51.4%	39.2%	9
9.4%	36.2%	54.4%	10
9.4%	36.2%	54.4%	11
9.4%	31%	59.7%	12
10.9%	26.8%	62.3%	13
10.9%	20.5%	68.6%	14

Compiler

Compiled 22 to 16 computations (27.3% saved)

sample4.3s (11.1%)

Symmetry

(sort x y)

Results

2.4s	12215×	body	128	invalid
1.7s	8256×	body	128	valid

Compiler

Compiled 65 to 47 computations (27.7% saved)

simplify336.0ms (0.9%)

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

prune6.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.3b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 78 to 48 computations (38.5% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series2.8s (7.3%)

Counts

4 → 164

Calls

4 calls:

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

rewrite91.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

93×	`*-un-lft-identity_binary64`
48×	`pow1_binary64`
45×	`add-sqr-sqrt_binary64`
42×	`prod-diff_binary64`
42×	`log-pow_binary64`

Counts

4 → 176

Calls

4 calls:

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

simplify173.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

450×	`associate--l+_binary64`
370×	`associate-+l+_binary64`
360×	`associate--r+_binary64`
318×	`fma-def_binary64`
286×	`sub-neg_binary64`

Counts

340 → 368

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	469	7429
1	1396	6861
2	5156	6861

prune799.0ms (2.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	358	10	368
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	359	10	369

Error

0.0b

Counts

369 → 10

Alt Table

Status	Error	Program
	0.8b	(+.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)))))
	27.6b	(/.f64 (fma.f64 (-.f64 (pow.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) 3) (pow.f64 t 3)) (+.f64 1/2 a) (.f64 (fma.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) (.f64 t (+.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t))) (.f64 (log.f64 t) (fma.f64 a a -1/4)))) (.f64 (fma.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) (*.f64 t (+.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t))) (+.f64 1/2 a)))
	36.8b	(+.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.4b	(+.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)))))
	0.7b	(+.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))))
	46.6b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (+.f64 a -1/2))))
	31.5b	(/.f64 (+.f64 (pow.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) 3) (pow.f64 (.f64 (-.f64 a 1/2) (log.f64 t)) 3)) (+.f64 (.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (-.f64 (.f64 (.f64 (-.f64 a 1/2) (log.f64 t)) (.f64 (-.f64 a 1/2) (log.f64 t))) (.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t))))))
▶	0.3b	(-.f64 (+.f64 (/.f64 x y) (fma.f64 a (log.f64 t) (log.f64 z))) (+.f64 t (-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y))))
	32.2b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (+.f64 (sqrt.f64 a) (sqrt.f64 1/2)) (.f64 (-.f64 (sqrt.f64 a) (sqrt.f64 1/2)) (log.f64 t))))
	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))))

Compiler

Compiled 10878 to 4227 computations (61.1% saved)

localize37.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.3s (8.5%)

Counts

4 → 156

Calls

4 calls:

1.7s	(-.f64 (+.f64 (/.f64 x y) (fma.f64 a (log.f64 t) (log.f64 z))) (+.f64 t (-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y))))
858.0ms	(fma.f64 a (log.f64 t) (log.f64 z))
658.0ms	(-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y))
69.0ms	(*.f64 (/.f64 x y) (/.f64 x y))

rewrite104.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

77×	`*-un-lft-identity_binary64`
59×	`add-sqr-sqrt_binary64`
45×	`add-cube-cbrt_binary64`
40×	`times-frac_binary64`
24×	`add-log-exp_binary64`

Counts

4 → 160

Calls

4 calls:

33.0ms	(-.f64 (+.f64 (/.f64 x y) (fma.f64 a (log.f64 t) (log.f64 z))) (+.f64 t (-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y))))
22.0ms	(-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y))
14.0ms	(*.f64 (/.f64 x y) (/.f64 x y))
1.0ms	(fma.f64 a (log.f64 t) (log.f64 z))

simplify345.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

687×	`fma-neg_binary64`
265×	`fma-def_binary64`
219×	`associate-l_binary64`
204×	`associate-r_binary64`
178×	`+-commutative_binary64`

Counts

316 → 282

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	388	9615
1	1137	8442
2	4456	8442
3	5042	8442

prune742.0ms (1.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	280	2	282
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	283	9	292

Error

0.0b

Counts

292 → 9

Alt Table

Status	Error	Program
	0.8b	(+.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)))))
	27.6b	(/.f64 (fma.f64 (-.f64 (pow.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) 3) (pow.f64 t 3)) (+.f64 1/2 a) (.f64 (fma.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) (.f64 t (+.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t))) (.f64 (log.f64 t) (fma.f64 a a -1/4)))) (.f64 (fma.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) (*.f64 t (+.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t))) (+.f64 1/2 a)))
▶	0.3b	(+.f64 (-.f64 (+.f64 (/.f64 x y) (fma.f64 (log.f64 t) a (log.f64 z))) (fma.f64 1/2 (fma.f64 (/.f64 x y) (/.f64 x y) (log.f64 t)) t)) (log.f64 y))
	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))))
	36.8b	(+.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.4b	(+.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)))))
	32.2b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (+.f64 (sqrt.f64 a) (sqrt.f64 1/2)) (.f64 (-.f64 (sqrt.f64 a) (sqrt.f64 1/2)) (log.f64 t))))
	25.4b	(/.f64 (-.f64 (.f64 (-.f64 (.f64 (/.f64 x y) (/.f64 x y)) (.f64 (fma.f64 a (log.f64 t) (log.f64 z)) (fma.f64 a (log.f64 t) (log.f64 z)))) (-.f64 t (-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y)))) (.f64 (-.f64 (/.f64 x y) (fma.f64 a (log.f64 t) (log.f64 z))) (-.f64 (.f64 t t) (.f64 (-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y)) (-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y)))))) (.f64 (-.f64 (/.f64 x y) (fma.f64 a (log.f64 t) (log.f64 z))) (-.f64 t (-.f64 (.f64 1/2 (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y)))))
	46.6b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (+.f64 a -1/2))))

Compiler

Compiled 12576 to 3494 computations (72.2% saved)

localize34.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.8s (9.7%)

Counts

4 → 192

Calls

4 calls:

1.5s	(+.f64 (-.f64 (+.f64 (/.f64 x y) (fma.f64 (log.f64 t) a (log.f64 z))) (fma.f64 1/2 (fma.f64 (/.f64 x y) (/.f64 x y) (log.f64 t)) t)) (log.f64 y))
1.2s	(-.f64 (+.f64 (/.f64 x y) (fma.f64 (log.f64 t) a (log.f64 z))) (fma.f64 1/2 (fma.f64 (/.f64 x y) (/.f64 x y) (log.f64 t)) t))
876.0ms	(fma.f64 (log.f64 t) a (log.f64 z))
228.0ms	(fma.f64 (/.f64 x y) (/.f64 x y) (log.f64 t))

rewrite63.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 106

Calls

4 calls:

23.0ms	(+.f64 (-.f64 (+.f64 (/.f64 x y) (fma.f64 (log.f64 t) a (log.f64 z))) (fma.f64 1/2 (fma.f64 (/.f64 x y) (/.f64 x y) (log.f64 t)) t)) (log.f64 y))
15.0ms	(-.f64 (+.f64 (/.f64 x y) (fma.f64 (log.f64 t) a (log.f64 z))) (fma.f64 1/2 (fma.f64 (/.f64 x y) (/.f64 x y) (log.f64 t)) t))
1.0ms	(fma.f64 (/.f64 x y) (/.f64 x y) (log.f64 t))
1.0ms	(fma.f64 (log.f64 t) a (log.f64 z))

simplify374.0ms (1%)

Algorithm

1×	egg-herbie

Rules

551×	`associate-l_binary64`
508×	`sub-neg_binary64`
345×	`fma-neg_binary64`
262×	`cancel-sign-sub-inv_binary64`
238×	`associate--l+_binary64`

Counts

298 → 211

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	261	9393
1	677	8288
2	2614	7708
3	4914	7708

prune576.0ms (1.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	211	0	211
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	211	9	220

Error

0.0b

Counts

220 → 9

Alt Table

Status	Error	Program
	0.8b	(+.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)))))
	27.6b	(/.f64 (fma.f64 (-.f64 (pow.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) 3) (pow.f64 t 3)) (+.f64 1/2 a) (.f64 (fma.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) (.f64 t (+.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t))) (.f64 (log.f64 t) (fma.f64 a a -1/4)))) (.f64 (fma.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) (*.f64 t (+.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t))) (+.f64 1/2 a)))
✓	0.3b	(+.f64 (-.f64 (+.f64 (/.f64 x y) (fma.f64 (log.f64 t) a (log.f64 z))) (fma.f64 1/2 (fma.f64 (/.f64 x y) (/.f64 x y) (log.f64 t)) t)) (log.f64 y))
	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))))
	36.8b	(+.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.4b	(+.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)))))
	32.2b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (+.f64 (sqrt.f64 a) (sqrt.f64 1/2)) (.f64 (-.f64 (sqrt.f64 a) (sqrt.f64 1/2)) (log.f64 t))))
	25.4b	(/.f64 (-.f64 (.f64 (-.f64 (.f64 (/.f64 x y) (/.f64 x y)) (.f64 (fma.f64 a (log.f64 t) (log.f64 z)) (fma.f64 a (log.f64 t) (log.f64 z)))) (-.f64 t (-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y)))) (.f64 (-.f64 (/.f64 x y) (fma.f64 a (log.f64 t) (log.f64 z))) (-.f64 (.f64 t t) (.f64 (-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y)) (-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y)))))) (.f64 (-.f64 (/.f64 x y) (fma.f64 a (log.f64 t) (log.f64 z))) (-.f64 t (-.f64 (.f64 1/2 (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y)))))
	46.6b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (+.f64 a -1/2))))

Compiler

Compiled 9587 to 2661 computations (72.2% saved)

localize45.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.7s (9.6%)

Counts

3 → 60

Calls

3 calls:

2.5s	(+.f64 (.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t))))
1.2s	(*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t)))
64.0ms	(cbrt.f64 t)

rewrite62.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`log-prod_binary64`
36×	`distribute-lft-in_binary64`
36×	`distribute-rgt-in_binary64`
27×	`cbrt-prod_binary64`
24×	`associate-+l+_binary64`

Counts

3 → 105

Calls

3 calls:

25.0ms	(+.f64 (.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t))))
16.0ms	(*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t)))
1.0ms	(cbrt.f64 t)

simplify178.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

302×	`associate-+l+_binary64`
282×	`associate-+r+_binary64`
249×	`associate-l_binary64`
231×	`cancel-sign-sub-inv_binary64`
225×	`associate-r_binary64`

Counts

165 → 191

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	211	2996
1	554	2596
2	2189	2274
3	4867	2270
4	4885	2270

prune878.0ms (2.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	290	3	293
Fresh	5	2	7
Picked	1	0	1
Done	0	1	1
Total	296	6	302

Error

Counts

302 → 6

Alt Table

Status	Error	Program
	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 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 (cbrt.f64 t))))) (*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 (cbrt.f64 t)))))))
	46.6b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (+.f64 a -1/2))))
✓	0.3b	(+.f64 (-.f64 (+.f64 (/.f64 x y) (fma.f64 (log.f64 t) a (log.f64 z))) (fma.f64 1/2 (fma.f64 (/.f64 x y) (/.f64 x y) (log.f64 t)) t)) (log.f64 y))
	25.4b	(/.f64 (-.f64 (.f64 (-.f64 (.f64 (/.f64 x y) (/.f64 x y)) (.f64 (fma.f64 a (log.f64 t) (log.f64 z)) (fma.f64 a (log.f64 t) (log.f64 z)))) (-.f64 t (-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y)))) (.f64 (-.f64 (/.f64 x y) (fma.f64 a (log.f64 t) (log.f64 z))) (-.f64 (.f64 t t) (.f64 (-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y)) (-.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y)))))) (.f64 (-.f64 (/.f64 x y) (fma.f64 a (log.f64 t) (log.f64 z))) (-.f64 t (-.f64 (.f64 1/2 (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (log.f64 t))) (log.f64 y)))))
	0.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (+.f64 (.f64 (.f64 (+.f64 a -1/2) 2) (+.f64 (log.f64 (cbrt.f64 t)) (log.f64 (cbrt.f64 (cbrt.f64 t))))) (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 t))) (+.f64 a -1/2))))
	0.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (fma.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t))) (.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t)))))

Compiler

Compiled 10436 to 4665 computations (55.3% saved)

regimes14.9s (38.4%)

Accuracy

Total 0.4b remaining (92.9%)

Threshold costs 0.4b (92.9%)

Counts

444 → 1

Compiler

Compiled 190846 to 115148 computations (39.7% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	51
1	27	51
2	32	51
3	34	51
4	35	51
5	35	51

end483.0ms (1.2%)

Compiler: Compiled 436 to 223 computations (48.9% saved)

Details

analyze599.0ms (1.5%)

sample4.3s (11.1%)

simplify336.0ms (0.9%)

prune6.0ms (0%)

localize28.0ms (0.1%)

series2.8s (7.3%)

rewrite91.0ms (0.2%)

simplify173.0ms (0.4%)

prune799.0ms (2.1%)

localize37.0ms (0.1%)

series3.3s (8.5%)

rewrite104.0ms (0.3%)

simplify345.0ms (0.9%)

prune742.0ms (1.9%)

localize34.0ms (0.1%)

series3.8s (9.7%)

rewrite63.0ms (0.2%)

simplify374.0ms (1%)

prune576.0ms (1.5%)

localize45.0ms (0.1%)

series3.7s (9.6%)

rewrite62.0ms (0.2%)

simplify178.0ms (0.5%)

prune878.0ms (2.3%)

regimes14.9s (38.4%)

simplify6.0ms (0%)

end483.0ms (1.2%)

Profiling