Details

analyze2.6s (18%)

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%	93.6%	6.4%	8
9.4%	84.3%	6.4%	9
14.8%	75.7%	9.5%	10
16%	71.4%	12.6%	11
20.9%	65.7%	13.4%	12
24.2%	60.5%	15.3%	13
24.8%	58.6%	16.6%	14

Compiler

Compiled 31 to 24 computations (22.6% saved)

sample155.0ms (1.1%)

Algorithm

1×

intervals

Results

54.0ms	69×	body	1024	valid
36.0ms	23×	body	256	valid
23.0ms	39×	body	512	valid
23.0ms	125×	body	128	valid
4.0ms	26×	body	128	invalid
1.0ms	6×	body	128	nan

Compiler

Compiled 64 to 50 computations (21.9% saved)

simplify204.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

924×	`distribute-rgt-neg-in_binary64`
851×	`associate-/l/_binary64`
781×	`sub-neg_binary64`
736×	`div-sub_binary64`
686×	`distribute-lft-neg-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	37
1	48	32
2	91	32
3	167	32
4	340	32
5	966	32
6	2349	32
7	3829	32
8	4128	32
9	4267	32
10	4587	32
11	4821	32
12	3214	32
13	4236	32
14	3641	32
15	4779	32
16	4957	32
17	4632	32

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

12.8b

Counts

2 → 2

Alt Table

Status	Error	Program
	12.9b	(+.f64 (neg.f64 (.f64 x (/.f64 1 (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 2 x)) (neg.f64 (/.f64 1 2)))))
▶	12.8b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 x 2)) -1/2)) (/.f64 x (tan.f64 B)))

Status

Error

Program

12.9b

(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2)))))

▶

12.8b

(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)) (/.f64 x (tan.f64 B)))

Compiler

Compiled 132 to 97 computations (26.5% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 F (sin.f64 B))
0.1b	(/.f64 x (tan.f64 B))
6.7b	(.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 x 2)) -1/2))
18.0b	(pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 x 2)) -1/2)

rewrite248.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

10.7b

Rules

44×	`add-sqr-sqrt_binary64`
31×	`*-un-lft-identity_binary64`
31×	`add-cube-cbrt_binary64`
30×	`times-frac_binary64`
22×	`add-exp-log_binary64`

Counts

4 → 115

Calls

4 calls:

11.0ms	(.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 x 2)) -1/2))
7.0ms	(pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 x 2)) -1/2)
4.0ms	(/.f64 x (tan.f64 B))
2.0ms	(/.f64 F (sin.f64 B))

Compiler

Compiled 3321 to 1540 computations (53.6% saved)

series308.0ms (2.2%)

Error

0.2b

Counts

4 → 49

Calls

4 calls:

111.0ms	(pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 x 2)) -1/2)
94.0ms	(.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 x 2)) -1/2))
37.0ms	(/.f64 x (tan.f64 B))
20.0ms	(/.f64 F (sin.f64 B))

Compiler

Compiled 4183 to 2948 computations (29.5% saved)

simplify149.0ms (1%)

Algorithm

1×	egg-herbie

Rules

854×	`associate-/l*_binary64`
271×	`associate-/r/_binary64`
247×	`associate-/l/_binary64`
193×	`cancel-sign-sub-inv_binary64`
181×	`associate-r_binary64`

Counts

164 → 104

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	380	4142
1	929	3919
2	2822	3756
3	5584	3756

prune132.0ms (0.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	94	10	104
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	95	11	106

Error

0.1b

Counts

106 → 11

Alt Table

Status	Error	Program
▶	11.7b	(-.f64 (.f64 (/.f64 (.f64 (cbrt.f64 F) (cbrt.f64 F)) 1) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (/.f64 (cbrt.f64 F) (sin.f64 B)))) (/.f64 x (tan.f64 B)))
	12.9b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4))) (/.f64 x (tan.f64 B)))
	13.1b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)) (cbrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2))) (cbrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2)))) (/.f64 x (tan.f64 B)))
	41.0b	(-.f64 (+.f64 (+.f64 (/.f64 x (.f64 (.f64 F F) (sin.f64 B))) (/.f64 1 (.f64 (.f64 F F) (sin.f64 B)))) (/.f64 -1 (sin.f64 B))) (/.f64 x (tan.f64 B)))
	13.1b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2))) (cbrt.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)))) (cbrt.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2)))) (/.f64 x (tan.f64 B)))
	16.4b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (cbrt.f64 (pow.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) 3))) (/.f64 x (tan.f64 B)))
	12.9b	(+.f64 (neg.f64 (.f64 x (/.f64 1 (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 2 x)) (neg.f64 (/.f64 1 2)))))
	13.4b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 x 2)) -1/2)) (.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (tan.f64 B))))
	36.6b	(-.f64 (-.f64 (/.f64 1 (sin.f64 B)) (+.f64 (/.f64 x (.f64 (.f64 F F) (sin.f64 B))) (/.f64 1 (.f64 (.f64 F F) (sin.f64 B))))) (/.f64 x (tan.f64 B)))
	32.6b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 x 2)) -1/2)) (.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (tan.f64 B))))
	53.9b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (-.f64 (+.f64 (.f64 (/.f64 -3/2 (pow.f64 F 5)) (.f64 x x)) (+.f64 (.f64 3 (/.f64 (neg.f64 x) (pow.f64 F 5))) (+.f64 (/.f64 -1 F) (/.f64 -3/2 (pow.f64 F 5))))) (+.f64 (.f64 15/2 (/.f64 (neg.f64 (.f64 x x)) (pow.f64 F 7))) (+.f64 (/.f64 -1 (pow.f64 F 3)) (+.f64 (.f64 15/2 (/.f64 (neg.f64 x) (pow.f64 F 7))) (+.f64 (.f64 (/.f64 -5/2 (pow.f64 F 7)) (pow.f64 x 3)) (+.f64 (/.f64 (neg.f64 x) (pow.f64 F 3)) (/.f64 -5/2 (pow.f64 F 7))))))))) (/.f64 x (tan.f64 B)))

Compiler

Compiled 3600 to 1980 computations (45% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 F)
0.6b	(cbrt.f64 F)
2.5b	(.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (/.f64 (cbrt.f64 F) (sin.f64 B)))
18.0b	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)

rewrite200.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

44×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
24×	`times-frac_binary64`
23×	`add-cube-cbrt_binary64`
22×	`associate-r_binary64`

Counts

4 → 96

Calls

4 calls:

15.0ms	(.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (/.f64 (cbrt.f64 F) (sin.f64 B)))
5.0ms	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)
1.0ms	(cbrt.f64 F)
1.0ms	(cbrt.f64 F)

Compiler

Compiled 3665 to 1620 computations (55.8% saved)

series214.0ms (1.5%)

Error

0.1b

Counts

4 → 32

Calls

4 calls:

89.0ms	(.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (/.f64 (cbrt.f64 F) (sin.f64 B)))
52.0ms	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)
17.0ms	(cbrt.f64 F)
16.0ms	(cbrt.f64 F)

Compiler

Compiled 3853 to 2738 computations (28.9% saved)

simplify208.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

768×	`times-frac_binary64`
210×	`associate-r_binary64`
202×	`associate-l_binary64`
192×	`unswap-sqr_binary64`
176×	`log-prod_binary64`

Counts

128 → 108

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	288	3668
1	711	3437
2	2344	3273
3	4482	3221
4	4695	3221
5	4985	3221
6	4994	3221
7	4918	3221

prune169.0ms (1.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	108	11	119

Error

0.1b

Counts

119 → 11

Alt Table

Status	Error	Program
✓	11.7b	(-.f64 (.f64 (/.f64 (.f64 (cbrt.f64 F) (cbrt.f64 F)) 1) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (/.f64 (cbrt.f64 F) (sin.f64 B)))) (/.f64 x (tan.f64 B)))
▶	12.9b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4))) (/.f64 x (tan.f64 B)))
	13.1b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)) (cbrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2))) (cbrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2)))) (/.f64 x (tan.f64 B)))
	41.0b	(-.f64 (+.f64 (+.f64 (/.f64 x (.f64 (.f64 F F) (sin.f64 B))) (/.f64 1 (.f64 (.f64 F F) (sin.f64 B)))) (/.f64 -1 (sin.f64 B))) (/.f64 x (tan.f64 B)))
	13.1b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2))) (cbrt.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)))) (cbrt.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2)))) (/.f64 x (tan.f64 B)))
	16.4b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (cbrt.f64 (pow.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) 3))) (/.f64 x (tan.f64 B)))
	12.9b	(+.f64 (neg.f64 (.f64 x (/.f64 1 (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 2 x)) (neg.f64 (/.f64 1 2)))))
	13.4b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 x 2)) -1/2)) (.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (tan.f64 B))))
	36.6b	(-.f64 (-.f64 (/.f64 1 (sin.f64 B)) (+.f64 (/.f64 x (.f64 (.f64 F F) (sin.f64 B))) (/.f64 1 (.f64 (.f64 F F) (sin.f64 B))))) (/.f64 x (tan.f64 B)))
	32.6b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 x 2)) -1/2)) (.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (tan.f64 B))))
	53.9b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (-.f64 (+.f64 (.f64 (/.f64 -3/2 (pow.f64 F 5)) (.f64 x x)) (+.f64 (.f64 3 (/.f64 (neg.f64 x) (pow.f64 F 5))) (+.f64 (/.f64 -1 F) (/.f64 -3/2 (pow.f64 F 5))))) (+.f64 (.f64 15/2 (/.f64 (neg.f64 (.f64 x x)) (pow.f64 F 7))) (+.f64 (/.f64 -1 (pow.f64 F 3)) (+.f64 (.f64 15/2 (/.f64 (neg.f64 x) (pow.f64 F 7))) (+.f64 (.f64 (/.f64 -5/2 (pow.f64 F 7)) (pow.f64 x 3)) (+.f64 (/.f64 (neg.f64 x) (pow.f64 F 3)) (/.f64 -5/2 (pow.f64 F 7))))))))) (/.f64 x (tan.f64 B)))

Compiler

Compiled 3960 to 2040 computations (48.5% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/4))
6.7b	(.f64 (/.f64 F (sin.f64 B)) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4)))
18.5b	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4)
18.5b	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4)

rewrite255.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

74×	`add-exp-log_binary64`
47×	`prod-exp_binary64`
41×	`*-un-lft-identity_binary64`
38×	`add-sqr-sqrt_binary64`
34×	`unpow-prod-down_binary64`

Counts

4 → 143

Calls

4 calls:

17.0ms	(.f64 (/.f64 F (sin.f64 B)) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4)))
15.0ms	(.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/4))
6.0ms	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4)
5.0ms	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4)

Compiler

Compiled 5340 to 3015 computations (43.5% saved)

series304.0ms (2.1%)

Error

0.1b

Counts

4 → 56

Calls

4 calls:

84.0ms	(.f64 (/.f64 F (sin.f64 B)) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4)))
54.0ms	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4)
54.0ms	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4)
37.0ms	(.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/4))

Compiler

Compiled 6292 to 4606 computations (26.8% saved)

simplify224.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

319×	`associate-r_binary64`
252×	`cancel-sign-sub-inv_binary64`
191×	`sub-neg_binary64`
188×	`*-commutative_binary64`
188×	`unswap-sqr_binary64`

Counts

199 → 173

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	383	6598
1	971	6060
2	3238	5843
3	4679	5763
4	4899	5763
5	4916	5763

prune190.0ms (1.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	1	8	9
Picked	0	1	1
Done	0	1	1
Total	173	11	184

Error

0.1b

Counts

184 → 11

Alt Table

Status	Error	Program
✓	11.7b	(-.f64 (.f64 (/.f64 (.f64 (cbrt.f64 F) (cbrt.f64 F)) 1) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (/.f64 (cbrt.f64 F) (sin.f64 B)))) (/.f64 x (tan.f64 B)))
✓	12.9b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4))) (/.f64 x (tan.f64 B)))
	13.1b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)) (cbrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2))) (cbrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2)))) (/.f64 x (tan.f64 B)))
	41.0b	(-.f64 (+.f64 (+.f64 (/.f64 x (.f64 (.f64 F F) (sin.f64 B))) (/.f64 1 (.f64 (.f64 F F) (sin.f64 B)))) (/.f64 -1 (sin.f64 B))) (/.f64 x (tan.f64 B)))
	44.6b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (+.f64 (/.f64 -1 F) (+.f64 (/.f64 x (pow.f64 F 3)) (/.f64 1 (pow.f64 F 3))))) (/.f64 x (tan.f64 B)))
	13.1b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2))) (cbrt.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)))) (cbrt.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2)))) (/.f64 x (tan.f64 B)))
	16.4b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (cbrt.f64 (pow.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) 3))) (/.f64 x (tan.f64 B)))
▶	12.9b	(+.f64 (neg.f64 (.f64 x (/.f64 1 (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 2 x)) (neg.f64 (/.f64 1 2)))))
	13.4b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 x 2)) -1/2)) (.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (tan.f64 B))))
	36.6b	(-.f64 (-.f64 (/.f64 1 (sin.f64 B)) (+.f64 (/.f64 x (.f64 (.f64 F F) (sin.f64 B))) (/.f64 1 (.f64 (.f64 F F) (sin.f64 B))))) (/.f64 x (tan.f64 B)))
	32.6b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 x 2)) -1/2)) (.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (tan.f64 B))))

Compiler

Compiled 5050 to 2913 computations (42.3% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (tan.f64 B))
0.3b	(*.f64 x (/.f64 1 (tan.f64 B)))
6.7b	(.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2))))
18.0b	(pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 2 x)) (neg.f64 (/.f64 1 2)))

rewrite277.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

65×	`add-sqr-sqrt_binary64`
50×	`times-frac_binary64`
46×	`*-un-lft-identity_binary64`
45×	`add-cube-cbrt_binary64`
31×	`add-exp-log_binary64`

Counts

4 → 163

Calls

4 calls:

13.0ms	(.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2))))
8.0ms	(pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 2 x)) (neg.f64 (/.f64 1 2)))
7.0ms	(*.f64 x (/.f64 1 (tan.f64 B)))
4.0ms	(/.f64 1 (tan.f64 B))

Compiler

Compiled 5515 to 3414 computations (38.1% saved)

series238.0ms (1.7%)

Error

0.1b

Counts

4 → 46

Calls

4 calls:

85.0ms	(.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2))))
50.0ms	(pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 2 x)) (neg.f64 (/.f64 1 2)))
34.0ms	(*.f64 x (/.f64 1 (tan.f64 B)))
14.0ms	(/.f64 1 (tan.f64 B))

Compiler

Compiled 4384 to 3227 computations (26.4% saved)

simplify252.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

262×	`cancel-sign-sub-inv_binary64`
241×	`associate-r_binary64`
231×	`associate-l_binary64`
221×	`neg-mul-1_binary64`
185×	`*-commutative_binary64`

Counts

209 → 171

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	399	4711
1	992	4459
2	3190	4298
3	4561	4268
4	4922	4268
5	4990	4268
6	4993	4268
7	4904	4268

prune213.0ms (1.5%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	167	4	171
Fresh	3	5	8
Picked	0	1	1
Done	0	2	2
Total	170	12	182

Error

0.1b

Counts

182 → 12

Alt Table

Status	Error	Program
	13.3b	(+.f64 (neg.f64 (.f64 (.f64 (cbrt.f64 (/.f64 x (tan.f64 B))) (cbrt.f64 (/.f64 x (tan.f64 B)))) (cbrt.f64 (/.f64 x (tan.f64 B))))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2)))))
	11.7b	(-.f64 (.f64 (/.f64 (.f64 (cbrt.f64 F) (cbrt.f64 F)) 1) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (/.f64 (cbrt.f64 F) (sin.f64 B)))) (/.f64 x (tan.f64 B)))
	12.9b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4))) (/.f64 x (tan.f64 B)))
	13.1b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)) (cbrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2))) (cbrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2)))) (/.f64 x (tan.f64 B)))
	41.0b	(-.f64 (+.f64 (+.f64 (/.f64 x (.f64 (.f64 F F) (sin.f64 B))) (/.f64 1 (.f64 (.f64 F F) (sin.f64 B)))) (/.f64 -1 (sin.f64 B))) (/.f64 x (tan.f64 B)))
	13.1b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2))) (cbrt.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)))) (cbrt.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2)))) (/.f64 x (tan.f64 B)))
	16.4b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (cbrt.f64 (pow.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) 3))) (/.f64 x (tan.f64 B)))
	35.9b	(+.f64 (neg.f64 (.f64 x (/.f64 1 (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (/.f64 -1 F)))
	12.9b	(+.f64 (neg.f64 (.f64 (/.f64 x (sin.f64 B)) (cos.f64 B))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 2 x)) (neg.f64 (/.f64 1 2)))))
	39.3b	(+.f64 (neg.f64 (.f64 (/.f64 x (sqrt.f64 (tan.f64 B))) (/.f64 1 (sqrt.f64 (tan.f64 B))))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 2 x)) (neg.f64 (/.f64 1 2)))))
	12.9b	(+.f64 (neg.f64 (.f64 x (/.f64 1 (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 2 x)) (neg.f64 (/.f64 1 2)))))
	36.6b	(-.f64 (-.f64 (/.f64 1 (sin.f64 B)) (+.f64 (/.f64 x (.f64 (.f64 F F) (sin.f64 B))) (/.f64 1 (.f64 (.f64 F F) (sin.f64 B))))) (/.f64 x (tan.f64 B)))

Compiler

Compiled 4701 to 2819 computations (40% saved)

regimes3.4s (24.1%)

Accuracy

Total 0.2b remaining (74%)

Threshold costs 0.2b (74%)

Compiler

Compiled 48236 to 33408 computations (30.7% saved)

bsearch157.0ms (1.1%)

Steps

Iters	Range		Point
8	6.572204865003705	82272.2274380498	80529.85004951496
7	-4404716879892098600.0	-21173342722969136.0	-21717636853701800.0

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`+-commutative_binary64`
9×	`*-commutative_binary64`
9×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	148
1	60	148
2	74	148
3	89	148
4	97	148
5	100	148
6	98	148

end1.0ms (0%)

Compiler: Compiled 99 to 48 computations (51.5% saved)

sample4.0s (28.4%)

Algorithm

1×

intervals

Results

1.8s	2198×	body	1024	valid
717.0ms	4153×	body	128	valid
546.0ms	1108×	body	512	valid
177.0ms	537×	body	256	valid
111.0ms	704×	body	128	invalid
16.0ms	124×	body	128	nan
7.0ms	4×	body	2048	valid

Compiler

Compiled 557 to 356 computations (36.1% saved)

Details

analyze2.6s (18%)

sample155.0ms (1.1%)

simplify204.0ms (1.4%)

prune5.0ms (0%)

localize18.0ms (0.1%)

rewrite248.0ms (1.7%)

series308.0ms (2.2%)

simplify149.0ms (1%)

prune132.0ms (0.9%)

localize25.0ms (0.2%)

rewrite200.0ms (1.4%)

series214.0ms (1.5%)

simplify208.0ms (1.5%)

prune169.0ms (1.2%)

localize19.0ms (0.1%)

rewrite255.0ms (1.8%)

series304.0ms (2.1%)

simplify224.0ms (1.6%)

prune190.0ms (1.3%)

localize23.0ms (0.2%)

rewrite277.0ms (1.9%)

series238.0ms (1.7%)

simplify252.0ms (1.8%)

prune213.0ms (1.5%)

regimes3.4s (24.1%)

bsearch157.0ms (1.1%)

simplify8.0ms (0.1%)

end1.0ms (0%)

sample4.0s (28.4%)

Profiling