Details

analyze2.7s (21.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%	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)

sample125.0ms (1%)

Algorithm

1×

intervals

Results

61.0ms	76×	body	1024	valid
22.0ms	124×	body	128	valid
21.0ms	39×	body	512	valid
5.0ms	17×	body	256	valid
2.0ms	14×	body	128	invalid

Compiler

Compiled 64 to 50 computations (21.9% saved)

simplify202.0ms (1.6%)

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 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 x 2)) -1/2)) (/.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)))))

Status

Error

Program

▶

12.9b

(-.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)))

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)))))

Compiler

Compiled 132 to 97 computations (26.5% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite219.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

10.0b

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:

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

Compiler

Compiled 3321 to 1540 computations (53.6% saved)

series281.0ms (2.3%)

Error

0.1b

Counts

4 → 43

Calls

4 calls:

96.0ms	(/.f64 x (tan.f64 B))
84.0ms	(.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 x 2)) -1/2))
46.0ms	(pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 x 2)) -1/2)
18.0ms	(/.f64 F (sin.f64 B))

Compiler

Compiled 3571 to 2499 computations (30% saved)

simplify105.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

830×	`associate-/l*_binary64`
267×	`associate-/r/_binary64`
239×	`associate-/l/_binary64`
157×	`cancel-sign-sub-inv_binary64`
145×	`associate-r_binary64`

Counts

158 → 98

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	347	3726
1	837	3513
2	2557	3405
3	5152	3405

prune109.0ms (0.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	87	11	98
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	88	12	100

Error

0.1b

Counts

100 → 12

Alt Table

Status	Error	Program
▶	10.3b	(-.f64 (.f64 F (/.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (sin.f64 B))) (/.f64 x (tan.f64 B)))
	38.7b	(-.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)))
	40.7b	(-.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)))
	11.2b	(-.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (/.f64 F (cbrt.f64 (sin.f64 B))))) (/.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)))))
	33.7b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (/.f64 -1 F)) (/.f64 x (tan.f64 B)))
	36.5b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (/.f64 1 F)) (/.f64 x (tan.f64 B)))
	12.9b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (pow.f64 (sqrt.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F)))) -1/2) (pow.f64 (sqrt.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F)))) -1/2))) (/.f64 x (tan.f64 B)))
	35.4b	(-.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))))
	13.5b	(-.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))))
	33.4b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 x 2)) -1/2)) (cbrt.f64 (pow.f64 (/.f64 x (tan.f64 B)) 3)))
	12.9b	(-.f64 (.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/4)) (sqrt.f64 (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (.f64 x 2)) -1/2))) (/.f64 x (tan.f64 B)))

Compiler

Compiled 3101 to 1654 computations (46.7% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 x (tan.f64 B))
0.3b	(.f64 F (/.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (sin.f64 B)))
0.4b	(/.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2) (sin.f64 B))
16.7b	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)

rewrite323.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

63×	`*-un-lft-identity_binary64`
60×	`times-frac_binary64`
57×	`add-sqr-sqrt_binary64`
47×	`add-cube-cbrt_binary64`
33×	`unpow-prod-down_binary64`

Counts

4 → 146

Calls

4 calls:

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

Compiler

Compiled 4501 to 2383 computations (47.1% saved)

series248.0ms (2%)

Error

0.0b

Counts

4 → 50

Calls

4 calls:

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

Compiler

Compiled 4383 to 3054 computations (30.3% saved)

simplify172.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

409×	`associate-/r/_binary64`
189×	`sub-neg_binary64`
182×	`associate-/l*_binary64`
166×	`associate-/r*_binary64`
163×	`cancel-sign-sub-inv_binary64`

Counts

196 → 157

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	418	5812
1	1003	5470
2	3255	5332
3	4992	5332
4	4926	5332

prune192.0ms (1.6%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	153	4	157
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	155	14	169

Error

0.1b

Counts

169 → 14

Alt Table

Status	Error	Program
	32.6b	(-.f64 (*.f64 F (/.f64 (/.f64 1 F) (sin.f64 B))) (/.f64 x (tan.f64 B)))
	12.9b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (pow.f64 (sqrt.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F)))) -1/2) (pow.f64 (sqrt.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F)))) -1/2))) (/.f64 x (tan.f64 B)))
✓	10.3b	(-.f64 (.f64 F (/.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (sin.f64 B))) (/.f64 x (tan.f64 B)))
	38.7b	(-.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)))
	40.7b	(-.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)))
