Details

analyze2.6s (20.7%)

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)

sample122.0ms (1%)

Algorithm

1×

intervals

Results

62.0ms	74×	body	1024	valid
23.0ms	135×	body	128	valid
15.0ms	30×	body	512	valid
5.0ms	17×	body	256	valid
3.0ms	19×	body	128	invalid
1.0ms	6×	body	128	nan

Compiler

Compiled 64 to 50 computations (21.9% saved)

simplify59.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

640×	`distribute-rgt-neg-in_binary64`
474×	`fma-neg_binary64`
418×	`distribute-lft-neg-in_binary64`
379×	`div-sub_binary64`
378×	`fma-def_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	35
1	49	28
2	100	28
3	195	28
4	391	28
5	1075	28
6	2543	28
7	4200	28
8	4955	28

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

11.7b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	11.7b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 x (tan.f64 B)))
	11.8b	(+.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

▶

11.7b

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

11.8b

(+.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 126 to 91 computations (27.8% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 F (sin.f64 B))
0.2b	(/.f64 x (tan.f64 B))
7.1b	(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))
15.4b	(pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)

rewrite286.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

7.8b

Rules

45×	`add-cube-cbrt_binary64`
22×	`add-cbrt-cube_binary64`
21×	`add-exp-log_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`pow1_binary64`

Counts

4 → 170

Calls

4 calls:

15.0ms	(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))
15.0ms	(/.f64 x (tan.f64 B))
13.0ms	(/.f64 F (sin.f64 B))
13.0ms	(pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)

Compiler

Compiled 3621 to 1678 computations (53.7% saved)

series281.0ms (2.3%)

Error

0.2b

Counts

4 → 55

Calls

4 calls:

83.0ms	(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))
51.0ms	(pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)
31.0ms	(/.f64 x (tan.f64 B))
19.0ms	(/.f64 F (sin.f64 B))

Compiler

Compiled 4676 to 3308 computations (29.3% saved)

simplify148.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

272×	`associate-r_binary64`
236×	`times-frac_binary64`
229×	`fma-neg_binary64`
212×	`associate-l_binary64`
210×	`associate-/r*_binary64`

Counts

225 → 112

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	413	3919
1	1048	3671
2	4151	3631
3	4928	3631
4	4933	3631

prune114.0ms (0.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	102	10	112
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	103	11	114

Error

0.1b

Counts

114 → 11

Alt Table

Status	Error	Program
	12.7b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) (.f64 (cbrt.f64 -1/2) (cbrt.f64 -1/2))) (cbrt.f64 -1/2))) (/.f64 x (tan.f64 B)))
	36.1b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (/.f64 -1 F)) (/.f64 x (tan.f64 B)))
	12.3b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 (/.f64 x (cbrt.f64 (tan.f64 B))) (.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))))
	37.0b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (/.f64 1 F)) (/.f64 x (tan.f64 B)))
	40.5b	(-.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)))
	8.1b	(-.f64 (/.f64 F (/.f64 (sin.f64 B) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
	11.9b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (.f64 (cbrt.f64 (/.f64 1 (fma.f64 2 x (fma.f64 F F 2)))) (cbrt.f64 (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)))) (/.f64 x (tan.f64 B)))
	31.4b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (cbrt.f64 (pow.f64 (/.f64 x (tan.f64 B)) 3)))
	11.8b	(+.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)))))
▶	8.1b	(-.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) (sin.f64 B)) (/.f64 x (tan.f64 B)))
	40.1b	(-.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)))

Compiler

Compiled 3242 to 1810 computations (44.2% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite260.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

40×	`add-cube-cbrt_binary64`
22×	`add-cbrt-cube_binary64`
20×	`add-sqr-sqrt_binary64`
19×	`add-exp-log_binary64`
16×	`pow1_binary64`

Counts

4 → 164

Calls

4 calls:

45.0ms	(/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) (sin.f64 B))
14.0ms	(*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2))
14.0ms	(/.f64 x (tan.f64 B))
12.0ms	(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)

