Details

analyze3.4s (12.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
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)

sample375.0ms (1.3%)

Algorithm

1×

intervals

Results

99.0ms	133×	body	1024	valid
73.0ms	25×	body	4096	invalid
60.0ms	37×	body	2048	invalid
36.0ms	31×	body	2048	valid
25.0ms	15×	body	4096	valid
19.0ms	42×	body	512	valid
12.0ms	19×	body	1024	invalid
10.0ms	17×	body	512	invalid
5.0ms	33×	body	128	invalid
5.0ms	14×	body	256	invalid
4.0ms	25×	body	128	valid
3.0ms	10×	body	256	valid

Compiler

Compiled 60 to 46 computations (23.3% saved)

simplify46.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	38
1	52	35
2	172	32
3	806	32
4	5185	32

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

41.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	41.1b	(/.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 72 to 51 computations (29.2% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
1.1b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
17.4b	(/.f64 (pow.f64 t 3) (*.f64 l l))
27.3b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite333.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

24.7b

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 → 187

Calls

4 calls:

15.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (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))
9.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Compiler

Compiled 4545 to 2196 computations (51.7% saved)

series241.0ms (0.9%)

Error

23.9b

Counts

4 → 42

Calls

4 calls:

79.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
74.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))
50.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
20.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Compiler

Compiled 2443 to 1837 computations (24.8% saved)

simplify181.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

601×	`unswap-sqr_binary64`
512×	`associate-l_binary64`
377×	`associate-r_binary64`
310×	`log-prod_binary64`
197×	`*-commutative_binary64`

Counts

229 → 205

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	317	5820
1	738	5130
2	3266	5081
3	4766	5081
4	5103	5081

prune131.0ms (0.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	194	11	205
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	195	11	206

Error

17.5b

Counts

206 → 11

Alt Table

Status	Error	Program
▶	25.2b	(/.f64 2 (/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (cos.f64 k) (*.f64 l l))))
	48.6b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 t (sqrt.f64 t)) l) (/.f64 (.f64 t (sqrt.f64 t)) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	33.7b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	49.8b	(/.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)))
	33.8b	(/.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)))
	43.4b	(/.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)))
	41.1b	(/.f64 2 (.f64 (/.f64 (.f64 (pow.f64 (sin.f64 k) 2) (/.f64 (pow.f64 t 3) (*.f64 l l))) (cos.f64 k)) (pow.f64 (/.f64 k t) 2)))
	39.8b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (.f64 (/.f64 k t) (cbrt.f64 (/.f64 k t)))) (pow.f64 (cbrt.f64 (/.f64 k t)) 2)))
	41.5b	(/.f64 2 (.f64 (/.f64 (.f64 (pow.f64 (sin.f64 k) 2) (pow.f64 t 3)) (.f64 (cos.f64 k) (.f64 l l))) (pow.f64 (/.f64 k t) 2)))
	33.6b	(/.f64 2 (/.f64 (.f64 t (pow.f64 k 4)) (.f64 l l)))
	33.7b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t l) (.f64 (sin.f64 k) (/.f64 (*.f64 t t) l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 3112 to 1674 computations (46.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (sin.f64 k) 2)
1.4b	(*.f64 t (pow.f64 (sin.f64 k) 2))
7.4b	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
21.1b	(/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (cos.f64 k) (*.f64 l l)))

rewrite208.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

12.1b

Rules

163×	`add-exp-log_binary64`
102×	`prod-exp_binary64`
87×	`add-cbrt-cube_binary64`
48×	`cbrt-unprod_binary64`
27×	`div-exp_binary64`

Counts

4 → 124

Calls

4 calls:

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

Compiler

Compiled 3349 to 1274 computations (62% saved)

series149.0ms (0.5%)

Error

17.5b

Counts

4 → 36

Calls

4 calls:

71.0ms	(/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (cos.f64 k) (*.f64 l l)))
28.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
20.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
8.0ms	(pow.f64 (sin.f64 k) 2)

Compiler

Compiled 1884 to 1306 computations (30.7% saved)

simplify123.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

481×	`times-frac_binary64`
464×	`associate-/l/_binary64`
323×	`associate-/r/_binary64`
244×	`cancel-sign-sub-inv_binary64`
241×	`associate-r_binary64`

Counts

160 → 123

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	220	4197
1	508	3112
2	2520	3100
3	4629	3100
4	4988	3100

