Details

analyze3.3s (10.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)

sample560.0ms (1.8%)

Algorithm

1×

intervals

Results

144.0ms	47×	body	4096	invalid
101.0ms	41×	body	2048	invalid
90.0ms	125×	body	1024	valid
35.0ms	28×	body	2048	valid
29.0ms	11×	body	4096	valid
25.0ms	26×	body	1024	invalid
20.0ms	36×	body	512	valid
15.0ms	23×	body	512	invalid
6.0ms	36×	body	128	valid
6.0ms	20×	body	256	valid
5.0ms	32×	body	128	invalid
1.0ms	4×	body	256	invalid

Compiler

Compiled 60 to 46 computations (23.3% saved)

simplify36.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

38.7b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	38.7b	(/.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))
✓	0.6b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
✓	18.0b	(/.f64 (pow.f64 t 3) (*.f64 l l))
✓	25.0b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

series353.0ms (1.1%)

Counts

4 → 132

Calls

4 calls:

134.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))
67.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
33.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

rewrite61.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

228×	`add-exp-log_binary64`
139×	`prod-exp_binary64`
52×	`add-cbrt-cube_binary64`
51×	`div-exp_binary64`
37×	`times-frac_binary64`

Counts

4 → 195

Calls

4 calls:

16.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))
9.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
8.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
5.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

simplify193.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

601×	`unswap-sqr_binary64`
512×	`associate-l_binary64`
377×	`associate-r_binary64`
198×	`fma-def_binary64`
197×	`*-commutative_binary64`

Counts

327 → 268

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	325	7680
1	754	6984
2	3315	6927
3	4897	6927
4	5040	6927

prune478.0ms (1.5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	251	17	268
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	252	17	269

Error

13.8b

Counts

269 → 17

Alt Table

Status	Error	Program
	54.9b	(/.f64 2 (.f64 (.f64 (.f64 (exp.f64 (-.f64 (.f64 (log.f64 t) 3) (+.f64 (log.f64 l) (log.f64 l)))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	46.3b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3/2) l) (/.f64 (pow.f64 t 3/2) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	38.2b	(/.f64 2 (/.f64 (.f64 (.f64 (.f64 (pow.f64 t 3) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)) (.f64 l l)))
	30.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	30.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) 3) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	31.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t (/.f64 l (/.f64 (.f64 t t) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	45.0b	(/.f64 2 (.f64 (.f64 k (.f64 k (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)))) (pow.f64 (/.f64 1 t) 2)))
	30.4b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) 3) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3) l) (sin.f64 k))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	33.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) (/.f64 l (/.f64 t l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	42.0b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (.f64 k (cbrt.f64 k))) (pow.f64 (/.f64 (cbrt.f64 k) t) 2)))
▶	22.6b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	49.4b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (sqrt.f64 (/.f64 k t)) 2)) (pow.f64 (sqrt.f64 (/.f64 k t)) 2)))
	38.7b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (.f64 (cbrt.f64 (tan.f64 k)) (cbrt.f64 (tan.f64 k)))) (cbrt.f64 (tan.f64 k))) (pow.f64 (/.f64 k t) 2)))
	59.4b	(/.f64 2 (exp.f64 (+.f64 (+.f64 (+.f64 (-.f64 (.f64 (log.f64 t) 3) (log.f64 (.f64 l l))) (log.f64 (sin.f64 k))) (log.f64 (tan.f64 k))) (*.f64 (log.f64 (/.f64 k t)) 2))))
	35.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 1 l) (.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	60.5b	(/.f64 2 (exp.f64 (+.f64 (log.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k))) (.f64 (-.f64 (log.f64 k) (log.f64 t)) 2))))
	33.1b	(/.f64 2 (fma.f64 1/6 (/.f64 (.f64 t (pow.f64 k 6)) (.f64 l l)) (/.f64 (.f64 t (pow.f64 k 4)) (.f64 l l))))

Compiler

Compiled 8822 to 4607 computations (47.8% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (sin.f64 k) 2)
✓	1.4b	(*.f64 t (pow.f64 (sin.f64 k) 2))
✓	4.4b	(.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))
✓	20.4b	(/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2)))

series191.0ms (0.6%)

Counts

4 → 16

Calls

4 calls:

144.0ms	(/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2)))
27.0ms	(.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))
16.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
3.0ms	(pow.f64 (sin.f64 k) 2)

