Details

analyze2.8s (17.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
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)

sample137.0ms (0.9%)

Algorithm

1×

intervals

Results

62.0ms	84×	body	1024	valid
22.0ms	47×	body	512	valid
17.0ms	105×	body	128	valid
8.0ms	49×	body	128	invalid
7.0ms	20×	body	256	valid
3.0ms	7×	body	512	invalid
1.0ms	2×	body	1024	invalid
1.0ms	2×	body	256	invalid

Compiler

Compiled 60 to 46 computations (23.3% saved)

simplify58.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

627×	`distribute-rgt-in_binary64`
623×	`distribute-lft-in_binary64`
431×	`associate-/r/_binary64`
404×	`associate-/r*_binary64`
395×	`fma-def_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	38
1	54	35
2	181	35
3	898	35
4	3262	35
5	4861	35
6	4933	35
7	5155	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

31.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	31.3b	(/.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
✓	1.7b	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
✓	2.5b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
✓	13.8b	(.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.3b	(/.f64 (pow.f64 t 3) (*.f64 l l))

series456.0ms (2.9%)

Counts

4 → 132

Calls

4 calls:

220.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)))
127.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
74.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
35.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

rewrite57.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

108×	`add-exp-log_binary64`
58×	`prod-exp_binary64`
52×	`add-cbrt-cube_binary64`
28×	`times-frac_binary64`
26×	`add-sqr-sqrt_binary64`

Counts

4 → 167

Calls

4 calls:

18.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)))
10.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
9.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 (1.2%)

Algorithm

1×	egg-herbie

Rules

693×	`fma-def_binary64`
569×	`associate-l_binary64`
436×	`associate-r_binary64`
248×	`*-commutative_binary64`
210×	`log-prod_binary64`

Counts

299 → 234

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	315	7807
1	869	7006
2	3862	6945
3	4830	6945
4	5036	6945

prune340.0ms (2.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	222	12	234
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	223	12	235

Error

12.3b

Counts

235 → 12

Alt Table

Status	Error	Program
	31.3b	(/.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))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	23.8b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t (/.f64 l (/.f64 (.f64 t t) l))) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
▶	23.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	28.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 t 3)) (cbrt.f64 (pow.f64 t 3))) (/.f64 l (/.f64 t l))) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	31.4b	(/.f64 2 (/.f64 (.f64 (.f64 (.f64 (pow.f64 t 3) (sin.f64 k)) (sin.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))) (.f64 (*.f64 l l) (cos.f64 k))))
	25.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) (/.f64 l (/.f64 t l))) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	46.8b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 t) 3) (/.f64 (.f64 l l) (pow.f64 (sqrt.f64 t) 3))) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	30.7b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	31.3b	(/.f64 2 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k))) (cbrt.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)))) (cbrt.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))))
	42.9b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 t) 3) l) (/.f64 (pow.f64 (sqrt.f64 t) 3) l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	38.0b	(/.f64 2 (fma.f64 (/.f64 t l) (/.f64 (pow.f64 k 4) l) (fma.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) (pow.f64 k 4)) (.f64 l l)) (fma.f64 31/180 (/.f64 (.f64 (pow.f64 t 3) (pow.f64 k 6)) (.f64 l l)) (fma.f64 2 (/.f64 (.f64 (pow.f64 t 3) (.f64 k k)) (.f64 l l)) (.f64 1/6 (/.f64 (.f64 t (pow.f64 k 6)) (.f64 l l))))))))
	43.5b	(/.f64 2 (.f64 (.f64 (*.f64 (/.f64 (pow.f64 t (/.f64 3 2)) (/.f64 l (/.f64 (pow.f64 t 3/2) l))) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))

Compiler

Compiled 8576 to 4820 computations (43.8% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.5b	(.f64 (.f64 (/.f64 (.f64 t t) l) (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))
✓	2.9b	(*.f64 (/.f64 t l) (sin.f64 k))
✓	8.1b	(/.f64 (*.f64 t t) l)
✓	13.8b	(.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

series368.0ms (2.3%)

Counts

4 → 132

Calls

4 calls:

204.0ms	(.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
132.0ms	(.f64 (.f64 (/.f64 (.f64 t t) l) (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))
21.0ms	(*.f64 (/.f64 t l) (sin.f64 k))
11.0ms	(/.f64 (*.f64 t t) l)

rewrite73.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

120×	`add-cbrt-cube_binary64`
120×	`add-exp-log_binary64`
70×	`cbrt-unprod_binary64`
70×	`prod-exp_binary64`
44×	`associate-*l/_binary64`

Counts

4 → 167

Calls

4 calls:

23.0ms	(.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
13.0ms	(.f64 (.f64 (/.f64 (.f64 t t) l) (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))
5.0ms	(*.f64 (/.f64 t l) (sin.f64 k))
3.0ms	(/.f64 (*.f64 t t) l)

simplify240.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

709×	`fma-def_binary64`
668×	`associate-r_binary64`
357×	`*-commutative_binary64`
255×	`associate-*l/_binary64`
183×	`distribute-rgt-in_binary64`

Counts

299 → 266

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	366	8901
1	1100	7091
2	3652	7057
3	4718	7057
4	4971	7057
5	4931	7057

prune452.0ms (2.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	257	9	266
Fresh	7	4	11
Picked	1	0	1
Done	0	0	0
Total	265	13	278

Error

9.0b

Counts

278 → 13

Alt Table

Status	Error	Program
	17.4b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 t (cbrt.f64 l))) (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	26.5b	(/.f64 2 (/.f64 (.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (.f64 (tan.f64 k) (/.f64 (*.f64 (sin.f64 k) (pow.f64 t 3)) l))) l))
	30.7b	(/.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.5b	(/.f64 2 (/.f64 (.f64 (.f64 (.f64 (.f64 t t) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))) l))
	43.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (fma.f64 (/.f64 (.f64 t (pow.f64 k 3)) l) -1/6 (/.f64 (.f64 k t) l))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	43.5b	(/.f64 2 (.f64 (.f64 (*.f64 (/.f64 (pow.f64 t (/.f64 3 2)) (/.f64 l (/.f64 (pow.f64 t 3/2) l))) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	23.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (.f64 t (.f64 (/.f64 1 l) (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	22.9b	(/.f64 2 (.f64 (.f64 (/.f64 (.f64 t t) l) (.f64 (/.f64 t l) (sin.f64 k))) (*.f64 (tan.f64 k) (+.f64 2 (pow.f64 (/.f64 k t) 2)))))
▶	17.2b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 t (/.f64 t l)) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	23.5b	(/.f64 2 (/.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 t (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))) l))
	42.9b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 t) 3) l) (/.f64 (pow.f64 (sqrt.f64 t) 3) l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	38.0b	(/.f64 2 (fma.f64 (/.f64 t l) (/.f64 (pow.f64 k 4) l) (fma.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) (pow.f64 k 4)) (.f64 l l)) (fma.f64 31/180 (/.f64 (.f64 (pow.f64 t 3) (pow.f64 k 6)) (.f64 l l)) (fma.f64 2 (/.f64 (.f64 (pow.f64 t 3) (.f64 k k)) (.f64 l l)) (.f64 1/6 (/.f64 (.f64 t (pow.f64 k 6)) (.f64 l l))))))))
	23.1b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (sqrt.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)))) (sqrt.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)))))

Compiler

Compiled 10452 to 4461 computations (57.3% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(.f64 (.f64 t (/.f64 t l)) (*.f64 (/.f64 t l) (sin.f64 k)))
✓	2.5b	(.f64 (.f64 (.f64 t (/.f64 t l)) (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))
	2.9b	(*.f64 (/.f64 t l) (sin.f64 k))
✓	13.8b	(.f64 (.f64 (.f64 (.f64 t (/.f64 t l)) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

series395.0ms (2.5%)

Counts

3 → 108

Calls

3 calls:

196.0ms

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

125.0ms

(*.f64 (*.f64 (*.f64 t (/.f64 t l)) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))

73.0ms

(*.f64 (*.f64 t (/.f64 t l)) (*.f64 (/.f64 t l) (sin.f64 k)))

rewrite71.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

145×	`add-cbrt-cube_binary64`
145×	`add-exp-log_binary64`
94×	`cbrt-unprod_binary64`
94×	`prod-exp_binary64`
58×	`pow1_binary64`

Counts

3 → 151

Calls

3 calls:

22.0ms

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

12.0ms

(*.f64 (*.f64 (*.f64 t (/.f64 t l)) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))

8.0ms

(*.f64 (*.f64 t (/.f64 t l)) (*.f64 (/.f64 t l) (sin.f64 k)))

simplify232.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

883×	`times-frac_binary64`
537×	`fma-def_binary64`
446×	`*-commutative_binary64`
201×	`distribute-lft-in_binary64`
201×	`distribute-rgt-in_binary64`

Counts

259 → 230

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	313	9435
1	1035	7300
2	2673	7264
3	4738	7264
4	5000	7264
5	4914	7264

prune499.0ms (3.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	286	6	292
Fresh	7	5	12
Picked	1	0	1
Done	0	0	0
Total	294	11	305

Error

8.2b

Counts

305 → 11

Alt Table

Status	Error	Program
	43.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (fma.f64 (/.f64 (.f64 t (pow.f64 k 3)) l) -1/6 (/.f64 (.f64 k t) l))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	18.5b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 t (/.f64 t l)) (*.f64 t (/.f64 (sin.f64 k) l))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	23.1b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (sqrt.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)))) (sqrt.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)))))
▶	16.7b	(/.f64 2 (.f64 (.f64 (.f64 t (.f64 (/.f64 t l) (*.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	20.3b	(/.f64 2 (.f64 (.f64 (/.f64 (.f64 (.f64 t (/.f64 t l)) (*.f64 t (sin.f64 k))) l) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	17.3b	(/.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t (/.f64 t l)) (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t (/.f64 t l)) (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t (/.f64 t l)) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))))
	26.5b	(/.f64 2 (/.f64 (.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (.f64 (tan.f64 k) (/.f64 (*.f64 (sin.f64 k) (pow.f64 t 3)) l))) l))
	30.7b	(/.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.8b	(/.f64 2 (.f64 (.f64 (.f64 t (/.f64 t l)) (.f64 (/.f64 t l) (sin.f64 k))) (*.f64 (tan.f64 k) (+.f64 2 (pow.f64 (/.f64 k t) 2)))))
	20.8b	(/.f64 2 (/.f64 (.f64 (.f64 (.f64 (.f64 t (/.f64 t l)) (*.f64 t (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))) l))
	38.0b	(/.f64 2 (fma.f64 (/.f64 t l) (/.f64 (pow.f64 k 4) l) (fma.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) (pow.f64 k 4)) (.f64 l l)) (fma.f64 31/180 (/.f64 (.f64 (pow.f64 t 3) (pow.f64 k 6)) (.f64 l l)) (fma.f64 2 (/.f64 (.f64 (pow.f64 t 3) (.f64 k k)) (.f64 l l)) (.f64 1/6 (/.f64 (.f64 t (pow.f64 k 6)) (.f64 l l))))))))

Compiler

Compiled 11479 to 4774 computations (58.4% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 t (.f64 (/.f64 t l) (*.f64 (/.f64 t l) (sin.f64 k))))
✓	2.5b	(.f64 (.f64 t (.f64 (/.f64 t l) (.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k))
	2.9b	(*.f64 (/.f64 t l) (sin.f64 k))
✓	13.8b	(.f64 (.f64 (.f64 t (.f64 (/.f64 t l) (*.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

series416.0ms (2.7%)

Counts

3 → 108

Calls

3 calls:

200.0ms

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

122.0ms

(*.f64 (*.f64 t (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k))

94.0ms

(*.f64 t (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) (sin.f64 k))))

rewrite73.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

118×	`add-cbrt-cube_binary64`
118×	`add-exp-log_binary64`
76×	`cbrt-unprod_binary64`
76×	`prod-exp_binary64`
46×	`associate-*l/_binary64`

Counts

3 → 138

Calls

3 calls:

21.0ms

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

12.0ms

(*.f64 (*.f64 t (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k))

10.0ms

(*.f64 t (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) (sin.f64 k))))

simplify157.0ms (1%)

Algorithm

1×	egg-herbie

Rules

757×	`associate-r_binary64`
639×	`fma-def_binary64`
486×	`distribute-rgt-in_binary64`
359×	`*-commutative_binary64`
175×	`unswap-sqr_binary64`

Counts

246 → 218

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	312	8785
1	980	6966
2	3316	6750
3	5126	6750

prune448.0ms (2.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	277	3	280
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	280	11	291

Error

6.8b

Counts

291 → 11

Alt Table

Status	Error	Program
	20.8b	(/.f64 2 (/.f64 (.f64 (.f64 (.f64 (.f64 t (/.f64 t l)) (*.f64 t (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))) l))
	24.6b	(/.f64 2 (.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 l l)) (+.f64 (/.f64 (.f64 (.f64 k k) t) (cos.f64 k)) (*.f64 2 (/.f64 (pow.f64 t 3) (cos.f64 k))))))
	20.3b	(/.f64 2 (.f64 (.f64 (/.f64 (.f64 (.f64 t (/.f64 t l)) (*.f64 t (sin.f64 k))) l) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	16.3b	(/.f64 2 (.f64 (.f64 t (.f64 (.f64 (/.f64 t l) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k))) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	17.3b	(/.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t (/.f64 t l)) (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t (/.f64 t l)) (.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t (/.f64 t l)) (*.f64 (/.f64 t l) (sin.f64 k))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))))
	26.5b	(/.f64 2 (/.f64 (.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (.f64 (tan.f64 k) (/.f64 (*.f64 (sin.f64 k) (pow.f64 t 3)) l))) l))
	30.7b	(/.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.8b	(/.f64 2 (.f64 (.f64 (.f64 t (/.f64 t l)) (.f64 (/.f64 t l) (sin.f64 k))) (*.f64 (tan.f64 k) (+.f64 2 (pow.f64 (/.f64 k t) 2)))))
	38.0b	(/.f64 2 (fma.f64 (/.f64 t l) (/.f64 (pow.f64 k 4) l) (fma.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) (pow.f64 k 4)) (.f64 l l)) (fma.f64 31/180 (/.f64 (.f64 (pow.f64 t 3) (pow.f64 k 6)) (.f64 l l)) (fma.f64 2 (/.f64 (.f64 (pow.f64 t 3) (.f64 k k)) (.f64 l l)) (.f64 1/6 (/.f64 (.f64 t (pow.f64 k 6)) (.f64 l l))))))))
	18.5b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 t (/.f64 t l)) (*.f64 t (/.f64 (sin.f64 k) l))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))
	37.2b	(/.f64 2 (.f64 (.f64 (.f64 t (.f64 (/.f64 t l) (fma.f64 (/.f64 (.f64 t (pow.f64 k 3)) l) -1/6 (/.f64 (.f64 k t) l)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))))

Compiler

Compiled 10526 to 4452 computations (57.7% saved)

regimes3.4s (21.8%)

Accuracy

Total 5.1b remaining (39.7%)

Threshold costs 0b (0%)

Counts

261 → 3

Compiler

Compiled 54861 to 36883 computations (32.8% saved)

bsearch163.0ms (1%)

Steps

Iters	Range		Point
7	2.3605448899700725e-76	1.6052194237196577e-74	1.0122439625780458e-75
8	-3.140168305540904e-27	-5.220990398120522e-39	-2.703589942320006e-37

Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`if-if-or-not_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	95
1	51	95
2	51	95