prune77.0ms (0.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	117	6	123
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	119	15	134

Error

16.0b

Counts

134 → 15

Alt Table

Status	Error	Program
	29.1b	(/.f64 2 (/.f64 (.f64 (.f64 k k) (.f64 t (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 k) 2) 3)))) (.f64 (cos.f64 k) (*.f64 l l))))
	33.7b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	37.0b	(/.f64 2 (/.f64 (.f64 (.f64 k k) (cbrt.f64 (pow.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) 3))) (.f64 (cos.f64 k) (*.f64 l l))))
	33.8b	(/.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)))
	43.4b	(/.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)))
	25.1b	(/.f64 2 (/.f64 (.f64 (.f64 t (.f64 k k)) (pow.f64 (sin.f64 k) 2)) (.f64 (cos.f64 k) (*.f64 l l))))
	33.9b	(/.f64 2 (/.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) 3)) (.f64 (cos.f64 k) (*.f64 l l))))
	41.1b	(/.f64 2 (.f64 (/.f64 (.f64 (pow.f64 (sin.f64 k) 2) (/.f64 (pow.f64 t 3) (*.f64 l l))) (cos.f64 k)) (pow.f64 (/.f64 k t) 2)))
	49.8b	(/.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)))
▶	25.1b	(/.f64 2 (/.f64 (.f64 k k) (/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 l l)))))
	39.8b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (.f64 (/.f64 k t) (cbrt.f64 (/.f64 k t)))) (pow.f64 (cbrt.f64 (/.f64 k t)) 2)))
	46.0b	(/.f64 2 (.f64 (sqrt.f64 (/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (.f64 l l) (cos.f64 k)))) (sqrt.f64 (/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (*.f64 l l) (cos.f64 k))))))
	41.5b	(/.f64 2 (.f64 (/.f64 (.f64 (pow.f64 (sin.f64 k) 2) (pow.f64 t 3)) (.f64 (cos.f64 k) (.f64 l l))) (pow.f64 (/.f64 k t) 2)))
	48.6b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 t (sqrt.f64 t)) l) (/.f64 (.f64 t (sqrt.f64 t)) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	33.7b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t l) (.f64 (sin.f64 k) (/.f64 (*.f64 t t) l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 1846 to 1008 computations (45.4% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.7b	(/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l)))
1.4b	(*.f64 t (pow.f64 (sin.f64 k) 2))
12.2b	(/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l))
17.1b	(/.f64 (.f64 k k) (/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 l l))))

rewrite322.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

4.1b

Rules

167×	`add-exp-log_binary64`
92×	`add-cbrt-cube_binary64`
79×	`div-exp_binary64`
76×	`times-frac_binary64`
53×	`prod-exp_binary64`

Counts

4 → 184

Calls

4 calls:

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

Compiler

Compiled 5352 to 2277 computations (57.5% saved)

series225.0ms (0.8%)

Error

16.0b

Counts

4 → 45

Calls

4 calls:

72.0ms	(/.f64 (.f64 k k) (/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 l l))))
61.0ms	(/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l)))
43.0ms	(/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l))
19.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))

Compiler

Compiled 2403 to 1711 computations (28.8% saved)

simplify223.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

321×	`times-frac_binary64`
278×	`associate-/l*_binary64`
263×	`associate-/r/_binary64`
226×	`log-div_binary64`
213×	`associate-/r*_binary64`

Counts

229 → 175

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	327	6915
1	767	5725
2	3335	5678
3	4609	5676
4	4991	5676
5	4969	5676