rewrite38.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

222×	`add-exp-log_binary64`
147×	`prod-exp_binary64`
52×	`div-exp_binary64`
50×	`pow-exp_binary64`
50×	`pow-to-exp_binary64`

Counts

4 → 155

Calls

4 calls:

9.0ms	(/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2)))
7.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
6.0ms	(.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))
2.0ms	(pow.f64 (sin.f64 k) 2)

simplify96.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

643×	`associate-*l/_binary64`
378×	`fma-def_binary64`
333×	`times-frac_binary64`
299×	`associate-/l/_binary64`
262×	`associate-/r/_binary64`

Counts

171 → 188

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	218	4015
1	515	3411
2	2234	3387
3	5146	3387

prune435.0ms (1.4%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	177	11	188
Fresh	5	11	16
Picked	1	0	1
Done	0	0	0
Total	183	22	205

Error

11.7b

Counts

205 → 22

Alt Table

Status	Error	Program
	49.4b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (sqrt.f64 (/.f64 k t)) 2)) (pow.f64 (sqrt.f64 (/.f64 k t)) 2)))
▶	21.1b	(/.f64 2 (/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (cos.f64 k) (pow.f64 l 2))))
	54.9b	(/.f64 2 (.f64 (.f64 (.f64 (exp.f64 (-.f64 (.f64 (log.f64 t) 3) (+.f64 (log.f64 l) (log.f64 l)))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	46.3b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3/2) l) (/.f64 (pow.f64 t 3/2) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	22.6b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 (.f64 t (sin.f64 k)) (sin.f64 k))) (.f64 (cos.f64 k) (pow.f64 l 2))))
	30.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	22.8b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 (.f64 t (pow.f64 (cbrt.f64 (sin.f64 k)) 4)) (pow.f64 (cbrt.f64 (sin.f64 k)) 2))) (.f64 (cos.f64 k) (pow.f64 l 2))))
	21.9b	(/.f64 2 (/.f64 (pow.f64 k 2) (/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l)))))
	30.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) 3) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	31.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t (/.f64 l (/.f64 (.f64 t t) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	45.0b	(/.f64 2 (.f64 (.f64 k (.f64 k (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)))) (pow.f64 (/.f64 1 t) 2)))
	21.9b	(/.f64 2 (/.f64 (pow.f64 k 2) (/.f64 (.f64 (cos.f64 k) (pow.f64 l 2)) (.f64 t (pow.f64 (sin.f64 k) 2)))))
	30.4b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) 3) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3) l) (sin.f64 k))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	33.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) (/.f64 l (/.f64 t l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	42.0b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (.f64 k (cbrt.f64 k))) (pow.f64 (/.f64 (cbrt.f64 k) t) 2)))
	42.2b	(/.f64 2 (/.f64 (.f64 (sqrt.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))) (sqrt.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))))) (.f64 (cos.f64 k) (pow.f64 l 2))))
	22.6b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (expm1.f64 (log1p.f64 (pow.f64 (sin.f64 k) 2))))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	35.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 1 l) (.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	59.0b	(/.f64 2 (exp.f64 (-.f64 (+.f64 (.f64 (log.f64 k) 2) (+.f64 (log.f64 t) (.f64 (log.f64 (sin.f64 k)) 2))) (log.f64 (*.f64 (cos.f64 k) (pow.f64 l 2))))))
	22.6b	(/.f64 2 (.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (/.f64 1 (.f64 (cos.f64 k) (pow.f64 l 2)))))
	22.6b	(/.f64 2 (/.f64 1 (/.f64 (.f64 (cos.f64 k) (pow.f64 l 2)) (.f64 (pow.f64 k 2) (*.f64 t (pow.f64 (sin.f64 k) 2))))))
	21.7b	(/.f64 2 (/.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) 2) (.f64 (pow.f64 (cbrt.f64 k) 2) (.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (cos.f64 k) (pow.f64 l 2))))

Compiler

Compiled 6133 to 3918 computations (36.1% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 2 (/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (cos.f64 k) (pow.f64 l 2))))
	0.5b	(pow.f64 (sin.f64 k) 2)
	1.4b	(*.f64 t (pow.f64 (sin.f64 k) 2))
✓	20.4b	(/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (cos.f64 k) (pow.f64 l 2)))