▶	10.3b	(-.f64 (.f64 (.f64 F (pow.f64 (+.f64 2 (+.f64 (.f64 F F) (.f64 2 x))) -1/4)) (/.f64 (sqrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)) (sin.f64 B))) (/.f64 x (tan.f64 B)))
	11.2b	(-.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (/.f64 F (cbrt.f64 (sin.f64 B))))) (/.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)))))
	33.7b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (/.f64 -1 F)) (/.f64 x (tan.f64 B)))
	32.6b	(-.f64 (.f64 F (/.f64 1 (.f64 F (sin.f64 B)))) (/.f64 x (tan.f64 B)))
	30.6b	(-.f64 (*.f64 F (/.f64 (/.f64 -1 F) (sin.f64 B))) (/.f64 x (tan.f64 B)))
	35.4b	(-.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))))
	13.5b	(-.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))))
	33.4b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 x 2)) -1/2)) (cbrt.f64 (pow.f64 (/.f64 x (tan.f64 B)) 3)))

Compiler

Compiled 4696 to 2609 computations (44.4% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (sqrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)) (sin.f64 B))
0.4b	(sqrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2))
16.7b	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)
17.1b	(pow.f64 (+.f64 2 (+.f64 (.f64 F F) (.f64 2 x))) -1/4)

rewrite214.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

48×	`*-un-lft-identity_binary64`
40×	`sqrt-prod_binary64`
36×	`add-sqr-sqrt_binary64`
34×	`add-cube-cbrt_binary64`
33×	`times-frac_binary64`

Counts

4 → 115

Calls

4 calls:

13.0ms	(/.f64 (sqrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)) (sin.f64 B))
6.0ms	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)
5.0ms	(sqrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2))
5.0ms	(pow.f64 (+.f64 2 (+.f64 (.f64 F F) (.f64 2 x))) -1/4)

Compiler

Compiled 4736 to 2821 computations (40.4% saved)

series328.0ms (2.7%)

Error

0.1b

Counts

4 → 51

Calls

4 calls:

106.0ms	(/.f64 (sqrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)) (sin.f64 B))
52.0ms	(sqrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2))
50.0ms	(pow.f64 (+.f64 2 (+.f64 (.f64 F F) (.f64 2 x))) -1/4)
43.0ms	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)

Compiler

Compiled 7053 to 5289 computations (25% saved)

simplify229.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

477×	`times-frac_binary64`
418×	`cancel-sign-sub-inv_binary64`
195×	`sub-neg_binary64`
158×	`distribute-rgt-neg-in_binary64`
143×	`*-commutative_binary64`

Counts

166 → 138

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	397	5793
1	920	5391
2	2678	5172
3	4765	5070
4	4941	5070
5	4999	5070
6	4892	5070

prune173.0ms (1.4%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	138	14	152

Error

0.1b

Counts

152 → 14

Alt Table

Status	Error	Program
	32.6b	(-.f64 (*.f64 F (/.f64 (/.f64 1 F) (sin.f64 B))) (/.f64 x (tan.f64 B)))
	12.9b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (pow.f64 (sqrt.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F)))) -1/2) (pow.f64 (sqrt.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F)))) -1/2))) (/.f64 x (tan.f64 B)))
✓	10.3b	(-.f64 (.f64 F (/.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (sin.f64 B))) (/.f64 x (tan.f64 B)))
	38.7b	(-.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)))
	40.7b	(-.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)))
✓	10.3b	(-.f64 (.f64 (.f64 F (pow.f64 (+.f64 2 (+.f64 (.f64 F F) (.f64 2 x))) -1/4)) (/.f64 (sqrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)) (sin.f64 B))) (/.f64 x (tan.f64 B)))
▶	11.2b	(-.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (/.f64 F (cbrt.f64 (sin.f64 B))))) (/.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)))))
	33.7b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (/.f64 -1 F)) (/.f64 x (tan.f64 B)))
	32.6b	(-.f64 (.f64 F (/.f64 1 (.f64 F (sin.f64 B)))) (/.f64 x (tan.f64 B)))
	30.6b	(-.f64 (*.f64 F (/.f64 (/.f64 -1 F) (sin.f64 B))) (/.f64 x (tan.f64 B)))
	35.4b	(-.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))))
	13.5b	(-.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))))
	33.4b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 x 2)) -1/2)) (cbrt.f64 (pow.f64 (/.f64 x (tan.f64 B)) 3)))

Compiler