prune137.0ms (0.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	165	10	175
Fresh	10	4	14
Picked	1	0	1
Done	0	0	0
Total	176	14	190

Error

4.4b

Counts

190 → 14

Alt Table

Status	Error	Program
	18.5b	(/.f64 2 (/.f64 (.f64 k k) (.f64 (/.f64 l t) (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) l)))))
	33.7b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	18.3b	(/.f64 2 (.f64 (.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (/.f64 k (.f64 (cbrt.f64 (cos.f64 k)) (cbrt.f64 (cos.f64 k))))) (/.f64 k (.f64 (.f64 l l) (cbrt.f64 (cos.f64 k))))))
	33.8b	(/.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)))
	43.8b	(/.f64 2 (.f64 (.f64 k (sqrt.f64 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l)))) (/.f64 k (/.f64 (cos.f64 k) (sqrt.f64 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l)))))))
	33.7b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t l) (.f64 (sin.f64 k) (/.f64 (*.f64 t t) l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	25.0b	(/.f64 2 (/.f64 (.f64 k k) (.f64 (/.f64 1 (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (*.f64 l l) (cos.f64 k)))))
	49.8b	(/.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)))
	11.7b	(/.f64 2 (/.f64 (.f64 k (.f64 k (/.f64 t l))) (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) l))))
	32.3b	(/.f64 2 (/.f64 (*.f64 (/.f64 k (/.f64 (sqrt.f64 (cos.f64 k)) (/.f64 t l))) k) (/.f64 (sqrt.f64 (cos.f64 k)) (/.f64 (pow.f64 (sin.f64 k) 2) l))))
	12.2b	(/.f64 2 (/.f64 (.f64 (/.f64 k (/.f64 (.f64 (cbrt.f64 (cos.f64 k)) (cbrt.f64 (cos.f64 k))) (/.f64 t l))) k) (/.f64 (cbrt.f64 (cos.f64 k)) (/.f64 (pow.f64 (sin.f64 k) 2) l))))
	21.5b	(/.f64 2 (.f64 (/.f64 k (cos.f64 k)) (.f64 k (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l)))))
	18.2b	(/.f64 2 (.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (/.f64 k (.f64 (*.f64 l l) (cos.f64 k)))))
▶	8.5b	(/.f64 2 (.f64 (.f64 k (/.f64 t l)) (/.f64 k (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) l)))))

Compiler

Compiled 2963 to 1452 computations (51% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (sin.f64 k) 2)
1.4b	(.f64 (.f64 k (/.f64 t l)) (/.f64 k (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) l))))
2.0b	(/.f64 (pow.f64 (sin.f64 k) 2) l)
6.8b	(*.f64 k (/.f64 t l))

rewrite796.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

1.0b

Rules

769×	`times-frac_binary64`
348×	`add-sqr-sqrt_binary64`
343×	`*-un-lft-identity_binary64`
343×	`add-cube-cbrt_binary64`
285×	`associate-r_binary64`

Counts

4 → 415

Calls

4 calls:

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

Compiler

Compiled 14364 to 5897 computations (58.9% saved)

series147.0ms (0.5%)

Error

4.4b

Counts

4 → 36

Calls

4 calls:

74.0ms	(.f64 (.f64 k (/.f64 t l)) (/.f64 k (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) l))))
25.0ms	(*.f64 k (/.f64 t l))
22.0ms	(/.f64 (pow.f64 (sin.f64 k) 2) l)
9.0ms	(pow.f64 (sin.f64 k) 2)

Compiler

Compiled 1822 to 1273 computations (30.1% saved)

simplify549.0ms (2%)

Algorithm

1×	egg-herbie

Rules

832×	`associate-/r/_binary64`
813×	`times-frac_binary64`
662×	`associate-/l/_binary64`
271×	`*-commutative_binary64`
268×	`associate-*r/_binary64`

Counts

451 → 391

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	813	12781
1	2341	11196
2	4631	11196
3	4141	11081
4	4824	11081
5	4925	11081
6	4996	11081
7	4915	11081

