Details

analyze620.0ms (6.8%)

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%	99.8%	0.2%	5
0%	96.6%	3.4%	6
0%	84.2%	15.8%	7
0%	76.4%	23.6%	8
0%	56.1%	43.9%	9
0%	37%	63%	10
1.2%	29.8%	69%	11
1.4%	27%	71.7%	12
2%	23%	75%	13
2%	19.8%	78.2%	14

Compiler

Compiled 22 to 16 computations (27.3% saved)

sample2.5s (26.9%)

Results

1.4s	8256×	body	128	valid
999.0ms	6221×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

preprocess40.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

519×	`associate-+l+_binary64`
480×	`fma-def_binary64`
432×	`associate-+r+_binary64`
360×	`+-commutative_binary64`
232×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	73	275
1	169	253
2	518	253
3	1589	253
4	4592	253
0	5	5
1	5	5

Stop Event

1×	unsound
1×	node limit

Symmetry

(sort x y)

Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify64.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

571×	`distribute-rgt-in_binary64`
535×	`fma-def_binary64`
386×	`unsub-neg_binary64`
351×	`sub-neg_binary64`
303×	`distribute-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	29	23
2	72	23
3	195	23
4	541	23
5	1626	23
6	3204	23
7	3943	23
8	4335	23
9	4371	23
10	4386	23
11	4440	23
12	4481	23
13	4708	23

Stop Event

1×	node limit

Counts

1 → 2

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

Counts

3 → 2

Alt Table

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

Compiler

Compiled 118 to 78 computations (33.9% saved)

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

series933.0ms (10.2%)

Counts

3 → 116

Calls

30 calls:

159.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))	z	-inf
157.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))	z	0
150.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))	z	inf
63.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))	z	0
60.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))	z	inf

rewrite41.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

188×	`add-sqr-sqrt_binary64`
184×	`log1p-expm1-u_binary64`
184×	`expm1-log1p-u_binary64`
182×	`add-cbrt-cube_binary64`
177×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	41
1	367	39

Stop Event

1×	node limit

Counts

3 → 95

simplify64.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

700×	`fma-def_binary64`
656×	`sub-neg_binary64`
315×	`associate--l+_binary64`
248×	`cancel-sign-sub-inv_binary64`
247×	`associate-+l+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	215	2931
1	737	2674
2	2828	2590

Stop Event

1×	node limit

Counts

211 → 191

prune191.0ms (2.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	181	10	191
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	183	10	193

Error

0.1b

Counts

193 → 10

Alt Table

Status	Error	Program
	16.9b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (/.f64 (*.f64 (fma.f64 a a -1/4) (log.f64 t)) (+.f64 a 1/2)))
	42.2b	(/.f64 1 (/.f64 (+.f64 (pow.f64 (-.f64 (log.f64 (.f64 (+.f64 x y) z)) t) 2) (.f64 (.f64 (+.f64 a -1/2) (log.f64 t)) (-.f64 (.f64 (+.f64 a -1/2) (log.f64 t)) (-.f64 (log.f64 (.f64 (+.f64 x y) z)) t)))) (+.f64 (pow.f64 (-.f64 (log.f64 (.f64 (+.f64 x y) z)) t) 3) (pow.f64 (*.f64 (+.f64 a -1/2) (log.f64 t)) 3))))
	32.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 a -1/2) (log.f64 t)))) 1))
	20.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (cbrt.f64 (pow.f64 (*.f64 (+.f64 a -1/2) (log.f64 t)) 3)))
	16.1b	(fma.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 a -1/2) (log.f64 t))) 2) (cbrt.f64 (.f64 (+.f64 a -1/2) (log.f64 t))) (-.f64 (log.f64 (*.f64 (+.f64 x y) z)) t))
	15.6b	(fma.f64 (+.f64 a -1/2) (log.f64 t) (-.f64 (log.f64 (*.f64 (+.f64 x y) z)) t))
	16.2b	(+.f64 (-.f64 (fma.f64 (sqrt.f64 (log.f64 (+.f64 x y))) (sqrt.f64 (log.f64 (+.f64 x y))) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
	53.3b	(log.f64 (.f64 (/.f64 (.f64 (+.f64 x y) z) (exp.f64 t)) (pow.f64 t (+.f64 a -1/2))))
	31.0b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (pow.f64 (sqrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t))) 2))