series347.0ms (1.1%)

Counts

2 → 72

Calls

2 calls:

219.0ms	(/.f64 2 (/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (cos.f64 k) (pow.f64 l 2))))
128.0ms	(/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (cos.f64 k) (pow.f64 l 2)))

rewrite71.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

236×	`add-exp-log_binary64`
132×	`prod-exp_binary64`
76×	`add-cbrt-cube_binary64`
73×	`div-exp_binary64`
32×	`cbrt-unprod_binary64`

Counts

2 → 117

Calls

2 calls:

40.0ms	(/.f64 2 (/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (cos.f64 k) (pow.f64 l 2))))
10.0ms	(/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (cos.f64 k) (pow.f64 l 2)))

simplify161.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

666×	`associate-/l/_binary64`
509×	`times-frac_binary64`
289×	`associate-/r*_binary64`
251×	`associate-/l*_binary64`
250×	`associate-r_binary64`

Counts

189 → 162

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	234	6944
1	563	5870
2	2701	5842
3	4904	5840
4	4974	5840

prune645.0ms (2.1%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	229	9	238
Fresh	8	13	21
Picked	1	0	1
Done	0	0	0
Total	238	22	260

Error

10.9b

Counts

260 → 22

Alt Table

Status	Error	Program
	21.1b	(/.f64 2 (/.f64 (.f64 k (.f64 k (.f64 (.f64 t (sin.f64 k)) (sin.f64 k)))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	21.3b	(.f64 (.f64 (cbrt.f64 (/.f64 2 (/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (cos.f64 k) (pow.f64 l 2))))) (cbrt.f64 (/.f64 2 (/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (cos.f64 k) (pow.f64 l 2)))))) (cbrt.f64 (/.f64 2 (/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (cos.f64 k) (pow.f64 l 2))))))
	22.9b	(.f64 (/.f64 2 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (cos.f64 k) (pow.f64 l 2)))
	54.9b	(/.f64 2 (.f64 (.f64 (.f64 (exp.f64 (-.f64 (.f64 (log.f64 t) 3) (+.f64 (log.f64 l) (log.f64 l)))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	46.3b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3/2) l) (/.f64 (pow.f64 t 3/2) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	19.5b	(/.f64 2 (/.f64 k (/.f64 (.f64 (cos.f64 k) (pow.f64 l 2)) (.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2))))))
	35.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 1 l) (.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	59.0b	(/.f64 2 (exp.f64 (-.f64 (+.f64 (.f64 (log.f64 k) 2) (+.f64 (log.f64 t) (.f64 (log.f64 (sin.f64 k)) 2))) (log.f64 (*.f64 (cos.f64 k) (pow.f64 l 2))))))
	19.6b	(.f64 (/.f64 1 (/.f64 k (cos.f64 k))) (/.f64 2 (/.f64 (.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 l 2))))
	22.8b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 (.f64 t (pow.f64 (cbrt.f64 (sin.f64 k)) 4)) (pow.f64 (cbrt.f64 (sin.f64 k)) 2))) (.f64 (cos.f64 k) (pow.f64 l 2))))
	21.9b	(/.f64 2 (/.f64 (pow.f64 k 2) (/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l)))))
	21.2b	(.f64 (/.f64 (sqrt.f64 2) 1) (/.f64 (sqrt.f64 2) (/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (cos.f64 k) (pow.f64 l 2)))))
	30.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) 3) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	31.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t (/.f64 l (/.f64 (.f64 t t) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	30.4b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) 3) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3) l) (sin.f64 k))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	33.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) (/.f64 l (/.f64 t l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	42.0b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (.f64 k (cbrt.f64 k))) (pow.f64 (/.f64 (cbrt.f64 k) t) 2)))
▶	19.5b	(/.f64 (/.f64 2 (/.f64 k (cos.f64 k))) (/.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 l 2)))
	30.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	35.9b	(/.f64 2 (cbrt.f64 (/.f64 (pow.f64 k 6) (pow.f64 (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) (/.f64 (*.f64 l l) t))) 3))))
	31.9b	(.f64 (/.f64 (.f64 l l) t) (-.f64 (/.f64 2 (pow.f64 k 4)) (/.f64 1/3 (*.f64 k k))))
	21.7b	(/.f64 2 (/.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) 2) (.f64 (pow.f64 (cbrt.f64 k) 2) (.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (cos.f64 k) (pow.f64 l 2))))