end1.0ms (0%)

Compiler: Compiled 65 to 42 computations (35.4% saved)

sample4.6s (29.3%)

Algorithm

1×

intervals

Results

2.0s	2695×	body	1024	valid
616.0ms	3411×	body	128	valid
614.0ms	1247×	body	512	valid
283.0ms	1351×	body	128	invalid
207.0ms	635×	body	256	valid
75.0ms	80×	body	1024	invalid
60.0ms	123×	body	512	invalid
30.0ms	96×	body	256	invalid
14.0ms	12×	body	2048	valid

Compiler

Compiled 495 to 314 computations (36.6% saved)

Details

analyze2.8s (17.6%)

sample137.0ms (0.9%)

simplify58.0ms (0.4%)

prune4.0ms (0%)

localize16.0ms (0.1%)

series456.0ms (2.9%)

rewrite57.0ms (0.4%)

simplify193.0ms (1.2%)

prune340.0ms (2.2%)

localize16.0ms (0.1%)

series368.0ms (2.3%)

rewrite73.0ms (0.5%)

simplify240.0ms (1.5%)

prune452.0ms (2.9%)

localize17.0ms (0.1%)

series395.0ms (2.5%)

rewrite71.0ms (0.5%)

simplify232.0ms (1.5%)

prune499.0ms (3.2%)

localize21.0ms (0.1%)

series416.0ms (2.7%)

rewrite73.0ms (0.5%)

simplify157.0ms (1%)

prune448.0ms (2.9%)

regimes3.4s (21.8%)

bsearch163.0ms (1%)

simplify3.0ms (0%)

end1.0ms (0%)

sample4.6s (29.3%)

Profiling