▶	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (pow.f64 (cbrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t))) 3))

Compiler

Compiled 5381 to 2458 computations (54.3% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series506.0ms (5.5%)

Counts

3 → 56

Calls

18 calls:

104.0ms	(pow.f64 (cbrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t))) 3)	t	inf
100.0ms	(cbrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t)))	t	inf
61.0ms	(pow.f64 (cbrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t))) 3)	a	0
37.0ms	(cbrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t)))	t	-inf
35.0ms	(pow.f64 (cbrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t))) 3)	t	-inf

rewrite52.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

851×	`log1p-expm1-u_binary64`
851×	`expm1-log1p-u_binary64`
92×	`add-sqr-sqrt_binary64`
91×	`egg-rr`
88×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	29
1	208	29
2	2309	29

Stop Event

1×	node limit

Counts

3 → 91

simplify46.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

617×	`associate-r_binary64`
603×	`associate-l_binary64`
416×	`fma-def_binary64`
236×	`*-commutative_binary64`
134×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	107	1052
1	316	1036
2	1008	1019

Stop Event

1×	node limit

Counts

147 → 99

prune245.0ms (2.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	164	6	170
Fresh	5	4	9
Picked	1	0	1
Done	0	0	0
Total	170	10	180

Error

0.0b

Counts

180 → 10

Alt Table

Status	Error	Program
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (pow.f64 (*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (+.f64 a -1/2))) 3))
	15.6b	(fma.f64 (+.f64 a -1/2) (log.f64 t) (-.f64 (log.f64 (*.f64 (+.f64 x y) z)) t))
	49.6b	(+.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.6b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (cbrt.f64 (+.f64 a -1/2)) (.f64 (cbrt.f64 (log.f64 t)) (pow.f64 (cbrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t))) 2))))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (pow.f64 (cbrt.f64 (log.f64 t)) 2) (.f64 (cbrt.f64 (log.f64 t)) (+.f64 a -1/2))))
	16.2b	(+.f64 (-.f64 (fma.f64 (sqrt.f64 (log.f64 (+.f64 x y))) (sqrt.f64 (log.f64 (+.f64 x y))) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
	53.3b	(log.f64 (.f64 (/.f64 (.f64 (+.f64 x y) z) (exp.f64 t)) (pow.f64 t (+.f64 a -1/2))))
	20.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (cbrt.f64 (*.f64 (pow.f64 (+.f64 a -1/2) 3) (pow.f64 (log.f64 t) 3))))
	0.6b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (log.f64 t) (pow.f64 (cbrt.f64 (+.f64 a -1/2)) 2)) (cbrt.f64 (+.f64 a -1/2))))
	16.9b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (/.f64 (*.f64 (fma.f64 a a -1/4) (log.f64 t)) (+.f64 a 1/2)))

Compiler

Compiled 5295 to 2826 computations (46.6% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series354.0ms (3.9%)

Counts

2 → 28

Calls

9 calls:

101.0ms	(pow.f64 (cbrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t))) 2)	t	inf
97.0ms	(cbrt.f64 (log.f64 t))	t	inf
33.0ms	(pow.f64 (cbrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t))) 2)	t	-inf
30.0ms	(pow.f64 (cbrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t))) 2)	t	0
27.0ms	(cbrt.f64 (log.f64 t))	t	-inf

rewrite41.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