Compiled 5302 to 3221 computations (39.2% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite146.0ms (1.2%)

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:

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

Compiler

Compiled 3859 to 1619 computations (58% saved)

series194.0ms (1.6%)

Error

0.1b

Counts

4 → 31

Calls

4 calls:

85.0ms	(.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (/.f64 F (cbrt.f64 (sin.f64 B))))
47.0ms	(pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)
17.0ms	(cbrt.f64 (sin.f64 B))
14.0ms	(cbrt.f64 (sin.f64 B))

Compiler

Compiled 3714 to 2497 computations (32.8% saved)

simplify118.0ms (1%)

Algorithm

1×	egg-herbie

Rules

708×	`times-frac_binary64`
617×	`associate-/l*_binary64`
160×	`associate-l_binary64`
147×	`associate-/r/_binary64`
146×	`associate-r_binary64`

Counts

127 → 106

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	256	3390
1	622	3189
2	2052	3070
3	4940	3070
4	4924	3070

prune115.0ms (0.9%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	11	11
Picked	0	1	1
Done	0	2	2
Total	106	14	120

Error

0.1b

Counts

120 → 14

Alt Table

Status	Error	Program
	32.6b	(-.f64 (*.f64 F (/.f64 (/.f64 1 F) (sin.f64 B))) (/.f64 x (tan.f64 B)))
	12.9b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (pow.f64 (sqrt.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F)))) -1/2) (pow.f64 (sqrt.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F)))) -1/2))) (/.f64 x (tan.f64 B)))
	10.3b	(-.f64 (.f64 F (/.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (sin.f64 B))) (/.f64 x (tan.f64 B)))
	38.7b	(-.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)))
	40.7b	(-.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)))
	10.3b	(-.f64 (.f64 (.f64 F (pow.f64 (+.f64 2 (+.f64 (.f64 F F) (.f64 2 x))) -1/4)) (/.f64 (sqrt.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (.f64 F F))) -1/2)) (sin.f64 B))) (/.f64 x (tan.f64 B)))
	11.2b	(-.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (.f64 (pow.f64 (+.f64 2 (+.f64 (.f64 2 x) (*.f64 F F))) -1/2) (/.f64 F (cbrt.f64 (sin.f64 B))))) (/.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)))))
	33.7b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (/.f64 -1 F)) (/.f64 x (tan.f64 B)))
	32.6b	(-.f64 (.f64 F (/.f64 1 (.f64 F (sin.f64 B)))) (/.f64 x (tan.f64 B)))
	30.6b	(-.f64 (*.f64 F (/.f64 (/.f64 -1 F) (sin.f64 B))) (/.f64 x (tan.f64 B)))
	35.4b	(-.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))))
	13.5b	(-.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))))
	33.4b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) 2) (*.f64 x 2)) -1/2)) (cbrt.f64 (pow.f64 (/.f64 x (tan.f64 B)) 3)))

Compiler

Compiled 3514 to 1646 computations (53.2% saved)

regimes2.0s (16.1%)

Accuracy

Total 0.2b remaining (73.3%)

Threshold costs 0.2b (73.3%)

Compiler

Compiled 28612 to 19684 computations (31.2% saved)

bsearch144.0ms (1.2%)

Steps

Iters	Range		Point
5	22.349300985350276	1648401220.6334052	97379942.01309888
10	-4645483.697702644	-9.737259790439372e-10	-1525898.2560680246

Compiler

Compiled 4 to 3 computations (25% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`+-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	41	144
1	58	144
2	72	144
3	87	144
4	95	144
5	98	144
6	96	144

end2.0ms (0%)

Compiler: Compiled 96 to 46 computations (52.1% saved)

sample4.0s (32%)

Algorithm

1×

intervals

Results

1.8s	2248×	body	1024	valid
687.0ms	4102×	body	128	valid
586.0ms	1104×	body	512	valid
181.0ms	538×	body	256	valid
99.0ms	597×	body	128	invalid
14.0ms	107×	body	128	nan
11.0ms	8×	body	2048	valid

Compiler

Compiled 504 to 323 computations (35.9% saved)

Details

analyze2.7s (21.6%)

sample125.0ms (1%)

simplify202.0ms (1.6%)

prune5.0ms (0%)

localize18.0ms (0.1%)

rewrite219.0ms (1.8%)

series281.0ms (2.3%)

simplify105.0ms (0.9%)

prune109.0ms (0.9%)

localize17.0ms (0.1%)

rewrite323.0ms (2.6%)

series248.0ms (2%)

simplify172.0ms (1.4%)

prune192.0ms (1.6%)

localize26.0ms (0.2%)

rewrite214.0ms (1.7%)

series328.0ms (2.7%)

simplify229.0ms (1.9%)

prune173.0ms (1.4%)

localize24.0ms (0.2%)

rewrite146.0ms (1.2%)

series194.0ms (1.6%)

simplify118.0ms (1%)

prune115.0ms (0.9%)

regimes2.0s (16.1%)

bsearch144.0ms (1.2%)

simplify7.0ms (0.1%)

end2.0ms (0%)

sample4.0s (32%)

Profiling