Details

analyze1.8s (5.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	74.7%	25.3%	8
0%	74.7%	25.3%	9
0%	65.4%	34.6%	10
0%	51.4%	48.6%	11
0%	51.4%	48.6%	12
0%	51.4%	48.6%	13
0%	51.4%	48.6%	14

Compiler

Compiled 30 to 21 computations (30% saved)

sample137.0ms (0.4%)

Algorithm

1×

intervals

Results

32.0ms	304×	body	128	nan
29.0ms	256×	body	128	valid
4.0ms	37×	body	128	invalid

Compiler

Compiled 67 to 49 computations (26.9% saved)

simplify84.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2664×	`associate-+l+_binary64`
1041×	`associate-+r+_binary64`
923×	`+-commutative_binary64`
750×	`fma-def_binary64`
5×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	30
1	41	26
2	109	26
3	376	26
4	1118	26
5	1592	26
6	1698	26
7	1698	26
8	1698	26
9	1698	26
10	2706	26
11	2958	26
12	2958	26
13	2910	26
14	2910	26
15	2540	26
16	2524	26

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

Counts

3 → 2

Alt Table

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

Status

Error

Program

▶

0.1b

(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))

0.1b

(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b 1/2) (log.f64 c))) (*.f64 y i))

Compiler

Compiled 157 to 101 computations (35.7% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite48.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-cube-cbrt_binary64`
17×	`fma-udef_binary64`
16×	`pow1_binary64`
16×	`add-sqr-sqrt_binary64`
14×	`add-log-exp_binary64`

Counts

4 → 143

Calls

4 calls:

13.0ms	(+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)
11.0ms	(fma.f64 x (log.f64 y) z)
9.0ms	(fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))
8.0ms	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))

series3.5s (11%)

Counts

4 → 276

Calls

4 calls:

1.5s	(fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))
1.2s	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))
414.0ms	(+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)
333.0ms	(fma.f64 x (log.f64 y) z)

simplify248.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

353×	`cancel-sign-sub-inv_binary64`
280×	`associate--r+_binary64`
268×	`fma-def_binary64`
264×	`fma-neg_binary64`
247×	`associate-+r+_binary64`

Counts

419 → 737

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	281	8426
1	771	8332
2	2766	7721
3	4762	7721
4	4954	7721

prune296.0ms (0.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	730	7	737
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	732	7	739

Error

0.1b

Counts

739 → 7

Alt Table

Status	Error	Program
	1.0b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (.f64 (.f64 (cbrt.f64 (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)) (cbrt.f64 (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (cbrt.f64 (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
▶	0.1b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	53.2b	(fma.f64 y i (cbrt.f64 (.f64 (.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)) (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
	1.2b	(fma.f64 y i (pow.f64 (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) 3))
	32.9b	(pow.f64 (sqrt.f64 (fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))) 2)
	40.2b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 (log.f64 y) x) 3) (pow.f64 z 3)) (+.f64 (.f64 z z) (.f64 (.f64 (log.f64 y) x) (-.f64 (*.f64 (log.f64 y) x) z)))) t) a)))
	45.6b	(fma.f64 y i (.f64 (cbrt.f64 (.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)) (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))

Compiler

Compiled 7352 to 2443 computations (66.8% saved)

localize36.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite120.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
20×	`add-cube-cbrt_binary64`
18×	`add-log-exp_binary64`
16×	`add-exp-log_binary64`

Counts

4 → 155

Calls

4 calls:

36.0ms	(+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z))))
27.0ms	(*.f64 (log.f64 y) x)
25.0ms	(*.f64 (log.f64 (/.f64 1 c)) b)
18.0ms	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))

series6.4s (20.1%)

Counts

4 → 150

Calls

4 calls:

3.0s	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
1.5s	(+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z))))
1.2s	(*.f64 (log.f64 (/.f64 1 c)) b)
747.0ms	(*.f64 (log.f64 y) x)

simplify358.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

551×	`cancel-sign-sub-inv_binary64`
479×	`fma-neg_binary64`
276×	`fma-def_binary64`
252×	`associate-+r+_binary64`
187×	`associate-+l+_binary64`

Counts

305 → 524

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	289	6776
1	739	6086
2	2893	6036
3	4882	6036
4	5014	6036

prune625.0ms (2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	519	5	524
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	522	9	531

Error

0.0b

Counts

531 → 9

Alt Table

Status	Error	Program
▶	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	33.0b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (pow.f64 (sqrt.f64 (.f64 (log.f64 y) x)) 2) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	1.2b	(fma.f64 y i (pow.f64 (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) 3))
	31.2b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (pow.f64 (sqrt.f64 (*.f64 (log.f64 (/.f64 1 c)) b)) 2)))
	1.0b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (.f64 (.f64 (cbrt.f64 (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)) (cbrt.f64 (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (cbrt.f64 (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
	48.7b	(fma.f64 y i (-.f64 (cbrt.f64 (pow.f64 (+.f64 (fma.f64 1/2 (neg.f64 (log.f64 c)) (+.f64 t (fma.f64 x (log.f64 y) z))) a) 3)) (*.f64 (log.f64 (/.f64 1 c)) b)))
	40.2b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 (log.f64 y) x) 3) (pow.f64 z 3)) (+.f64 (.f64 z z) (.f64 (.f64 (log.f64 y) x) (-.f64 (*.f64 (log.f64 y) x) z)))) t) a)))
	45.6b	(fma.f64 y i (.f64 (cbrt.f64 (.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)) (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (.f64 (.f64 (neg.f64 (log.f64 c)) (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (cbrt.f64 b))))

Compiler

Compiled 9027 to 4364 computations (51.7% saved)

localize47.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
	0.6b	(cbrt.f64 x)
	0.6b	(cbrt.f64 x)
✓	0.6b	(cbrt.f64 x)

rewrite56.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`pow1/3_binary64`
14×	`add-cube-cbrt_binary64`
9×	`add-sqr-sqrt_binary64`
8×	`add-exp-log_binary64`
6×	`log1p-expm1-u_binary64`

Counts

2 → 72

Calls

2 calls:

27.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
18.0ms	(cbrt.f64 x)

series974.0ms (3.1%)

Counts

2 → 24

Calls

2 calls:

504.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
470.0ms	(cbrt.f64 x)

simplify141.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

928×	`fma-def_binary64`
860×	`log-prod_binary64`
504×	`exp-prod_binary64`
299×	`*-commutative_binary64`
263×	`associate-l_binary64`

Counts

96 → 155

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	57	550
1	102	494
2	246	462
3	874	455
4	1999	401
5	4161	401
6	4605	393
7	4907	393

prune487.0ms (1.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	348	2	350
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	348	11	359

Error

0.0b

Counts

359 → 11

Alt Table

Status	Error	Program
	28.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (log.f64 y) (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 x))) (cbrt.f64 x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
✓	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (log.f64 y) (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 x))) (cbrt.f64 x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
▶	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (.f64 (.f64 (neg.f64 (log.f64 c)) (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (cbrt.f64 b))))
	33.0b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (pow.f64 (sqrt.f64 (.f64 (log.f64 y) x)) 2) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	1.2b	(fma.f64 y i (pow.f64 (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) 3))
	31.2b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (pow.f64 (sqrt.f64 (*.f64 (log.f64 (/.f64 1 c)) b)) 2)))
	1.0b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (.f64 (.f64 (cbrt.f64 (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)) (cbrt.f64 (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (cbrt.f64 (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
	48.7b	(fma.f64 y i (-.f64 (cbrt.f64 (pow.f64 (+.f64 (fma.f64 1/2 (neg.f64 (log.f64 c)) (+.f64 t (fma.f64 x (log.f64 y) z))) a) 3)) (*.f64 (log.f64 (/.f64 1 c)) b)))
	40.2b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 (log.f64 y) x) 3) (pow.f64 z 3)) (+.f64 (.f64 z z) (.f64 (.f64 (log.f64 y) x) (-.f64 (*.f64 (log.f64 y) x) z)))) t) a)))
	45.6b	(fma.f64 y i (.f64 (cbrt.f64 (.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)) (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))

Compiler

Compiled 5734 to 3071 computations (46.4% saved)

localize52.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 b) (cbrt.f64 b))
	0.6b	(cbrt.f64 b)
	0.6b	(cbrt.f64 b)
✓	0.6b	(cbrt.f64 b)

rewrite52.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`pow1/3_binary64`
14×	`add-cube-cbrt_binary64`
9×	`add-sqr-sqrt_binary64`
8×	`add-exp-log_binary64`
6×	`log1p-expm1-u_binary64`

Counts

2 → 72

Calls

2 calls:

27.0ms	(*.f64 (cbrt.f64 b) (cbrt.f64 b))
19.0ms	(cbrt.f64 b)

series1.2s (3.8%)

Counts

2 → 24

Calls

2 calls:

650.0ms	(cbrt.f64 b)
548.0ms	(*.f64 (cbrt.f64 b) (cbrt.f64 b))

simplify133.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

928×	`fma-def_binary64`
860×	`log-prod_binary64`
504×	`exp-prod_binary64`
299×	`*-commutative_binary64`
263×	`associate-l_binary64`

Counts

96 → 155

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	57	550
1	102	494
2	246	462
3	874	455
4	1999	401
5	4161	401
6	4605	393
7	4907	393

prune467.0ms (1.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	347	3	350
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	348	13	361

Error

0.0b

Counts

361 → 13

Alt Table

Status	Error	Program
	28.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (log.f64 y) (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 x))) (cbrt.f64 x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
✓	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (.f64 (.f64 (neg.f64 (log.f64 c)) (.f64 (.f64 (*.f64 (cbrt.f64 (cbrt.f64 b)) (cbrt.f64 (cbrt.f64 b))) (cbrt.f64 (cbrt.f64 b))) (cbrt.f64 b))) (cbrt.f64 b))))
	31.2b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (pow.f64 (sqrt.f64 (*.f64 (log.f64 (/.f64 1 c)) b)) 2)))
	14.7b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (.f64 (.f64 (neg.f64 (log.f64 c)) (cbrt.f64 (.f64 (.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (cbrt.f64 b) (cbrt.f64 b))) (*.f64 (cbrt.f64 b) (cbrt.f64 b))))) (cbrt.f64 b))))
	33.0b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (pow.f64 (sqrt.f64 (.f64 (log.f64 y) x)) 2) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	1.2b	(fma.f64 y i (pow.f64 (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) 3))
	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (.f64 (.f64 (neg.f64 (log.f64 c)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 b)) 3) (cbrt.f64 b))) (cbrt.f64 b))))
	1.0b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (.f64 (.f64 (cbrt.f64 (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)) (cbrt.f64 (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (cbrt.f64 (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
	48.7b	(fma.f64 y i (-.f64 (cbrt.f64 (pow.f64 (+.f64 (fma.f64 1/2 (neg.f64 (log.f64 c)) (+.f64 t (fma.f64 x (log.f64 y) z))) a) 3)) (*.f64 (log.f64 (/.f64 1 c)) b)))
	40.2b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 (log.f64 y) x) 3) (pow.f64 z 3)) (+.f64 (.f64 z z) (.f64 (.f64 (log.f64 y) x) (-.f64 (*.f64 (log.f64 y) x) z)))) t) a)))
	45.6b	(fma.f64 y i (.f64 (cbrt.f64 (.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)) (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (log.f64 y) (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 x))) (cbrt.f64 x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))

Compiler

Compiled 5282 to 2119 computations (59.9% saved)

regimes8.3s (26.2%)

Accuracy

Total 0.0b remaining (47.3%)

Threshold costs 0.0b (47.3%)

Compiler

Compiled 109050 to 74442 computations (31.7% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	28
1	26	28
2	27	28
3	26	28

end31.0ms (0.1%)

Remove: (sort z t a)
Compiler: Compiled 81 to 54 computations (33.3% saved)

sample6.1s (19.2%)

Algorithm

1×

intervals

Results

1.8s	9795×	body	128	nan
1.7s	7997×	body	128	valid
241.0ms	1204×	body	128	invalid
1.0ms	2×	body	512	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 647 to 402 computations (37.9% saved)

Details

analyze1.8s (5.8%)

sample137.0ms (0.4%)

simplify84.0ms (0.3%)

prune5.0ms (0%)

localize16.0ms (0%)

rewrite48.0ms (0.2%)

series3.5s (11%)

simplify248.0ms (0.8%)

prune296.0ms (0.9%)

localize36.0ms (0.1%)

rewrite120.0ms (0.4%)

series6.4s (20.1%)

simplify358.0ms (1.1%)

prune625.0ms (2%)

localize47.0ms (0.1%)

rewrite56.0ms (0.2%)

series974.0ms (3.1%)

simplify141.0ms (0.4%)

prune487.0ms (1.5%)

localize52.0ms (0.2%)

rewrite52.0ms (0.2%)

series1.2s (3.8%)

simplify133.0ms (0.4%)

prune467.0ms (1.5%)

regimes8.3s (26.2%)

simplify6.0ms (0%)

end31.0ms (0.1%)

sample6.1s (19.2%)

Profiling