prune446.0ms (1.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	379	12	391
Fresh	12	1	13
Picked	1	0	1
Done	0	0	0
Total	392	13	405

Error

0.7b

Counts

405 → 13

Alt Table

Status	Error	Program
	19.9b	(/.f64 2 (/.f64 (.f64 k (.f64 k t)) (*.f64 l (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) l)))))
	5.1b	(/.f64 2 (.f64 (.f64 (.f64 k (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 (cbrt.f64 t) l)) (/.f64 k (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) l)))))
	4.2b	(/.f64 2 (.f64 (.f64 (/.f64 (.f64 k t) l) (/.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) (/.f64 (.f64 (cbrt.f64 (cos.f64 k)) (cbrt.f64 (cos.f64 k))) (/.f64 (sin.f64 k) (.f64 (cbrt.f64 l) (cbrt.f64 l)))))) (/.f64 (cbrt.f64 k) (/.f64 (cbrt.f64 (cos.f64 k)) (/.f64 (sin.f64 k) (cbrt.f64 l))))))
	7.9b	(/.f64 2 (.f64 (.f64 k (/.f64 t l)) (/.f64 k (/.f64 (cos.f64 k) (*.f64 (sin.f64 k) (/.f64 (sin.f64 k) l))))))
	13.2b	(/.f64 2 (.f64 (.f64 k (/.f64 t l)) (/.f64 k (/.f64 (cos.f64 k) (/.f64 (cbrt.f64 (pow.f64 (sin.f64 k) 6)) l)))))
	34.3b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 k t) l) (sqrt.f64 (/.f64 k (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) l))))) (sqrt.f64 (/.f64 k (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) l))))))
	18.2b	(/.f64 2 (.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (/.f64 k (.f64 (*.f64 l l) (cos.f64 k)))))
	5.2b	(/.f64 2 (.f64 (.f64 (/.f64 (/.f64 (.f64 k t) l) (.f64 (cbrt.f64 (cos.f64 k)) (cbrt.f64 (cos.f64 k)))) (pow.f64 (sin.f64 k) 2)) (/.f64 k (/.f64 (cbrt.f64 (cos.f64 k)) (/.f64 1 l)))))
	8.8b	(/.f64 2 (.f64 (.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) (.f64 (/.f64 t l) (cbrt.f64 k))) (/.f64 k (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) l)))))
	7.3b	(/.f64 2 (.f64 (.f64 (/.f64 (.f64 k t) l) (.f64 (*.f64 (cbrt.f64 k) (cbrt.f64 k)) (pow.f64 (sin.f64 k) 2))) (/.f64 (cbrt.f64 k) (/.f64 (cos.f64 k) (/.f64 1 l)))))
	33.6b	(/.f64 2 (.f64 (/.f64 (/.f64 (.f64 k t) l) (/.f64 (*.f64 (cbrt.f64 (cos.f64 k)) (cbrt.f64 (cos.f64 k))) (/.f64 (sin.f64 k) (sqrt.f64 l)))) (/.f64 k (/.f64 (cbrt.f64 (cos.f64 k)) (/.f64 (sin.f64 k) (sqrt.f64 l))))))
	7.1b	(/.f64 2 (/.f64 (.f64 k (/.f64 (.f64 k t) l)) (/.f64 (cos.f64 k) (/.f64 (pow.f64 (sin.f64 k) 2) l))))
	33.5b	(/.f64 2 (.f64 (.f64 (/.f64 (.f64 k t) l) (/.f64 (sqrt.f64 k) (/.f64 (.f64 (cbrt.f64 (cos.f64 k)) (cbrt.f64 (cos.f64 k))) (sin.f64 k)))) (/.f64 (sqrt.f64 k) (/.f64 (cbrt.f64 (cos.f64 k)) (/.f64 (sin.f64 k) l)))))

Compiler

Compiled 10105 to 3710 computations (63.3% saved)

regimes4.8s (17.1%)

Accuracy

Total 2.1b remaining (72.4%)

Threshold costs 0b (0%)

Compiler

Compiled 85651 to 55444 computations (35.3% saved)

bsearch26.0ms (0.1%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`1-exp_binary64`
1×	`unpow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	81
1	41	81
2	39	81

end1.0ms (0%)

Compiler: Compiled 55 to 31 computations (43.6% saved)

sample15.0s (53.6%)

Algorithm

1×

intervals

Results

4.1s	1211×	body	4096	invalid
3.0s	3949×	body	1024	valid
2.5s	1141×	body	2048	invalid
1.3s	1016×	body	2048	valid
1.1s	440×	body	4096	valid
734.0ms	1319×	body	512	valid
471.0ms	641×	body	1024	invalid
264.0ms	457×	body	512	invalid
181.0ms	1087×	body	128	invalid
171.0ms	465×	body	256	valid
142.0ms	811×	body	128	valid
100.0ms	309×	body	256	invalid

Compiler

Compiled 475 to 290 computations (38.9% saved)

Details

analyze3.4s (12.1%)

sample375.0ms (1.3%)

simplify46.0ms (0.2%)

prune4.0ms (0%)

localize16.0ms (0.1%)

rewrite333.0ms (1.2%)

series241.0ms (0.9%)

simplify181.0ms (0.6%)

prune131.0ms (0.5%)

localize14.0ms (0.1%)

rewrite208.0ms (0.7%)

series149.0ms (0.5%)

simplify123.0ms (0.4%)

prune77.0ms (0.3%)

localize22.0ms (0.1%)

rewrite322.0ms (1.2%)

series225.0ms (0.8%)

simplify223.0ms (0.8%)

prune137.0ms (0.5%)

localize16.0ms (0.1%)

rewrite796.0ms (2.8%)

series147.0ms (0.5%)

simplify549.0ms (2%)

prune446.0ms (1.6%)

regimes4.8s (17.1%)

bsearch26.0ms (0.1%)

simplify7.0ms (0%)

end1.0ms (0%)

sample15.0s (53.6%)

Profiling