Compiler

Compiled 3585 to 1883 computations (47.5% saved)

series285.0ms (2.3%)

Error

0.1b

Counts

4 → 62

Calls

4 calls:

85.0ms	(/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) (sin.f64 B))
52.0ms	(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)
51.0ms	(*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2))
30.0ms	(/.f64 x (tan.f64 B))

Compiler

Compiled 5477 to 3986 computations (27.2% saved)

simplify191.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

279×	`times-frac_binary64`
273×	`associate-r_binary64`
269×	`fma-neg_binary64`
235×	`fma-def_binary64`
229×	`associate-/r*_binary64`

Counts

226 → 109

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	456	4740
1	1187	4391
2	4595	4371
3	4997	4371
4	4999	4371
5	4964	4371

prune149.0ms (1.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	103	6	109
Fresh	4	6	10
Picked	0	1	1
Done	0	0	0
Total	107	13	120

Error

0.1b

Counts

120 → 13

Alt Table

Status	Error	Program
	40.1b	(-.f64 (/.f64 (+.f64 -1 (+.f64 (/.f64 x (.f64 F F)) (/.f64 1 (.f64 F F)))) (sin.f64 B)) (/.f64 x (tan.f64 B)))
	36.1b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (/.f64 -1 F)) (/.f64 x (tan.f64 B)))
	40.5b	(-.f64 (/.f64 (-.f64 1 (+.f64 (/.f64 x (.f64 F F)) (/.f64 1 (.f64 F F)))) (sin.f64 B)) (/.f64 x (tan.f64 B)))
	12.3b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 (/.f64 x (cbrt.f64 (tan.f64 B))) (.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))))
	37.0b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (/.f64 1 F)) (/.f64 x (tan.f64 B)))
	38.6b	(-.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) (sin.f64 B)) (exp.f64 (log.f64 (/.f64 x (tan.f64 B)))))
	31.4b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (cbrt.f64 (pow.f64 (/.f64 x (tan.f64 B)) 3)))
	13.8b	(-.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) 3)) (sin.f64 B)) (/.f64 x (tan.f64 B)))
✓	8.1b	(-.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) (sin.f64 B)) (/.f64 x (tan.f64 B)))
▶	8.1b	(-.f64 (/.f64 F (/.f64 (sin.f64 B) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
	24.1b	(-.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) (sin.f64 B)) (/.f64 x (cbrt.f64 (pow.f64 (tan.f64 B) 3))))
	11.8b	(+.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)))))
	8.2b	(-.f64 (/.f64 (.f64 F (.f64 (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4))) (sin.f64 B)) (/.f64 x (tan.f64 B)))

Compiler

Compiled 3368 to 1984 computations (41.1% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 x (tan.f64 B))
0.2b	(/.f64 F (/.f64 (sin.f64 B) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)))
0.3b	(/.f64 (sin.f64 B) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2))
15.4b	(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)

rewrite247.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

56×	`add-cube-cbrt_binary64`
24×	`add-cbrt-cube_binary64`
19×	`add-exp-log_binary64`
16×	`add-sqr-sqrt_binary64`
15×	`pow1_binary64`

Counts

4 → 175

Calls

4 calls:

14.0ms	(/.f64 F (/.f64 (sin.f64 B) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)))
13.0ms	(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)
13.0ms	(/.f64 x (tan.f64 B))
13.0ms	(/.f64 (sin.f64 B) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2))

Compiler

Compiled 4010 to 2126 computations (47% saved)

series304.0ms (2.5%)

Error

0.0b

Counts

4 → 69

Calls

4 calls:

83.0ms	(/.f64 F (/.f64 (sin.f64 B) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)))
64.0ms	(/.f64 (sin.f64 B) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2))
51.0ms	(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)
30.0ms	(/.f64 x (tan.f64 B))