452×	`log-prod_binary64`
259×	`pow2_binary64`
183×	`expm1-udef_binary64`
183×	`log1p-udef_binary64`
181×	`pow1/3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	226	19
2	2588	19

Stop Event

1×	node limit

Counts

2 → 46

simplify37.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

784×	`fma-def_binary64`
699×	`unswap-sqr_binary64`
407×	`fma-neg_binary64`
340×	`associate-r_binary64`
318×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	67	598
1	193	588
2	545	580
3	2800	580

Stop Event

1×	node limit

Counts

74 → 63

prune233.0ms (2.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	169	2	171
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	169	12	181

Error

0.0b

Counts

181 → 12

Alt Table

Status	Error	Program
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (pow.f64 (*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (+.f64 a -1/2))) 3))
	15.6b	(fma.f64 (+.f64 a -1/2) (log.f64 t) (-.f64 (log.f64 (*.f64 (+.f64 x y) z)) t))
	16.9b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (/.f64 (*.f64 (fma.f64 a a -1/4) (log.f64 t)) (+.f64 a 1/2)))
	32.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (cbrt.f64 (+.f64 a -1/2)) (.f64 (cbrt.f64 (log.f64 t)) (exp.f64 (.f64 2/3 (log.f64 (.f64 (log.f64 t) (+.f64 a -1/2))))))))
	49.6b	(+.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.6b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (cbrt.f64 (+.f64 a -1/2)) (.f64 (cbrt.f64 (log.f64 t)) (pow.f64 (cbrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t))) 2))))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (pow.f64 (cbrt.f64 (log.f64 t)) 2) (.f64 (cbrt.f64 (log.f64 t)) (+.f64 a -1/2))))
	16.2b	(+.f64 (-.f64 (fma.f64 (sqrt.f64 (log.f64 (+.f64 x y))) (sqrt.f64 (log.f64 (+.f64 x y))) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
	53.3b	(log.f64 (.f64 (/.f64 (.f64 (+.f64 x y) z) (exp.f64 t)) (pow.f64 t (+.f64 a -1/2))))
	20.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (cbrt.f64 (*.f64 (pow.f64 (+.f64 a -1/2) 3) (pow.f64 (log.f64 t) 3))))
▶	0.6b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (log.f64 t) (pow.f64 (cbrt.f64 (+.f64 a -1/2)) 2)) (cbrt.f64 (+.f64 a -1/2))))
	30.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (cbrt.f64 (+.f64 a -1/2)) (.f64 (.f64 (cbrt.f64 -1) (pow.f64 (log.f64 (/.f64 1 t)) 1/3)) (pow.f64 (cbrt.f64 (.f64 (+.f64 a -1/2) (log.f64 t))) 2))))

Compiler

Compiled 7009 to 3859 computations (44.9% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series241.0ms (2.6%)

Counts

3 → 44

Calls

15 calls:

39.0ms	(.f64 (.f64 (log.f64 t) (pow.f64 (cbrt.f64 (+.f64 a -1/2)) 2)) (cbrt.f64 (+.f64 a -1/2)))	a	-inf
31.0ms	(*.f64 (log.f64 t) (pow.f64 (cbrt.f64 (+.f64 a -1/2)) 2))	t	-inf
31.0ms	(*.f64 (log.f64 t) (pow.f64 (cbrt.f64 (+.f64 a -1/2)) 2))	t	inf
30.0ms	(*.f64 (log.f64 t) (pow.f64 (cbrt.f64 (+.f64 a -1/2)) 2))	t	0
19.0ms	(pow.f64 (cbrt.f64 (+.f64 a -1/2)) 2)	a	-inf

rewrite49.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

489×	`log-prod_binary64`
269×	`pow2_binary64`
191×	`pow1/3_binary64`
189×	`expm1-udef_binary64`
189×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	32
1	229	32
2	2686	32

Stop Event

1×	node limit

Counts

3 → 71

simplify44.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

357×	`associate-r_binary64`
322×	`associate-l_binary64`
249×	`fma-def_binary64`
220×	`cancel-sign-sub-inv_binary64`
196×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	90	722
1	262	720
2	840	706
3	3835	706

Stop Event

1×	node limit

Counts

115 → 97

prune212.0ms (2.3%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	167	1	168
Fresh	1	9	10
Picked	0	1	1
Done	0	1	1
Total	168	12	180

Error

0.0b

Counts

180 → 12

Alt Table

Status	Error	Program
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (pow.f64 (*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (+.f64 a -1/2))) 3))
	15.6b	(fma.f64 (+.f64 a -1/2) (log.f64 t) (-.f64 (log.f64 (*.f64 (+.f64 x y) z)) t))
	17.0b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 a -1/2) 2) (pow.f64 (log.f64 t) 3))) (cbrt.f64 (+.f64 a -1/2))))
	53.3b	(log.f64 (.f64 (/.f64 (.f64 (+.f64 x y) z) (exp.f64 t)) (pow.f64 t (+.f64 a -1/2))))
	16.9b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (/.f64 (*.f64 (fma.f64 a a -1/4) (log.f64 t)) (+.f64 a 1/2)))
	32.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (cbrt.f64 (+.f64 a -1/2)) (.f64 (cbrt.f64 (log.f64 t)) (exp.f64 (.f64 2/3 (log.f64 (.f64 (log.f64 t) (+.f64 a -1/2))))))))
	49.6b	(+.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.6b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (cbrt.f64 (+.f64 a -1/2)) (.f64 (cbrt.f64 (log.f64 t)) (pow.f64 (cbrt.f64 (*.f64 (+.f64 a -1/2) (log.f64 t))) 2))))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (pow.f64 (cbrt.f64 (log.f64 t)) 2) (.f64 (cbrt.f64 (log.f64 t)) (+.f64 a -1/2))))
	16.2b	(+.f64 (-.f64 (fma.f64 (sqrt.f64 (log.f64 (+.f64 x y))) (sqrt.f64 (log.f64 (+.f64 x y))) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
✓	0.6b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (log.f64 t) (pow.f64 (cbrt.f64 (+.f64 a -1/2)) 2)) (cbrt.f64 (+.f64 a -1/2))))
	30.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (cbrt.f64 (+.f64 a -1/2)) (.f64 (.f64 (cbrt.f64 -1) (pow.f64 (log.f64 (/.f64 1 t)) 1/3)) (pow.f64 (cbrt.f64 (.f64 (+.f64 a -1/2) (log.f64 t))) 2))))

Compiler

Compiled 5396 to 2968 computations (45% saved)

regimes2.4s (25.9%)

Accuracy

Total 0.2b remaining (81.9%)

Threshold costs 0.2b (81.9%)

Counts

148 → 1

Compiler

Compiled 54471 to 38789 computations (28.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`+-commutative_binary64`
8×	`*-commutative_binary64`
7×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	33
1	29	33
2	37	33
3	49	33
4	67	33
5	75	33
6	79	33
7	80	33

Stop Event

1×

saturated

end221.0ms (2.4%)

Stop Event

1×

fuel

Remove

(sort x y)

Compiler

Compiled 442 to 317 computations (28.3% saved)

Details

analyze620.0ms (6.8%)

sample2.5s (26.9%)

preprocess40.0ms (0.4%)

simplify64.0ms (0.7%)

prune4.0ms (0%)

localize13.0ms (0.1%)

series933.0ms (10.2%)

rewrite41.0ms (0.4%)

simplify64.0ms (0.7%)

prune191.0ms (2.1%)

localize19.0ms (0.2%)

series506.0ms (5.5%)

rewrite52.0ms (0.6%)

simplify46.0ms (0.5%)

prune245.0ms (2.7%)

localize23.0ms (0.3%)

series354.0ms (3.9%)

rewrite41.0ms (0.5%)

simplify37.0ms (0.4%)

prune233.0ms (2.6%)

localize18.0ms (0.2%)

series241.0ms (2.6%)

rewrite49.0ms (0.5%)

simplify44.0ms (0.5%)

prune212.0ms (2.3%)

regimes2.4s (25.9%)

simplify3.0ms (0%)

end221.0ms (2.4%)

Profiling