Details

analyze833.0ms (10.9%)

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
12.5%	87.4%	0.1%	5
18.7%	81.2%	0.1%	6
21.9%	78%	0.1%	7
23.4%	76.5%	0.1%	8
24.2%	75.7%	0.1%	9
24.6%	75.3%	0.1%	10
24.8%	75.1%	0.1%	11
24.9%	75%	0.1%	12
24.9%	75%	0.1%	13
25%	75%	0.1%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample67.0ms (0.9%)

Algorithm

1×

intervals

Results

33.0ms	115×	body	1024	valid
16.0ms	38×	body	2048	valid
5.0ms	34×	body	512	valid
2.0ms	48×	body	128	valid
2.0ms	21×	body	256	valid

Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`sub-neg_binary64`
14×	`cancel-sign-sub-inv_binary64`
10×	`distribute-rgt-in_binary64`
9×	`neg-mul-1_binary64`
8×	`associate--r+_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	21	11
4	27	11
5	42	11
6	65	11
7	78	11
8	90	11
9	92	11
10	86	11
11	72	11

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

35.7b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	35.7b	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

1.7b	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
3.1b	(tan.f64 (+.f64 x eps))

rewrite41.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

20.2b

Rules

5×	`add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
4×	`tan-quot_binary64` `add-log-exp_binary64`
3×	`add-cube-cbrt_binary64` `cancel-sign-sub-inv_binary64`
2×	`tan-sum_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `frac-sub_binary64`
1×	`diff-log_binary64` `flip3--_binary64` `sub-neg_binary64` `flip--_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`

Counts

2 → 27

Calls

2 calls:

7.0ms	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
4.0ms	(tan.f64 (+.f64 x eps))

Compiler

Compiled 409 to 106 computations (74.1% saved)

series129.0ms (1.7%)

Error

13.3b

Counts

2 → 23

Calls

2 calls:

58.0ms	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
40.0ms	(tan.f64 (+.f64 x eps))

Compiler

Compiled 1570 to 928 computations (40.9% saved)

simplify56.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

795×	`associate-+l+_binary64`
618×	`times-frac_binary64`
446×	`associate-/l*_binary64`
383×	`associate-r_binary64`
369×	`associate-l_binary64`

Counts

50 → 41

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	153	1484
1	404	1461
2	1272	1398
3	5755	1398

prune51.0ms (0.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	39	2	41
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	40	2	42

Error

0.3b

Counts

42 → 2

Alt Table

Status	Error	Program
	31.9b	(+.f64 eps (+.f64 (/.f64 (.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (.f64 (*.f64 eps eps) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 3)) (/.f64 (sin.f64 x) (cos.f64 x))))))
▶	20.7b	(/.f64 (-.f64 (.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps))) (.f64 (sin.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))

Status

Error

Program

31.9b

(+.f64 eps (+.f64 (/.f64 (*.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (*.f64 (*.f64 eps eps) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 3)) (/.f64 (sin.f64 x) (cos.f64 x))))))

▶

20.7b

(/.f64 (-.f64 (*.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps))) (*.f64 (sin.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (*.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))

Compiler

Compiled 950 to 414 computations (56.4% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)))
0.2b	(*.f64 (tan.f64 x) (tan.f64 eps))
0.2b	(*.f64 (tan.f64 x) (tan.f64 eps))
8.4b	(-.f64 (.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps))) (.f64 (sin.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))

rewrite162.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

17×	`associate-*r/_binary64`
16×	`add-sqr-sqrt_binary64`
14×	`tan-quot_binary64`
12×	`*-un-lft-identity_binary64`
10×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `associate-r_binary64`

Counts

4 → 90

Calls

4 calls:

10.0ms	(-.f64 (.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps))) (.f64 (sin.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
7.0ms	(*.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)))
5.0ms	(*.f64 (tan.f64 x) (tan.f64 eps))
5.0ms	(*.f64 (tan.f64 x) (tan.f64 eps))

Compiler

Compiled 3526 to 992 computations (71.9% saved)

series304.0ms (4%)

Error

0.1b

Counts

4 → 41

Calls

4 calls:

113.0ms	(-.f64 (.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps))) (.f64 (sin.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
55.0ms	(*.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)))
48.0ms	(*.f64 (tan.f64 x) (tan.f64 eps))
48.0ms	(*.f64 (tan.f64 x) (tan.f64 eps))

Compiler

Compiled 3726 to 1943 computations (47.9% saved)

simplify135.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

432×	`times-frac_binary64`
296×	`associate-l_binary64`
287×	`associate-r_binary64`
275×	`cancel-sign-sub-inv_binary64`
244×	`distribute-rgt-neg-in_binary64`

Counts

131 → 79

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	254	3453
1	776	3368
2	2798	3302
3	4382	3282
4	5000	3282

prune100.0ms (1.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	72	7	79
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	73	8	81

Error

0.1b

Counts

81 → 8

Alt Table

Status	Error	Program
	22.5b	(/.f64 (/.f64 (-.f64 (.f64 (+.f64 1 (.f64 (tan.f64 x) (.f64 (+.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))) (tan.f64 eps)))) (.f64 (cos.f64 x) (-.f64 (.f64 (tan.f64 x) (tan.f64 x)) (.f64 (tan.f64 eps) (tan.f64 eps))))) (.f64 (.f64 (sin.f64 x) (-.f64 1 (pow.f64 (.f64 (tan.f64 x) (tan.f64 eps)) 3))) (-.f64 (tan.f64 x) (tan.f64 eps)))) (.f64 (+.f64 1 (.f64 (tan.f64 x) (.f64 (+.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))) (tan.f64 eps)))) (-.f64 (tan.f64 x) (tan.f64 eps)))) (.f64 (cos.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))))
	20.7b	(/.f64 (+.f64 (.f64 (tan.f64 x) (cos.f64 x)) (-.f64 (.f64 (cos.f64 x) (tan.f64 eps)) (.f64 (sin.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))))) (.f64 (cos.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))))
	20.8b	(/.f64 (-.f64 (/.f64 (.f64 (cos.f64 x) (+.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (.f64 (cos.f64 eps) (sin.f64 x)))) (.f64 (cos.f64 x) (cos.f64 eps))) (.f64 (sin.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (.f64 (cos.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))))
	20.8b	(/.f64 (/.f64 (.f64 (cos.f64 x) (+.f64 (.f64 (+.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (.f64 (cos.f64 eps) (sin.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (.f64 (+.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))) (tan.f64 eps))))) (.f64 (cos.f64 eps) (.f64 (sin.f64 x) (+.f64 (pow.f64 (.f64 (tan.f64 x) (tan.f64 eps)) 3) -1))))) (.f64 (.f64 (cos.f64 eps) (cos.f64 x)) (+.f64 1 (.f64 (tan.f64 x) (.f64 (+.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))) (tan.f64 eps)))))) (.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
	31.9b	(+.f64 eps (+.f64 (/.f64 (.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (.f64 (*.f64 eps eps) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 3)) (/.f64 (sin.f64 x) (cos.f64 x))))))
	25.0b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps))) (.f64 (sin.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) 3)) (.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
	20.8b	(/.f64 (-.f64 (.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps))) (.f64 (sin.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (.f64 (cos.f64 eps) (cos.f64 x))))))
▶	0.5b	(/.f64 (.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))

Compiler

Compiled 3286 to 1214 computations (63.1% saved)

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
0.2b	(/.f64 (sin.f64 eps) (cos.f64 eps))
0.2b	(pow.f64 (sin.f64 x) 2)
0.2b	(*.f64 (tan.f64 x) (tan.f64 eps))

rewrite208.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`add-exp-log_binary64`
29×	`add-cbrt-cube_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
10×	`times-frac_binary64`