Compiler

Compiled 6203 to 4321 computations (30.3% saved)

simplify174.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

338×	`associate-r_binary64`
333×	`fma-neg_binary64`
311×	`times-frac_binary64`
260×	`associate-/r*_binary64`
257×	`fma-def_binary64`

Counts

244 → 120

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	487	5652
1	1292	5230
2	4925	5230
3	5182	5230

prune129.0ms (1%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	3	8	11
Picked	0	1	1
Done	0	1	1
Total	120	13	133

Error

0.1b

Counts

133 → 13

Alt Table

Status	Error	Program
	38.6b	(-.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) (sin.f64 B)) (exp.f64 (log.f64 (/.f64 x (tan.f64 B)))))
	31.4b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (cbrt.f64 (pow.f64 (/.f64 x (tan.f64 B)) 3)))
	13.8b	(-.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) 3)) (sin.f64 B)) (/.f64 x (tan.f64 B)))
✓	8.1b	(-.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) (sin.f64 B)) (/.f64 x (tan.f64 B)))
	40.1b	(-.f64 (/.f64 (+.f64 -1 (+.f64 (/.f64 x (.f64 F F)) (/.f64 1 (.f64 F F)))) (sin.f64 B)) (/.f64 x (tan.f64 B)))
	12.3b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 (/.f64 x (cbrt.f64 (tan.f64 B))) (.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))))
✓	8.1b	(-.f64 (/.f64 F (/.f64 (sin.f64 B) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
	32.8b	(-.f64 (/.f64 F (*.f64 F (sin.f64 B))) (/.f64 x (tan.f64 B)))
	24.1b	(-.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) (sin.f64 B)) (/.f64 x (cbrt.f64 (pow.f64 (tan.f64 B) 3))))
	11.8b	(+.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)))))
	32.6b	(-.f64 (/.f64 F (/.f64 (sin.f64 B) (/.f64 -1 F))) (/.f64 x (tan.f64 B)))
	32.8b	(-.f64 (/.f64 F (/.f64 (sin.f64 B) (/.f64 1 F))) (/.f64 x (tan.f64 B)))
▶	8.2b	(-.f64 (/.f64 (.f64 F (.f64 (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4))) (sin.f64 B)) (/.f64 x (tan.f64 B)))

Compiler

Compiled 3855 to 2158 computations (44% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (.f64 F (.f64 (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4))) (sin.f64 B))
0.7b	(*.f64 (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4))
15.9b	(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)
15.9b	(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)

rewrite269.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

34×	`add-cube-cbrt_binary64`
18×	`add-cbrt-cube_binary64`
17×	`add-sqr-sqrt_binary64`
16×	`pow-to-exp_binary64`
14×	`add-exp-log_binary64`

Counts

4 → 162

Calls

4 calls:

18.0ms	(/.f64 (.f64 F (.f64 (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4))) (sin.f64 B))
15.0ms	(*.f64 (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4))
13.0ms	(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)
13.0ms	(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)

Compiler

Compiled 4935 to 2962 computations (40% saved)

series320.0ms (2.6%)

Error

0.1b

Counts

4 → 70

Calls

4 calls:

83.0ms	(/.f64 (.f64 F (.f64 (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4))) (sin.f64 B))
56.0ms	(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)
53.0ms	(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)
39.0ms	(*.f64 (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4))

Compiler

Compiled 7510 to 5573 computations (25.8% saved)

simplify167.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

298×	`fma-neg_binary64`
257×	`sub-neg_binary64`
239×	`fma-def_binary64`
224×	`associate-r_binary64`
186×	`associate-/r*_binary64`

Counts

232 → 135

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	423	5610
1	1166	5228
2	4079	5212
3	4971	5212
4	4956	5212

