Details

analyze3.4s (8.6%)

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
0%	99.9%	0.1%	8
0%	99.9%	0.1%	9
0%	99.9%	0.1%	10
0%	99.5%	0.5%	11
0%	99.1%	0.9%	12
0.4%	97.3%	2.3%	13
0.7%	95.8%	3.5%	14

Compiler

Compiled 29 to 22 computations (24.1% saved)

sample18.3s (47%)

Results

4.6s	1177×	body	4096	invalid
4.3s	3963×	body	1024	valid
3.2s	1130×	body	2048	invalid
1.6s	1048×	body	2048	valid
1.3s	491×	body	4096	valid
1.1s	1449×	body	512	valid
751.0ms	655×	body	1024	invalid
418.0ms	478×	body	512	invalid
267.0ms	832×	body	128	valid
267.0ms	1099×	body	128	invalid
231.0ms	300×	body	256	invalid
219.0ms	473×	body	256	valid

Compiler

Compiled 86 to 65 computations (24.4% saved)

simplify49.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

856×	`associate-*l/_binary64`
417×	`associate-/r/_binary64`
392×	`associate-/r*_binary64`
347×	`distribute-rgt-in_binary64`
323×	`distribute-lft-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	38
1	52	35
2	174	32
3	820	32
4	4966	32
5	4943	32

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

40.5b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 97 to 65 computations (33% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
✓	1.7b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
✓	16.1b	(/.f64 (pow.f64 t 3) (*.f64 l l))
✓	27.1b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

series368.0ms (0.9%)

Counts

4 → 132

Calls

4 calls:

145.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))
119.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
69.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
36.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

rewrite295.0ms (0.8%)

Algorithm

4×	egg-rewrite

Rules

53×	`egg`
52×	`egg`
49×	`egg`
41×	`egg`

Counts

4 → 195

Calls

4 calls:

84.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
84.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))
70.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
54.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	29
1	343	28
2	4160	28
3	5154	28
0	7	10
1	150	10
2	1776	10
3	4995	10
4	5287	10
0	12	20
1	253	20
2	3104	20
3	5456	20
0	10	15
1	210	15
2	2530	15
3	4988	15

simplify77.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

827×	`times-frac_binary64`
657×	`associate-/l*_binary64`
496×	`associate-l_binary64`
372×	`associate-/r*_binary64`
185×	`associate-/r/_binary64`

Counts

327 → 226

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	85	2796
1	239	2790
2	946	2780
3	5137	2780

prune356.0ms (0.9%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	210	16	226
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	211	16	227

Error

12.3b

Counts

227 → 16

Alt Table

Status	Error	Program
	37.4b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)) l) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	37.4b	(/.f64 2 (.f64 (/.f64 (.f64 (/.f64 (pow.f64 t 3) l) (*.f64 (sin.f64 k) (tan.f64 k))) l) (pow.f64 (/.f64 k t) 2)))
	31.9b	(/.f64 2 (fma.f64 31/360 (/.f64 (.f64 t (pow.f64 k 8)) (.f64 l l)) (fma.f64 1/6 (/.f64 (.f64 t (pow.f64 k 6)) (.f64 l l)) (/.f64 (.f64 t (pow.f64 k 4)) (.f64 l l)))))
▶	23.8b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	25.3b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	28.8b	(/.f64 2 (.f64 (.f64 (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2) (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2)))
	37.6b	(/.f64 2 (.f64 (/.f64 k t) (.f64 (/.f64 k t) (.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)))))
	50.2b	(/.f64 2 (exp.f64 (log.f64 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2))))
	49.6b	(/.f64 2 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2))
	28.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)) (pow.f64 (/.f64 k t) 2)))
	33.1b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t l) (/.f64 (*.f64 t t) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	43.8b	(/.f64 2 (.f64 (cbrt.f64 (pow.f64 (/.f64 k t) 4)) (.f64 (pow.f64 (cbrt.f64 (/.f64 k t)) 2) (.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)))))
	24.6b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))))
	37.0b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 t (.f64 (.f64 t t) (pow.f64 l -2))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	49.7b	(/.f64 2 (pow.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2)) 3))
	46.1b	(/.f64 2 (.f64 (.f64 (*.f64 (pow.f64 (/.f64 (pow.f64 t 3/2) l) 2) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 6825 to 3777 computations (44.7% saved)

localize18.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.2b	(.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))
✓	2.4b	(cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))
✓	11.0b	(.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))
✓	16.0b	(.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2)))

series4.1s (10.6%)

Counts

4 → 120

Calls

4 calls:

1.9s	(.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))
1.8s	(.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))
365.0ms	(cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))
147.0ms	(.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2)))

rewrite252.0ms (0.6%)

Algorithm

4×	egg-rewrite

Rules

51×	`egg`
43×	`egg`
42×	`egg`
40×	`egg`

Counts

4 → 176

Calls

4 calls:

77.0ms	(.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2)))
68.0ms	(.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))
60.0ms	(.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))
43.0ms	(cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	56
1	375	31
2	4370	31
3	4977	31
0	16	30
1	330	28
2	3912	28
3	4963	28
0	6	10
1	117	10
2	1348	10
3	5096	10
0	13	21
1	262	19
2	3022	19
3	5240	19

simplify159.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

371×	`associate-r_binary64`
360×	`unswap-sqr_binary64`
358×	`associate-l_binary64`
354×	`fma-def_binary64`
321×	`associate-/l*_binary64`

Counts

296 → 222

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	136	3532
1	378	3359
2	1037	3223
3	3972	3157
4	4898	3157
5	4984	3157
6	4929	3157

prune779.0ms (2%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	320	16	336
Fresh	3	12	15
Picked	1	0	1
Done	0	0	0
Total	324	28	352

Error

8.7b

Counts

352 → 28

Alt Table

Status	Error	Program
	41.0b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 3))) (pow.f64 (/.f64 k t) 2))))
	45.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (/.f64 k t) (.f64 (/.f64 k t) (.f64 (/.f64 t (pow.f64 l 2/3)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))))))
	48.6b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (/.f64 (.f64 (pow.f64 k 2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (cos.f64 k))) (.f64 2 (log.f64 (/.f64 -1 l))))))) (*.f64 t (pow.f64 (cbrt.f64 -1) 2)))))
	23.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 2) 3) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	25.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 t (.f64 (pow.f64 (cbrt.f64 l) -2) (.f64 (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))) (pow.f64 (/.f64 k t) 2))))))
	55.8b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (/.f64 (.f64 (pow.f64 k 2) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (cos.f64 k))) (.f64 2 (log.f64 l)))))) t)))
	28.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)) (pow.f64 (/.f64 k t) 2)))
	23.8b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 2) 3) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))))) (pow.f64 (/.f64 k t) 2))))
	42.5b	(/.f64 2 (pow.f64 (.f64 (.f64 (/.f64 t (pow.f64 l 2/3)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (cbrt.f64 (/.f64 k t)) 2)) 3))
	37.4b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)) l) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	37.4b	(/.f64 2 (.f64 (/.f64 (.f64 (/.f64 (pow.f64 t 3) l) (*.f64 (sin.f64 k) (tan.f64 k))) l) (pow.f64 (/.f64 k t) 2)))
	31.9b	(/.f64 2 (fma.f64 31/360 (/.f64 (.f64 t (pow.f64 k 8)) (.f64 l l)) (fma.f64 1/6 (/.f64 (.f64 t (pow.f64 k 6)) (.f64 l l)) (/.f64 (.f64 t (pow.f64 k 4)) (.f64 l l)))))
	47.4b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (.f64 (sin.f64 k) (pow.f64 (cbrt.f64 (tan.f64 k)) 2)) 1/3) (cbrt.f64 (cbrt.f64 (tan.f64 k))))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	25.3b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
▶	23.8b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	48.8b	(/.f64 2 (.f64 (.f64 (/.f64 t (pow.f64 l 2/3)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (.f64 (.f64 (/.f64 t (pow.f64 l 2/3)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (.f64 (/.f64 t (pow.f64 l 2/3)) (.f64 (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))) (pow.f64 (/.f64 k t) 2))))))
	24.6b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))))
	49.2b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (/.f64 (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (cos.f64 k))) (*.f64 2 (log.f64 (/.f64 -1 l)))))) t) (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 k t) 2))))
	37.6b	(/.f64 2 (.f64 (/.f64 k t) (.f64 (/.f64 k t) (.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)))))
	32.4b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 t (cbrt.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (*.f64 l l))))) (pow.f64 (/.f64 k t) 2))))
	49.6b	(/.f64 2 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2))
	31.1b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (+.f64 (.f64 1/18 (pow.f64 (pow.f64 k 8) 1/3)) (pow.f64 (pow.f64 k 2) 1/3))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	33.1b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t l) (/.f64 (*.f64 t t) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	32.4b	(/.f64 2 (.f64 (pow.f64 (.f64 t (cbrt.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l))))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	37.0b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 t (.f64 (.f64 t t) (pow.f64 l -2))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	49.7b	(/.f64 2 (pow.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2)) 3))
	40.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (pow.f64 (.f64 (/.f64 k t) (/.f64 (sqrt.f64 (.f64 t (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) (cbrt.f64 l))) 2)))
	46.1b	(/.f64 2 (.f64 (.f64 (*.f64 (pow.f64 (/.f64 (pow.f64 t 3/2) l) 2) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 16179 to 8375 computations (48.2% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	2.2b	(.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))
	2.4b	(cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))
	11.0b	(.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))
✓	16.0b	(.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2)))

series325.0ms (0.8%)

Counts

1 → 36

Calls

1 calls:

325.0ms

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

rewrite89.0ms (0.2%)

Algorithm

1×	egg-rewrite

Rules

43× egg

Counts

1 → 43

Calls

1 calls:

88.0ms

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	56
1	414	31
2	4822	31
3	5463	31

simplify63.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

935×	`fma-def_binary64`
492×	`associate-*l/_binary64`
429×	`associate-/r/_binary64`
428×	`associate-/l/_binary64`
401×	`associate-*r/_binary64`

Counts

79 → 52

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	40	986
1	103	984
2	332	980
3	1478	966
4	3861	956
5	4956	956

prune502.0ms (1.3%)

Pruning

28 alts after pruning (27 fresh and 1 done)

	Pruned	Kept	Total
New	215	8	223
Fresh	8	19	27
Picked	0	1	1
Done	0	0	0
Total	223	28	251

Error

8.6b

Counts

251 → 28

Alt Table

Status	Error	Program
	41.0b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 3))) (pow.f64 (/.f64 k t) 2))))
	48.6b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (/.f64 (.f64 (pow.f64 k 2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (cos.f64 k))) (.f64 2 (log.f64 (/.f64 -1 l))))))) (*.f64 t (pow.f64 (cbrt.f64 -1) 2)))))
	30.3b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (cbrt.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))) (/.f64 (*.f64 k k) t))))
	23.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 2) 3) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	25.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 t (.f64 (pow.f64 (cbrt.f64 l) -2) (.f64 (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))) (pow.f64 (/.f64 k t) 2))))))
	55.8b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (/.f64 (.f64 (pow.f64 k 2) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (cos.f64 k))) (.f64 2 (log.f64 l)))))) t)))
	28.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)) (pow.f64 (/.f64 k t) 2)))
▶	23.8b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 2) 3) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))))) (pow.f64 (/.f64 k t) 2))))
	42.5b	(/.f64 2 (pow.f64 (.f64 (.f64 (/.f64 t (pow.f64 l 2/3)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (cbrt.f64 (/.f64 k t)) 2)) 3))
	25.3b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
✓	23.8b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	48.8b	(/.f64 2 (.f64 (.f64 (/.f64 t (pow.f64 l 2/3)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (.f64 (.f64 (/.f64 t (pow.f64 l 2/3)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (.f64 (/.f64 t (pow.f64 l 2/3)) (.f64 (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))) (pow.f64 (/.f64 k t) 2))))))
	47.4b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (*.f64 (sin.f64 k) (pow.f64 (cbrt.f64 (tan.f64 k)) 2)) 1/3) (cbrt.f64 (cbrt.f64 (tan.f64 k))))) (pow.f64 (/.f64 k t) 2))))
	37.6b	(/.f64 2 (.f64 (/.f64 k t) (.f64 (/.f64 k t) (.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)))))
	32.4b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 t (cbrt.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (*.f64 l l))))) (pow.f64 (/.f64 k t) 2))))
	49.6b	(/.f64 2 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2))
	31.1b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (+.f64 (.f64 1/18 (pow.f64 (pow.f64 k 8) 1/3)) (pow.f64 (pow.f64 k 2) 1/3))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	45.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (.f64 (.f64 (/.f64 t (pow.f64 l 2/3)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (/.f64 k t)) (/.f64 k t))))
	29.3b	(/.f64 2 (fma.f64 (/.f64 t l) (fma.f64 173/5040 (/.f64 (pow.f64 k 10) l) (/.f64 (pow.f64 k 4) l)) (.f64 (/.f64 t l) (fma.f64 1/6 (/.f64 (pow.f64 k 6) l) (.f64 31/360 (/.f64 (pow.f64 k 8) l))))))
	41.2b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (pow.f64 (.f64 (sin.f64 k) (tan.f64 k)) 1/6) 2)) (pow.f64 (/.f64 k t) 2))))
	32.0b	(/.f64 2 (fma.f64 t (/.f64 (pow.f64 k 4) (.f64 l l)) (.f64 (/.f64 t l) (fma.f64 1/6 (/.f64 (pow.f64 k 6) l) (*.f64 31/360 (/.f64 (pow.f64 k 8) l))))))
	40.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (pow.f64 (.f64 (/.f64 k t) (/.f64 (sqrt.f64 (.f64 t (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) (cbrt.f64 l))) 2)))
	37.4b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)) l) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	33.1b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t l) (/.f64 (*.f64 t t) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	49.2b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (/.f64 (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (cos.f64 k))) (*.f64 2 (log.f64 (/.f64 -1 l)))))) t) (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 k t) 2))))
	32.4b	(/.f64 2 (.f64 (pow.f64 (.f64 t (cbrt.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l))))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	23.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 2) 3) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))))) (pow.f64 (/.f64 k t) 2))))
	25.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 t (.f64 (pow.f64 (cbrt.f64 l) -2) (.f64 (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))) (pow.f64 (/.f64 k t) 2))))))

Compiler

Compiled 11534 to 6067 computations (47.4% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.2b	(.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 2) 3) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))))
	2.4b	(cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))
✓	11.0b	(.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 2) 3) (cbrt.f64 (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))))) (pow.f64 (/.f64 k t) 2))
✓	16.0b	(.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 2) 3) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))))) (pow.f64 (/.f64 k t) 2)))

series4.0s (10.2%)

Counts

3 → 108

Calls

3 calls:

2.0s

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

1.7s

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

276.0ms

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

rewrite214.0ms (0.5%)

Algorithm

3×	egg-rewrite

Rules

51×	`egg`
37×	`egg`
22×	`egg`

Counts

3 → 110

Calls

3 calls:

72.0ms

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

70.0ms

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

68.0ms

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	77
1	520	31
2	4229	31
3	4852	31
0	22	51
1	452	28
2	4528	28
3	5103	28
0	19	42
1	384	19
2	3901	19
3	4855	19

simplify161.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

352×	`associate-r_binary64`
339×	`associate-l_binary64`
332×	`unswap-sqr_binary64`
321×	`associate-/l*_binary64`
288×	`distribute-rgt-out_binary64`

Counts

218 → 146

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	118	3348
1	321	3177
2	916	3049
3	3716	2927
4	4987	2927

prune1.0s (2.7%)

Pruning

28 alts after pruning (26 fresh and 2 done)

	Pruned	Kept	Total
New	296	0	296
Fresh	0	26	26
Picked	0	1	1
Done	0	1	1
Total	296	28	324

Error

8.6b

Counts

324 → 28

Alt Table

Status	Error	Program
	41.0b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 3))) (pow.f64 (/.f64 k t) 2))))
	48.6b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (/.f64 (.f64 (pow.f64 k 2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (cos.f64 k))) (.f64 2 (log.f64 (/.f64 -1 l))))))) (*.f64 t (pow.f64 (cbrt.f64 -1) 2)))))
	30.3b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (cbrt.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))) (/.f64 (*.f64 k k) t))))
	23.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 2) 3) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	25.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 t (.f64 (pow.f64 (cbrt.f64 l) -2) (.f64 (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))) (pow.f64 (/.f64 k t) 2))))))
	55.8b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (/.f64 (.f64 (pow.f64 k 2) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (cos.f64 k))) (.f64 2 (log.f64 l)))))) t)))
	28.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)) (pow.f64 (/.f64 k t) 2)))
✓	23.8b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 2) 3) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))))) (pow.f64 (/.f64 k t) 2))))
	42.5b	(/.f64 2 (pow.f64 (.f64 (.f64 (/.f64 t (pow.f64 l 2/3)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (cbrt.f64 (/.f64 k t)) 2)) 3))
	25.3b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
✓	23.8b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	48.8b	(/.f64 2 (.f64 (.f64 (/.f64 t (pow.f64 l 2/3)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (.f64 (.f64 (/.f64 t (pow.f64 l 2/3)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (.f64 (/.f64 t (pow.f64 l 2/3)) (.f64 (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))) (pow.f64 (/.f64 k t) 2))))))
	47.4b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (*.f64 (sin.f64 k) (pow.f64 (cbrt.f64 (tan.f64 k)) 2)) 1/3) (cbrt.f64 (cbrt.f64 (tan.f64 k))))) (pow.f64 (/.f64 k t) 2))))
	37.6b	(/.f64 2 (.f64 (/.f64 k t) (.f64 (/.f64 k t) (.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)))))
	32.4b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (.f64 t (cbrt.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (*.f64 l l))))) (pow.f64 (/.f64 k t) 2))))
	49.6b	(/.f64 2 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2))
	31.1b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (+.f64 (.f64 1/18 (pow.f64 (pow.f64 k 8) 1/3)) (pow.f64 (pow.f64 k 2) 1/3))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	45.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (.f64 (.f64 (/.f64 t (pow.f64 l 2/3)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (/.f64 k t)) (/.f64 k t))))
	29.3b	(/.f64 2 (fma.f64 (/.f64 t l) (fma.f64 173/5040 (/.f64 (pow.f64 k 10) l) (/.f64 (pow.f64 k 4) l)) (.f64 (/.f64 t l) (fma.f64 1/6 (/.f64 (pow.f64 k 6) l) (.f64 31/360 (/.f64 (pow.f64 k 8) l))))))
	41.2b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (pow.f64 (.f64 (sin.f64 k) (tan.f64 k)) 1/6) 2)) (pow.f64 (/.f64 k t) 2))))
	32.0b	(/.f64 2 (fma.f64 t (/.f64 (pow.f64 k 4) (.f64 l l)) (.f64 (/.f64 t l) (fma.f64 1/6 (/.f64 (pow.f64 k 6) l) (*.f64 31/360 (/.f64 (pow.f64 k 8) l))))))
	40.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (pow.f64 (.f64 (/.f64 k t) (/.f64 (sqrt.f64 (.f64 t (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) (cbrt.f64 l))) 2)))
	37.4b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)) l) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	33.1b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t l) (/.f64 (*.f64 t t) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	49.2b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))) 2) (.f64 (/.f64 (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (cos.f64 k))) (*.f64 2 (log.f64 (/.f64 -1 l)))))) t) (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 k t) 2))))
	32.4b	(/.f64 2 (.f64 (pow.f64 (.f64 t (cbrt.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l))))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) (pow.f64 (/.f64 k t) 2))))
	23.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))))) 2) 3) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k)))))) (pow.f64 (/.f64 k t) 2))))
	25.9b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (tan.f64 k)))) 2) (.f64 t (.f64 (pow.f64 (cbrt.f64 l) -2) (.f64 (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))) (pow.f64 (/.f64 k t) 2))))))

Compiler

Compiled 15654 to 7827 computations (50% saved)

regimes2.1s (5.3%)

Accuracy

Total 4.9b remaining (33.3%)

Threshold costs 0b (0%)

Counts

128 → 6

Compiler

Compiled 27002 to 18366 computations (32% saved)

bsearch1.2s (3.1%)

Steps

Iters	Range		Point
8	6.418289956506045e+89	1.4660802970598288e+93	2.309802372999623e+92
7	2.2199763470568747e-144	3.169722827835026e-142	2.570052205725406e-142
11	-1.354368184421106e-296	1.705336814803595e-297	-1.4584328222929e-310
9	-3.540807820585727e-151	-7.344917589962133e-159	-1.0913728313287718e-156
11	-7.188942023187347e+174	-5.711481484303977e+151	-4.478607638891889e+152

Compiler

Compiled 4 to 3 computations (25% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

17×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	79	323
1	96	323
2	96	323

end1.0s (2.7%)

Compiler: Compiled 1540 to 1010 computations (34.4% saved)

Details

analyze3.4s (8.6%)

sample18.3s (47%)

simplify49.0ms (0.1%)

prune4.0ms (0%)

localize15.0ms (0%)

series368.0ms (0.9%)

rewrite295.0ms (0.8%)

simplify77.0ms (0.2%)

prune356.0ms (0.9%)

localize18.0ms (0%)

series4.1s (10.6%)

rewrite252.0ms (0.6%)

simplify159.0ms (0.4%)

prune779.0ms (2%)

localize24.0ms (0.1%)

series325.0ms (0.8%)

rewrite89.0ms (0.2%)

simplify63.0ms (0.2%)

prune502.0ms (1.3%)

localize25.0ms (0.1%)

series4.0s (10.2%)

rewrite214.0ms (0.5%)

simplify161.0ms (0.4%)

prune1.0s (2.7%)

regimes2.1s (5.3%)

bsearch1.2s (3.1%)

simplify7.0ms (0%)

end1.0s (2.7%)

Profiling