Counts

4 → 99

Calls

4 calls:

22.0ms	(/.f64 (.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
5.0ms	(*.f64 (tan.f64 x) (tan.f64 eps))
4.0ms	(/.f64 (sin.f64 eps) (cos.f64 eps))
3.0ms	(pow.f64 (sin.f64 x) 2)

Compiler

Compiled 3647 to 1342 computations (63.2% saved)

series246.0ms (3.2%)

Error

0.1b

Counts

4 → 31

Calls

4 calls:

132.0ms	(/.f64 (.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
46.0ms	(*.f64 (tan.f64 x) (tan.f64 eps))
15.0ms	(/.f64 (sin.f64 eps) (cos.f64 eps))
12.0ms	(pow.f64 (sin.f64 x) 2)

Compiler

Compiled 2666 to 1479 computations (44.5% saved)

simplify107.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

552×	`distribute-rgt-in_binary64`
328×	`times-frac_binary64`
231×	`associate-/l*_binary64`
188×	`unswap-sqr_binary64`
184×	`associate-l_binary64`

Counts

130 → 68

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	309	3906
1	838	3206
2	3154	3177
3	5075	3177

prune93.0ms (1.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	60	8	68
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	64	12	76

Error

0.0b

Counts

76 → 12

Alt Table

Status	Error	Program
	0.5b	(/.f64 (.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (.f64 (cos.f64 eps) (cos.f64 x))))))
	0.5b	(.f64 (/.f64 (.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (cos.f64 x) (-.f64 1 (pow.f64 (.f64 (tan.f64 x) (tan.f64 eps)) 3)))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (tan.f64 x) (tan.f64 eps)) (.f64 (tan.f64 x) (tan.f64 eps))) (.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))))
	0.5b	(/.f64 (.f64 (sin.f64 eps) (+.f64 (pow.f64 (cos.f64 x) 3) (pow.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)) 3))) (.f64 (.f64 (cos.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))) (.f64 (cos.f64 eps) (+.f64 (pow.f64 (cos.f64 x) 2) (.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)) (-.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)) (cos.f64 x)))))))
	20.8b	(/.f64 (-.f64 (/.f64 (.f64 (cos.f64 x) (+.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (.f64 (cos.f64 eps) (sin.f64 x)))) (.f64 (cos.f64 x) (cos.f64 eps))) (.f64 (sin.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (.f64 (cos.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))))
	20.8b	(/.f64 (/.f64 (.f64 (cos.f64 x) (+.f64 (.f64 (+.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (.f64 (cos.f64 eps) (sin.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (.f64 (+.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))) (tan.f64 eps))))) (.f64 (cos.f64 eps) (.f64 (sin.f64 x) (+.f64 (pow.f64 (.f64 (tan.f64 x) (tan.f64 eps)) 3) -1))))) (.f64 (.f64 (cos.f64 eps) (cos.f64 x)) (+.f64 1 (.f64 (tan.f64 x) (.f64 (+.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))) (tan.f64 eps)))))) (.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
	31.9b	(+.f64 eps (+.f64 (/.f64 (.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (.f64 (*.f64 eps eps) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 3)) (/.f64 (sin.f64 x) (cos.f64 x))))))
	18.8b	(cbrt.f64 (pow.f64 (/.f64 (.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) 3))
▶	0.4b	(/.f64 (.f64 (sin.f64 eps) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (.f64 (cos.f64 eps) (cos.f64 x)) (-.f64 1 (/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (*.f64 (cos.f64 eps) (cos.f64 x))))))
	0.5b	(/.f64 (.f64 (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (cos.f64 x))) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))
	20.8b	(/.f64 (-.f64 (.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps))) (.f64 (sin.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (.f64 (cos.f64 eps) (cos.f64 x))))))
	32.0b	(/.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 eps)) (/.f64 (sqrt.f64 (sin.f64 eps)) (cos.f64 eps))) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (cos.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))))
	1.4b	(/.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 eps)) (cbrt.f64 (sin.f64 eps))) (/.f64 (cbrt.f64 (sin.f64 eps)) (cos.f64 eps))) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))

