Details

analyze2.9s (13.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
1.6%	98.3%	0.1%	8
2.3%	97.5%	0.1%	9
7.4%	90.9%	1.7%	10
9.2%	87.4%	3.5%	11
11.7%	83.5%	4.8%	12
15.2%	76%	8.8%	13
16.4%	72%	11.6%	14

Compiler

Compiled 29 to 22 computations (24.1% saved)

sample5.4s (24.2%)

Results

2.7s	2819×	body	1024	valid
876.0ms	1360×	body	512	valid
845.0ms	3472×	body	128	valid
360.0ms	1499×	body	128	invalid
276.0ms	595×	body	256	valid
83.0ms	126×	body	512	invalid
62.0ms	62×	body	1024	invalid
36.0ms	86×	body	256	invalid
16.0ms	10×	body	2048	valid

Compiler

Compiled 86 to 65 computations (24.4% saved)

simplify54.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

925×	`fma-neg_binary64`
298×	`rules-6_binary64`
264×	`rules-4_binary64`
225×	`rules-5-rev_binary64`
213×	`rules-4-rev_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	38
1	41	35
2	115	35
3	522	35
4	3824	35
5	4699	35
6	5016	35

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

33.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	33.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))

Compiler

Compiled 103 to 71 computations (31.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.3b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
✓	5.3b	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
✓	11.5b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
✓	16.4b	(/.f64 (pow.f64 t 3) (*.f64 l l))

series331.0ms (1.5%)

Counts

4 → 132

Calls

4 calls:

148.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
97.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
58.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
28.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

rewrite138.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

606×	`prod-diff_binary64`
250×	`egg-rr`
169×	`add-sqr-sqrt_binary64`
161×	`log1p-expm1-u_binary64`
161×	`expm1-log1p-u_binary64`

Counts

4 → 250

Calls

4 calls:

131.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
131.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
131.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
131.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	77
1	401	77
2	4839	77
3	6002	77
0	0	0
1	0	0

simplify84.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

788×	`rules-13_binary64`
554×	`rules-14-rev_binary64`
549×	`rules-20_binary64`
289×	`rules-21_binary64`
152×	`fma-neg_binary64`

Counts

382 → 289

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	3459
1	339	3449
2	1727	3389
3	5449	3389

prune519.0ms (2.3%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	272	17	289
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	273	17	290

Error

7.3b

Counts

290 → 17

Alt Table

Status	Error	Program
	33.2b	(/.f64 2 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) 2) (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) 0))
	36.2b	(/.f64 2 (.f64 (/.f64 (.f64 (pow.f64 t 3) (pow.f64 (sin.f64 k) 2)) (*.f64 (cos.f64 k) (pow.f64 l 2))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	14.8b	(/.f64 2 (.f64 (.f64 (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 3) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	62.0b	(/.f64 2 (+.f64 (fma.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (sin.f64 k))) (sqrt.f64 (tan.f64 k))) (.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (.f64 (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (sin.f64 k))) (sqrt.f64 (tan.f64 k)))) (neg.f64 (.f64 0 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k))))) (fma.f64 0 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (.f64 0 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k))))))
	40.6b	(/.f64 2 (.f64 (.f64 (*.f64 (pow.f64 (/.f64 (pow.f64 t 3/2) l) 2) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	26.4b	(/.f64 2 (.f64 (pow.f64 (sin.f64 k) 2) (/.f64 (.f64 t (fma.f64 k k (.f64 2 (.f64 t t)))) (.f64 (.f64 l l) (cos.f64 k)))))
	39.1b	(/.f64 2 (.f64 (.f64 (+.f64 (fma.f64 (/.f64 (pow.f64 t 3/2) l) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3/2) l)) (neg.f64 (.f64 0 (sin.f64 k)))) (fma.f64 0 (sin.f64 k) (*.f64 0 (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	20.0b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	16.2b	(/.f64 2 (.f64 (.f64 (+.f64 (fma.f64 (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2) (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (sin.f64 k)) (neg.f64 (.f64 0 (sin.f64 k)))) (fma.f64 0 (sin.f64 k) (*.f64 0 (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	31.9b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	16.2b	(/.f64 2 (.f64 (.f64 (+.f64 (fma.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (sin.f64 k) (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2)) (neg.f64 (.f64 0 (sin.f64 k)))) (fma.f64 0 (sin.f64 k) (*.f64 0 (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
▶	13.0b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	40.0b	(/.f64 2 (fma.f64 2 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (.f64 k k)) (fma.f64 (pow.f64 k 4) (/.f64 t (.f64 l l)) (.f64 1/3 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (pow.f64 k 4))))))
	51.7b	(/.f64 2 (.f64 (.f64 (pow.f64 (*.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (sin.f64 k))) 2) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	29.7b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) l)) l) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	29.8b	(/.f64 2 (.f64 (.f64 (/.f64 (/.f64 (pow.f64 t 3) l) (/.f64 l (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	30.1b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 t (/.f64 (.f64 t t) (.f64 l l))) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))

Compiler

Compiled 13469 to 7714 computations (42.7% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 (sin.f64 k))
✓	1.5b	(*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k)))
✓	3.0b	(.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2))
✓	11.5b	(.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

series3.5s (15.7%)

Counts

4 → 120

Calls

4 calls:

1.3s	(.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
1.1s	(.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2))
916.0ms	(*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k)))
121.0ms	(cbrt.f64 (sin.f64 k))

rewrite83.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

346×	`expm1-udef_binary64`
346×	`log1p-udef_binary64`
227×	`log1p-expm1-u_binary64`
227×	`expm1-log1p-u_binary64`
219×	`add-log-exp_binary64`

Counts

4 → 102

Calls

4 calls:

81.0ms	(cbrt.f64 (sin.f64 k))
81.0ms	(*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k)))
81.0ms	(.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2))
81.0ms	(.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	121
1	564	92
2	4085	92
3	5056	92
0	0	0
1	0	0

simplify131.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

391×	`rules-21_binary64`
308×	`fma-def_binary64`
279×	`rules-11_binary64`
276×	`rules-20_binary64`
275×	`rules-10_binary64`

Counts

222 → 161

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	203	4953
1	700	4472
2	2879	3772
3	4872	3772
4	4988	3772

prune572.0ms (2.6%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	229	9	238
Fresh	3	13	16
Picked	1	0	1
Done	0	0	0
Total	233	22	255

Error

7.2b

Counts

255 → 22

Alt Table

Status	Error	Program
	16.2b	(/.f64 2 (.f64 (.f64 (+.f64 (fma.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (sin.f64 k) (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2)) (neg.f64 (.f64 0 (sin.f64 k)))) (fma.f64 0 (sin.f64 k) (*.f64 0 (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
▶	13.0b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 k))))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	33.2b	(/.f64 2 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) 2) (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) 0))
	36.2b	(/.f64 2 (.f64 (/.f64 (.f64 (pow.f64 t 3) (pow.f64 (sin.f64 k) 2)) (*.f64 (cos.f64 k) (pow.f64 l 2))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	17.3b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 k)) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	43.7b	(/.f64 2 (.f64 (+.f64 (fma.f64 (-.f64 (.f64 t (.f64 (cbrt.f64 k) (/.f64 1 (pow.f64 l 2/3)))) (.f64 (.f64 t (.f64 (cbrt.f64 k) (/.f64 1 (pow.f64 l 2/3)))) (+.f64 (.f64 (.f64 k k) 1/18) (.f64 1/3240 (pow.f64 k 4))))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	40.6b	(/.f64 2 (.f64 (.f64 (*.f64 (pow.f64 (/.f64 (pow.f64 t 3/2) l) 2) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	26.4b	(/.f64 2 (.f64 (pow.f64 (sin.f64 k) 2) (/.f64 (.f64 t (fma.f64 k k (.f64 2 (.f64 t t)))) (.f64 (.f64 l l) (cos.f64 k)))))
	38.8b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (pow.f64 (sin.f64 k) 2/3)) (cbrt.f64 (cbrt.f64 (sin.f64 k))))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	39.1b	(/.f64 2 (.f64 (.f64 (+.f64 (fma.f64 (/.f64 (pow.f64 t 3/2) l) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3/2) l)) (neg.f64 (.f64 0 (sin.f64 k)))) (fma.f64 0 (sin.f64 k) (*.f64 0 (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	20.0b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	39.0b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (pow.f64 (sin.f64 k) 2/3)) (cbrt.f64 (cbrt.f64 (sin.f64 k))))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	30.1b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 t (/.f64 (.f64 t t) (.f64 l l))) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	16.3b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (-.f64 (cbrt.f64 k) (.f64 1/18 (cbrt.f64 (pow.f64 k 7))))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	16.2b	(/.f64 2 (.f64 (.f64 (+.f64 (fma.f64 (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2) (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (sin.f64 k)) (neg.f64 (.f64 0 (sin.f64 k)))) (fma.f64 0 (sin.f64 k) (*.f64 0 (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	31.9b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	40.0b	(/.f64 2 (fma.f64 2 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (.f64 k k)) (fma.f64 (pow.f64 k 4) (/.f64 t (.f64 l l)) (.f64 1/3 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (pow.f64 k 4))))))
	23.6b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 t (cbrt.f64 (/.f64 (sin.f64 k) (.f64 l l)))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	14.8b	(/.f64 2 (.f64 (.f64 (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 3) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	29.7b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) l)) l) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	13.0b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 k))) 3)) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	13.1b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 k))) 3)) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))

Compiler

Compiled 15424 to 9458 computations (38.7% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.5b	(*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k)))
✓	1.5b	(*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 k)))))
✓	3.0b	(.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 k))))) 2))
✓	11.5b	(.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 k))))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

series3.2s (14.5%)

Counts

3 → 108

Calls

3 calls:

1.2s

(*.f64 (+.f64 (fma.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (*.f64 (tan.f64 k) (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 k))))) 2)) (neg.f64 (*.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

1.1s

(*.f64 (tan.f64 k) (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 k))))) 2))

935.0ms

(*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 k)))))

rewrite75.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

367×	`expm1-udef_binary64`
367×	`log1p-udef_binary64`
238×	`expm1-log1p-u_binary64`
237×	`log1p-expm1-u_binary64`
227×	`add-log-exp_binary64`

Counts

3 → 68

Calls

3 calls:

73.0ms

(*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 k)))))

73.0ms

(*.f64 (tan.f64 k) (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 k))))) 2))

73.0ms

(*.f64 (+.f64 (fma.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (*.f64 (tan.f64 k) (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 k))))) 2)) (neg.f64 (*.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	116
1	587	87
2	4132	87
3	5198	87
0	0	0
1	0	0

simplify105.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

369×	`rules-21_binary64`
291×	`fma-def_binary64`
276×	`rules-10-rev_binary64`
275×	`rules-10_binary64`
270×	`rules-20_binary64`

Counts

176 → 118

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	185	4841
1	653	4360
2	2729	3700
3	4974	3700

prune445.0ms (2%)

Pruning

22 alts after pruning (21 fresh and 1 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	21	21
Picked	0	1	1
Done	0	0	0
Total	160	22	182

Error

7.2b

Counts

182 → 22

Alt Table

Status	Error	Program
	16.2b	(/.f64 2 (.f64 (.f64 (+.f64 (fma.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (sin.f64 k) (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2)) (neg.f64 (.f64 0 (sin.f64 k)))) (fma.f64 0 (sin.f64 k) (*.f64 0 (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
✓	13.0b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 k))))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	33.2b	(/.f64 2 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) 2) (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) 0))
	36.2b	(/.f64 2 (.f64 (/.f64 (.f64 (pow.f64 t 3) (pow.f64 (sin.f64 k) 2)) (*.f64 (cos.f64 k) (pow.f64 l 2))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	17.3b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 k)) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	43.7b	(/.f64 2 (.f64 (+.f64 (fma.f64 (-.f64 (.f64 t (.f64 (cbrt.f64 k) (/.f64 1 (pow.f64 l 2/3)))) (.f64 (.f64 t (.f64 (cbrt.f64 k) (/.f64 1 (pow.f64 l 2/3)))) (+.f64 (.f64 (.f64 k k) 1/18) (.f64 1/3240 (pow.f64 k 4))))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	40.6b	(/.f64 2 (.f64 (.f64 (*.f64 (pow.f64 (/.f64 (pow.f64 t 3/2) l) 2) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	26.4b	(/.f64 2 (.f64 (pow.f64 (sin.f64 k) 2) (/.f64 (.f64 t (fma.f64 k k (.f64 2 (.f64 t t)))) (.f64 (.f64 l l) (cos.f64 k)))))
	38.8b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (pow.f64 (sin.f64 k) 2/3)) (cbrt.f64 (cbrt.f64 (sin.f64 k))))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	39.1b	(/.f64 2 (.f64 (.f64 (+.f64 (fma.f64 (/.f64 (pow.f64 t 3/2) l) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3/2) l)) (neg.f64 (.f64 0 (sin.f64 k)))) (fma.f64 0 (sin.f64 k) (*.f64 0 (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	20.0b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	39.0b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (pow.f64 (sin.f64 k) 2/3)) (cbrt.f64 (cbrt.f64 (sin.f64 k))))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	30.1b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 t (/.f64 (.f64 t t) (.f64 l l))) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	16.3b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (-.f64 (cbrt.f64 k) (.f64 1/18 (cbrt.f64 (pow.f64 k 7))))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	16.2b	(/.f64 2 (.f64 (.f64 (+.f64 (fma.f64 (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2) (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (sin.f64 k)) (neg.f64 (.f64 0 (sin.f64 k)))) (fma.f64 0 (sin.f64 k) (*.f64 0 (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	31.9b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	40.0b	(/.f64 2 (fma.f64 2 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (.f64 k k)) (fma.f64 (pow.f64 k 4) (/.f64 t (.f64 l l)) (.f64 1/3 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (pow.f64 k 4))))))
	23.6b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 t (cbrt.f64 (/.f64 (sin.f64 k) (.f64 l l)))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	14.8b	(/.f64 2 (.f64 (.f64 (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 3) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	29.7b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) l)) l) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
▶	13.0b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 k))) 3)) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	13.1b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 k))) 3)) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))

Compiler

Compiled 11077 to 6946 computations (37.3% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.5b	(*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k)))
✓	1.5b	(*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 k))) 3))
	3.0b	(.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2))
✓	11.5b	(.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 k))) 3)) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

series2.1s (9.6%)

Counts

2 → 72

Calls

2 calls:

1.3s

(*.f64 (+.f64 (fma.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 k))) 3)) (*.f64 (tan.f64 k) (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (*.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

851.0ms

(*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 k))) 3))

rewrite82.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

376×	`log1p-udef_binary64`
244×	`log1p-expm1-u_binary64`
244×	`expm1-log1p-u_binary64`
235×	`add-log-exp_binary64`
233×	`add-cbrt-cube_binary64`

Counts

2 → 46

Calls

2 calls:

80.0ms

(*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 k))) 3))

80.0ms

(*.f64 (+.f64 (fma.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 k))) 3)) (*.f64 (tan.f64 k) (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (*.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	92
1	612	65
2	4269	65
3	4847	65
0	0	0
1	0	0

simplify87.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

648×	`rules-6_binary64`
287×	`rules-21_binary64`
235×	`rules-11_binary64`
227×	`rules-10-rev_binary64`
211×	`fma-def_binary64`

Counts

118 → 81

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	154	3525
1	530	3196
2	2206	2678
3	5080	2678

prune391.0ms (1.8%)

Pruning

22 alts after pruning (20 fresh and 2 done)

	Pruned	Kept	Total
New	161	1	162
Fresh	1	19	20
Picked	0	1	1
Done	0	1	1
Total	162	22	184

Error

7.2b

Counts

184 → 22

Alt Table

Status	Error	Program
	16.2b	(/.f64 2 (.f64 (.f64 (+.f64 (fma.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (sin.f64 k) (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2)) (neg.f64 (.f64 0 (sin.f64 k)))) (fma.f64 0 (sin.f64 k) (*.f64 0 (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
✓	13.0b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 k))))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	33.2b	(/.f64 2 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) 2) (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) 0))
	36.2b	(/.f64 2 (.f64 (/.f64 (.f64 (pow.f64 t 3) (pow.f64 (sin.f64 k) 2)) (*.f64 (cos.f64 k) (pow.f64 l 2))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	40.6b	(/.f64 2 (.f64 (.f64 (*.f64 (pow.f64 (/.f64 (pow.f64 t 3/2) l) 2) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	26.4b	(/.f64 2 (.f64 (pow.f64 (sin.f64 k) 2) (/.f64 (.f64 t (fma.f64 k k (.f64 2 (.f64 t t)))) (.f64 (.f64 l l) (cos.f64 k)))))
	13.1b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 k))) 3)) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	53.3b	(/.f64 2 (.f64 (+.f64 (fma.f64 (-.f64 (.f64 t (.f64 (/.f64 1 (pow.f64 l 2/3)) (pow.f64 k 1/3))) (.f64 (.f64 t (.f64 (/.f64 1 (pow.f64 l 2/3)) (pow.f64 k 1/3))) (+.f64 (.f64 (.f64 k k) 1/18) (.f64 1/3240 (pow.f64 k 4))))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	38.8b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (pow.f64 (sin.f64 k) 2/3)) (cbrt.f64 (cbrt.f64 (sin.f64 k))))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	39.1b	(/.f64 2 (.f64 (.f64 (+.f64 (fma.f64 (/.f64 (pow.f64 t 3/2) l) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3/2) l)) (neg.f64 (.f64 0 (sin.f64 k)))) (fma.f64 0 (sin.f64 k) (*.f64 0 (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	20.0b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	39.0b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (pow.f64 (sin.f64 k) 2/3)) (cbrt.f64 (cbrt.f64 (sin.f64 k))))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	30.1b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 t (/.f64 (.f64 t t) (.f64 l l))) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	16.3b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (-.f64 (cbrt.f64 k) (.f64 1/18 (cbrt.f64 (pow.f64 k 7))))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	16.2b	(/.f64 2 (.f64 (.f64 (+.f64 (fma.f64 (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2) (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (sin.f64 k)) (neg.f64 (.f64 0 (sin.f64 k)))) (fma.f64 0 (sin.f64 k) (*.f64 0 (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	31.9b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	17.3b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 k)) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	40.0b	(/.f64 2 (fma.f64 2 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (.f64 k k)) (fma.f64 (pow.f64 k 4) (/.f64 t (.f64 l l)) (.f64 1/3 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (pow.f64 k 4))))))
	23.6b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (.f64 t (cbrt.f64 (/.f64 (sin.f64 k) (.f64 l l)))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (*.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	14.8b	(/.f64 2 (.f64 (.f64 (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 3) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	29.7b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) l)) l) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
✓	13.0b	(/.f64 2 (.f64 (+.f64 (fma.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 k))) 3)) (.f64 (tan.f64 k) (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2)) (neg.f64 (.f64 0 (tan.f64 k)))) (fma.f64 0 (tan.f64 k) (.f64 0 (tan.f64 k)))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))

Compiler

Compiled 10450 to 6542 computations (37.4% saved)

regimes1.0s (4.5%)

Accuracy

Total 3.0b remaining (25.7%)

Threshold costs 0b (0%)

Counts

73 → 3

Compiler

Compiled 20343 to 14201 computations (30.2% saved)

bsearch255.0ms (1.2%)

Steps

Iters	Range		Point
9	4.858794848914426e-207	2.377887290337541e-198	2.330754811211471e-198
9	-1.2229262690248517e-69	-1.392722920855157e-75	-3.519484547635524e-73

Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	215
1	56	215

end627.0ms (2.8%)

Compiler: Compiled 1260 to 855 computations (32.1% saved)

Details

analyze2.9s (13.1%)

sample5.4s (24.2%)

simplify54.0ms (0.2%)

prune4.0ms (0%)

localize16.0ms (0.1%)

series331.0ms (1.5%)

rewrite138.0ms (0.6%)

simplify84.0ms (0.4%)

prune519.0ms (2.3%)

localize27.0ms (0.1%)

series3.5s (15.7%)

rewrite83.0ms (0.4%)

simplify131.0ms (0.6%)

prune572.0ms (2.6%)

localize31.0ms (0.1%)

series3.2s (14.5%)

rewrite75.0ms (0.3%)

simplify105.0ms (0.5%)

prune445.0ms (2%)

localize31.0ms (0.1%)

series2.1s (9.6%)

rewrite82.0ms (0.4%)

simplify87.0ms (0.4%)

prune391.0ms (1.8%)

regimes1.0s (4.5%)

bsearch255.0ms (1.2%)

simplify3.0ms (0%)

end627.0ms (2.8%)

Profiling