Compiler

Compiled 8203 to 4785 computations (41.7% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(pow.f64 (sin.f64 k) 2)
	1.4b	(*.f64 t (pow.f64 (sin.f64 k) 2))
✓	1.8b	(/.f64 (/.f64 2 (/.f64 k (cos.f64 k))) (/.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 l 2)))
✓	18.3b	(/.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 l 2))

series304.0ms (1%)

Counts

2 → 40

Calls

2 calls:

215.0ms	(/.f64 (/.f64 2 (/.f64 k (cos.f64 k))) (/.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 l 2)))
89.0ms	(/.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 l 2))

rewrite185.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

1754×	`times-frac_binary64`
596×	`*-un-lft-identity_binary64`
596×	`add-sqr-sqrt_binary64`
596×	`add-cube-cbrt_binary64`
273×	`add-exp-log_binary64`

Counts

2 → 705

Calls

2 calls:

24.0ms	(/.f64 (/.f64 2 (/.f64 k (cos.f64 k))) (/.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 l 2)))
7.0ms	(/.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 l 2))

simplify1.1s (3.4%)

Algorithm

1×	egg-herbie

Rules

857×	`associate-/l/_binary64`
823×	`times-frac_binary64`
749×	`associate-/r/_binary64`
103×	`associate-/r*_binary64`
100×	`sub-neg_binary64`

Counts

745 → 1094

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	1255	37654
1	3505	34599
2	4613	34595
3	4642	34523
4	4939	34523
5	4915	34523

prune2.9s (9.2%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	1154	16	1170
Fresh	16	5	21
Picked	1	0	1
Done	0	0	0
Total	1171	21	1192

Error

2.2b

Counts

1192 → 21

Alt Table

Status	Error	Program
	13.3b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 2) (cbrt.f64 2)) (.f64 (cbrt.f64 k) (cbrt.f64 k))) (/.f64 k (pow.f64 (cbrt.f64 l) 4))) (/.f64 (/.f64 (cbrt.f64 2) (/.f64 (cbrt.f64 k) (cos.f64 k))) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (cbrt.f64 l) 2))))
	5.9b	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (/.f64 k (cos.f64 k))) (cbrt.f64 (/.f64 k (cos.f64 k))))) (/.f64 k l)) (/.f64 (/.f64 2 (cbrt.f64 (/.f64 k (cos.f64 k)))) (/.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) l)))
	13.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 2 (/.f64 k (cos.f64 k)))) (cbrt.f64 (/.f64 2 (/.f64 k (cos.f64 k))))) (/.f64 k (pow.f64 (cbrt.f64 l) 4))) (/.f64 (cbrt.f64 (/.f64 2 (/.f64 k (cos.f64 k)))) (/.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (cbrt.f64 l) 2))))
	4.9b	(.f64 (/.f64 1 (/.f64 k l)) (/.f64 (/.f64 2 (/.f64 k (cos.f64 k))) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) l)))
	34.0b	(.f64 (/.f64 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 k) (.f64 (cbrt.f64 (cos.f64 k)) (cbrt.f64 (cos.f64 k))))) (/.f64 k l)) (/.f64 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 k) (cbrt.f64 (cos.f64 k)))) (/.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) l)))
	5.0b	(.f64 (/.f64 (sqrt.f64 2) (/.f64 k l)) (/.f64 (/.f64 (sqrt.f64 2) (/.f64 k (cos.f64 k))) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) l)))
	14.0b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 2) (cbrt.f64 2)) k) (/.f64 k (pow.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 2))) (/.f64 (/.f64 (cbrt.f64 2) (/.f64 1 (cos.f64 k))) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (cbrt.f64 l) 2))))
	9.8b	(/.f64 (/.f64 2 (/.f64 k (cos.f64 k))) (/.f64 (/.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) l) l))
	57.6b	(/.f64 (/.f64 2 (/.f64 k (cos.f64 k))) (fma.f64 (/.f64 (pow.f64 k 3) l) (/.f64 t l) (.f64 -1/3 (/.f64 (.f64 t (pow.f64 k 5)) (*.f64 l l)))))
	31.9b	(.f64 (/.f64 (.f64 l l) t) (-.f64 (/.f64 2 (pow.f64 k 4)) (/.f64 1/3 (*.f64 k k))))
	6.8b	(/.f64 (/.f64 (/.f64 2 (/.f64 k (cos.f64 k))) (/.f64 k l)) (/.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) l))
	5.9b	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 k) (cbrt.f64 k))) (/.f64 k l)) (/.f64 (/.f64 2 (/.f64 (cbrt.f64 k) (cos.f64 k))) (/.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) l)))
	21.6b	(.f64 (/.f64 (/.f64 (sqrt.f64 2) k) (.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (/.f64 (/.f64 (sqrt.f64 2) (/.f64 1 (cos.f64 k))) (/.f64 1 (pow.f64 l 2))))
	12.8b	(/.f64 (/.f64 2 (/.f64 k (cos.f64 k))) (.f64 (/.f64 k (pow.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 2)) (/.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (cbrt.f64 l) 2))))
	20.4b	(.f64 (/.f64 (sqrt.f64 2) k) (/.f64 (/.f64 (sqrt.f64 2) (/.f64 k (cos.f64 k))) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 l l))))
	46.3b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3/2) l) (/.f64 (pow.f64 t 3/2) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	21.8b	(.f64 (/.f64 (/.f64 1 k) (/.f64 k 1)) (/.f64 (/.f64 2 (/.f64 1 (cos.f64 k))) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 l 2))))
	59.0b	(/.f64 2 (exp.f64 (-.f64 (+.f64 (.f64 (log.f64 k) 2) (+.f64 (log.f64 t) (.f64 (log.f64 (sin.f64 k)) 2))) (log.f64 (*.f64 (cos.f64 k) (pow.f64 l 2))))))
	30.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	35.9b	(/.f64 2 (cbrt.f64 (/.f64 (pow.f64 k 6) (pow.f64 (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) (/.f64 (*.f64 l l) t))) 3))))
	5.8b	(.f64 (/.f64 (/.f64 (sqrt.f64 2) (.f64 (cbrt.f64 (/.f64 k (cos.f64 k))) (cbrt.f64 (/.f64 k (cos.f64 k))))) (/.f64 k l)) (/.f64 (/.f64 (sqrt.f64 2) (cbrt.f64 (/.f64 k (cos.f64 k)))) (/.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) l)))