Compiler

Compiled 2461 to 1175 computations (52.3% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 eps) (sin.f64 x))
0.2b	(/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (.f64 (cos.f64 eps) (cos.f64 x)))
0.2b	(pow.f64 (sin.f64 x) 2)
0.2b	(/.f64 (.f64 (sin.f64 eps) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (.f64 (cos.f64 eps) (cos.f64 x)) (-.f64 1 (/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (*.f64 (cos.f64 eps) (cos.f64 x))))))

rewrite245.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

40×	`add-exp-log_binary64`
39×	`add-cbrt-cube_binary64`
14×	`prod-exp_binary64` `cbrt-unprod_binary64`
10×	`div-exp_binary64` `cbrt-undiv_binary64` `add-sqr-sqrt_binary64`
8×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`

Counts

4 → 92

Calls

4 calls:

25.0ms	(/.f64 (.f64 (sin.f64 eps) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (.f64 (cos.f64 eps) (cos.f64 x)) (-.f64 1 (/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (*.f64 (cos.f64 eps) (cos.f64 x))))))
7.0ms	(/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (.f64 (cos.f64 eps) (cos.f64 x)))
5.0ms	(*.f64 (sin.f64 eps) (sin.f64 x))
3.0ms	(pow.f64 (sin.f64 x) 2)

Compiler

Compiled 4197 to 1273 computations (69.7% saved)

series264.0ms (3.5%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

127.0ms	(/.f64 (.f64 (sin.f64 eps) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (.f64 (cos.f64 eps) (cos.f64 x)) (-.f64 1 (/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (*.f64 (cos.f64 eps) (cos.f64 x))))))
45.0ms	(/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (.f64 (cos.f64 eps) (cos.f64 x)))
28.0ms	(*.f64 (sin.f64 eps) (sin.f64 x))
12.0ms	(pow.f64 (sin.f64 x) 2)

Compiler

Compiled 3259 to 1684 computations (48.3% saved)

simplify121.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

635×	`times-frac_binary64`
362×	`associate-/l*_binary64`
315×	`associate-l_binary64`
294×	`associate-r_binary64`
274×	`associate-/r*_binary64`

Counts

128 → 101

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	305	4593
1	890	3749
2	4591	3737
3	4989	3737

prune187.0ms (2.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	97	4	101
Fresh	5	6	11
Picked	1	0	1
Done	0	0	0
Total	103	10	113

Error

0.0b

Counts

113 → 10

Alt Table

Status	Error	Program
	0.5b	(/.f64 (.f64 (sin.f64 eps) (-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x))))) (.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))))) (-.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))))
	0.5b	(/.f64 (.f64 (sin.f64 eps) (+.f64 (pow.f64 (cos.f64 x) 3) (pow.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)) 3))) (.f64 (.f64 (cos.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))) (.f64 (cos.f64 eps) (+.f64 (pow.f64 (cos.f64 x) 2) (.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)) (-.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)) (cos.f64 x)))))))
	0.5b	(.f64 (/.f64 (.f64 (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x))) (sin.f64 eps)) (.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (-.f64 1 (pow.f64 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps))) 3)))) (+.f64 (.f64 1 1) (+.f64 (.f64 (/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (.f64 (cos.f64 eps) (cos.f64 x))) (/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (.f64 (cos.f64 eps) (cos.f64 x)))) (.f64 1 (/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (*.f64 (cos.f64 eps) (cos.f64 x)))))))
	0.7b	(/.f64 (.f64 (sin.f64 eps) (+.f64 (cos.f64 x) (/.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 4) (pow.f64 (cbrt.f64 (sin.f64 x)) 2)) (cos.f64 x)))) (.f64 (.f64 (cos.f64 eps) (cos.f64 x)) (-.f64 1 (/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (.f64 (cos.f64 eps) (cos.f64 x))))))
	31.9b	(+.f64 eps (+.f64 (/.f64 (.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (.f64 (*.f64 eps eps) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 3)) (/.f64 (sin.f64 x) (cos.f64 x))))))
	0.5b	(/.f64 (.f64 (sin.f64 eps) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (.f64 (cos.f64 eps) (cos.f64 x)) (-.f64 1 (/.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 x) (sin.f64 eps)) 3)) (*.f64 (cos.f64 eps) (cos.f64 x))))))
	18.8b	(cbrt.f64 (pow.f64 (/.f64 (.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) 3))
	0.5b	(/.f64 (.f64 (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (cos.f64 x))) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))
	20.8b	(/.f64 (-.f64 (.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps))) (.f64 (sin.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (sin.f64 eps) (sin.f64 x)) (.f64 (cos.f64 eps) (cos.f64 x))))))
	1.4b	(/.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 eps)) (cbrt.f64 (sin.f64 eps))) (/.f64 (cbrt.f64 (sin.f64 eps)) (cos.f64 eps))) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))

Compiler

Compiled 3433 to 1278 computations (62.8% saved)

regimes1.8s (24.1%)

Accuracy

Total 0.3b remaining (82%)

Threshold costs 0.3b (82%)

Compiler

Compiled 38366 to 20953 computations (45.4% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
5×	`+-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	39
1	28	39
2	37	39
3	43	39
4	47	39
5	48	39
6	47	39