prune145.0ms (1.2%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	135	13	148

Error

0.1b

Counts

148 → 13

Alt Table

Status	Error	Program
	38.6b	(-.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) (sin.f64 B)) (exp.f64 (log.f64 (/.f64 x (tan.f64 B)))))
	31.4b	(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (cbrt.f64 (pow.f64 (/.f64 x (tan.f64 B)) 3)))
	13.8b	(-.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) 3)) (sin.f64 B)) (/.f64 x (tan.f64 B)))
	8.1b	(-.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) (sin.f64 B)) (/.f64 x (tan.f64 B)))
	40.1b	(-.f64 (/.f64 (+.f64 -1 (+.f64 (/.f64 x (.f64 F F)) (/.f64 1 (.f64 F F)))) (sin.f64 B)) (/.f64 x (tan.f64 B)))
	12.3b	(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 (/.f64 x (cbrt.f64 (tan.f64 B))) (.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))))
	8.1b	(-.f64 (/.f64 F (/.f64 (sin.f64 B) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
	32.8b	(-.f64 (/.f64 F (*.f64 F (sin.f64 B))) (/.f64 x (tan.f64 B)))
	24.1b	(-.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/2)) (sin.f64 B)) (/.f64 x (cbrt.f64 (pow.f64 (tan.f64 B) 3))))
	11.8b	(+.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)))))
	32.6b	(-.f64 (/.f64 F (/.f64 (sin.f64 B) (/.f64 -1 F))) (/.f64 x (tan.f64 B)))
	32.8b	(-.f64 (/.f64 F (/.f64 (sin.f64 B) (/.f64 1 F))) (/.f64 x (tan.f64 B)))
	8.2b	(-.f64 (/.f64 (.f64 F (.f64 (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4))) (sin.f64 B)) (/.f64 x (tan.f64 B)))

Compiler

Compiled 4341 to 2624 computations (39.6% saved)

regimes1.9s (15.2%)

Accuracy

Total 0.1b remaining (63.7%)

Threshold costs 0.1b (63.7%)

Compiler

Compiled 27224 to 18576 computations (31.8% saved)

bsearch149.0ms (1.2%)

Steps

Iters	Range		Point
5	22691662947.55892	2.887922631572549e+21	50647081247.16809
8	-88288507219.74937	-4098745.010850274	-94266079.00452884

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	107
1	46	107
2	60	107
3	75	107
4	83	107
5	86	107
6	84	107

end1.0ms (0%)

Compiler: Compiled 74 to 39 computations (47.3% saved)

sample4.1s (32.8%)

Algorithm

1×

intervals

Results

1.9s	2301×	body	1024	valid
690.0ms	3991×	body	128	valid
575.0ms	1133×	body	512	valid
193.0ms	572×	body	256	valid
103.0ms	632×	body	128	invalid
15.0ms	117×	body	128	nan
6.0ms	3×	body	2048	valid
0.0ms	1×	body	512	invalid

Compiler

Compiled 414 to 276 computations (33.3% saved)

Details

analyze2.6s (20.7%)

sample122.0ms (1%)

simplify59.0ms (0.5%)

prune5.0ms (0%)

localize17.0ms (0.1%)

rewrite286.0ms (2.3%)

series281.0ms (2.3%)

simplify148.0ms (1.2%)

prune114.0ms (0.9%)

localize18.0ms (0.1%)

rewrite260.0ms (2.1%)

series285.0ms (2.3%)

simplify191.0ms (1.5%)

prune149.0ms (1.2%)

localize17.0ms (0.1%)

rewrite247.0ms (2%)

series304.0ms (2.5%)

simplify174.0ms (1.4%)

prune129.0ms (1%)

localize17.0ms (0.1%)

rewrite269.0ms (2.2%)

series320.0ms (2.6%)

simplify167.0ms (1.4%)

prune145.0ms (1.2%)

regimes1.9s (15.2%)

bsearch149.0ms (1.2%)

simplify6.0ms (0%)

end1.0ms (0%)

sample4.1s (32.8%)

Profiling