Compiler

Compiled 42518 to 22030 computations (48.2% saved)

regimes4.7s (15.2%)

Accuracy

Total 2.8b remaining (40.7%)

Threshold costs 0b (0%)

Counts

564 → 1

Compiler

Compiled 110226 to 77397 computations (29.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	32
1	22	32
2	21	32

end1.0ms (0%)

Compiler: Compiled 24 to 17 computations (29.2% saved)

sample15.0s (48.1%)

Algorithm

1×

intervals

Results

4.1s	1224×	body	4096	invalid
3.0s	3883×	body	1024	valid
2.4s	1057×	body	2048	invalid
1.2s	992×	body	2048	valid
1.1s	480×	body	4096	valid
673.0ms	1347×	body	512	valid
634.0ms	723×	body	1024	invalid
236.0ms	480×	body	512	invalid
186.0ms	1052×	body	128	invalid
182.0ms	472×	body	256	valid
148.0ms	826×	body	128	valid
89.0ms	291×	body	256	invalid

Compiler

Compiled 694 to 481 computations (30.7% saved)

Details

analyze3.3s (10.6%)

sample560.0ms (1.8%)

simplify36.0ms (0.1%)

prune4.0ms (0%)

localize15.0ms (0%)

series353.0ms (1.1%)

rewrite61.0ms (0.2%)

simplify193.0ms (0.6%)

prune478.0ms (1.5%)

localize14.0ms (0%)

series191.0ms (0.6%)

rewrite38.0ms (0.1%)

simplify96.0ms (0.3%)

prune435.0ms (1.4%)

localize13.0ms (0%)

series347.0ms (1.1%)

rewrite71.0ms (0.2%)

simplify161.0ms (0.5%)

prune645.0ms (2.1%)

localize18.0ms (0.1%)

series304.0ms (1%)

rewrite185.0ms (0.6%)

simplify1.1s (3.4%)

prune2.9s (9.2%)

regimes4.7s (15.2%)

simplify3.0ms (0%)

end1.0ms (0%)

sample15.0s (48.1%)

Profiling