end1.0ms (0%)

Compiler: Compiled 26 to 16 computations (38.5% saved)

sample2.4s (31%)

Algorithm

1×

intervals

Results

843.0ms	3449×	body	1024	valid
556.0ms	1212×	body	2048	valid
212.0ms	1430×	body	512	valid
62.0ms	1308×	body	128	valid
56.0ms	600×	body	256	valid
1.0ms	1×	body	4096	valid

Compiler

Compiled 483 to 269 computations (44.3% saved)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	21	11
4	27	11
5	42	11
6	65	11
7	78	11
8	90	11
9	92	11
10	86	11
11	72	11

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	21	11
4	27	11
5	42	11
6	65	11
7	78	11
8	90	11
9	92	11
10	86	11
11	72	11

Details

analyze833.0ms (10.9%)

sample67.0ms (0.9%)

simplify11.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite41.0ms (0.5%)

series129.0ms (1.7%)

simplify56.0ms (0.7%)

prune51.0ms (0.7%)

localize17.0ms (0.2%)

rewrite162.0ms (2.1%)

series304.0ms (4%)

simplify135.0ms (1.8%)

prune100.0ms (1.3%)

localize20.0ms (0.3%)

rewrite208.0ms (2.7%)

series246.0ms (3.2%)

simplify107.0ms (1.4%)

prune93.0ms (1.2%)

localize19.0ms (0.2%)

rewrite245.0ms (3.2%)

series264.0ms (3.5%)

simplify121.0ms (1.6%)

prune187.0ms (2.4%)

regimes1.8s (24.1%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample2.4s (31%)

Profiling

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	21	11
4	27	11
5	42	11
6	65	11
7	78	11
8	90	11
9	92	11
10	86	11
11	72	11