Details

analyze1.3s (17.4%)

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
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
26.5%	72.9%	0.5%	9
38.2%	60.7%	1.1%	10
41.7%	54.9%	3.4%	11
47.6%	47.4%	5%	12
53.4%	39.4%	7.2%	13
54.9%	34.5%	10.6%	14

Compiler

Compiled 20 to 15 computations (25% saved)

sample2.7s (36.4%)

Results

1.0s	6280×	body	128	valid
671.0ms	987×	body	1024	valid
319.0ms	1968×	body	128	invalid
289.0ms	660×	body	512	valid
151.0ms	226×	body	1024	invalid
113.0ms	259×	body	512	invalid
103.0ms	327×	body	256	valid
49.0ms	167×	body	256	invalid
4.0ms	2×	body	2048	valid

Compiler

Compiled 40 to 30 computations (25% saved)

preprocess91.0ms (1.2%)

Algorithm

2×	egg-herbie

Rules

820×	`unswap-sqr_binary64`
674×	`associate-/l/_binary64`
369×	`sqr-pow_binary64`
227×	`*-commutative_binary64`
161×	`associate-/r*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	96
1	76	96
2	194	96
3	790	96
4	1679	96
5	1730	96
6	1797	96
7	1874	96
8	1961	96
9	2067	96
10	4016	96
11	4164	96
12	4339	96
13	4521	96
14	4721	96
15	4947	96
0	3	3
1	3	3

Stop Event

1×	unsound
1×	node limit

Symmetry

(sort c s)

Compiler

Compiled 19 to 14 computations (26.3% saved)

simplify65.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

750×	`unswap-sqr_binary64`
516×	`*-commutative_binary64`
376×	`associate-/l/_binary64`
309×	`sqr-pow_binary64`
243×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	24
1	30	24
2	72	24
3	254	24
4	1145	24
5	2128	24
6	3320	24
7	3397	24
8	3494	24
9	3628	24
10	3813	24
11	4060	24
12	4401	24
13	4796	24

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

2.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	26.2b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
▶	2.3b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))

Compiler

Compiled 111 to 69 computations (37.8% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 x (.f64 c s)) (.f64 x (*.f64 c s)))
✓	0.7b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))
✓	3.9b	(.f64 x (.f64 c s))

series169.0ms (2.2%)

Counts

3 → 108

Calls

27 calls:

15.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))	c	-inf
15.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))	s	0
15.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))	c	inf
15.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))	s	-inf
15.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))	c	0

rewrite57.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

699×	`log-prod_binary64`
214×	`expm1-udef_binary64`
214×	`log1p-udef_binary64`
205×	`prod-diff_binary64`
193×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	35
1	236	35
2	3237	35

Stop Event

1×	node limit

Counts

3 → 84

simplify48.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

866×	`associate-/l*_binary64`
440×	`associate-/l/_binary64`
361×	`cancel-sign-sub-inv_binary64`
334×	`unswap-sqr_binary64`
271×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	1776
1	111	1774
2	329	1774
3	1676	1769

Stop Event

1×	node limit

Counts

192 → 101

prune141.0ms (1.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	113	11	124
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	114	12	126

Error

0.6b

Counts

126 → 12

Alt Table

Status	Error	Program
	2.4b	(-.f64 (/.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (.f64 x (.f64 c s)) 2)) (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 x (.f64 c s)) 2)))
	4.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 c (.f64 s x))))
	26.2b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
	14.6b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 (.f64 c s) (.f64 x x))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (*.f64 c s)))
	15.7b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (cbrt.f64 (pow.f64 (.f64 x (.f64 c s)) 4))) (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (.f64 c s)) -2))))
	20.4b	(cbrt.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) 3) (pow.f64 (pow.f64 (.f64 x (.f64 c s)) 2) 3)))
▶	1.9b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (.f64 x (*.f64 c s))))
	2.6b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (pow.f64 (cbrt.f64 (.f64 x (.f64 c s))) 3)))
	2.3b	(pow.f64 (/.f64 (pow.f64 (.f64 x (.f64 c s)) 2) (cos.f64 (+.f64 x x))) -1)
	13.6b	(.f64 (/.f64 1 x) (/.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 (*.f64 c s) 2) x)))
	2.2b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 c s)) -2))) 3)
	14.1b	(/.f64 (cos.f64 (.f64 x 2)) (.f64 (.f64 s x) (.f64 (.f64 s x) (.f64 c c))))

Compiler

Compiled 2991 to 1352 computations (54.8% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2))
✓	0.6b	(/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (.f64 x (.f64 c s)))
✓	0.6b	(/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s)))
	3.9b	(.f64 x (.f64 c s))

series543.0ms (7.2%)

Counts

3 → 84

Calls

21 calls:

40.0ms	(/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s)))	c	-inf
39.0ms	(/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s)))	x	-inf
37.0ms	(cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2))	x	-inf
34.0ms	(/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s)))	s	-inf
34.0ms	(/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s)))	x	inf

rewrite66.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

577×	`prod-diff_binary64`
149×	`add-sqr-sqrt_binary64`
141×	`add-cbrt-cube_binary64`
141×	`log1p-expm1-u_binary64`
141×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	48
1	303	48
2	4219	48

Stop Event

1×	node limit

Counts

3 → 111

simplify49.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

794×	`cancel-sign-sub-inv_binary64`
380×	`fma-neg_binary64`
278×	`times-frac_binary64`
250×	`distribute-rgt-neg-in_binary64`
227×	`distribute-neg-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	72	1746
1	220	1554
2	714	1548
3	2858	1548

Stop Event

1×	node limit

Counts

195 → 141

prune302.0ms (4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	184	3	187
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	186	13	199

Error

0.6b

Counts

199 → 13

Alt Table

Status	Error	Program
	26.2b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
	9.9b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s))) (cbrt.f64 (/.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 c s)) 3))))
	2.4b	(-.f64 (/.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (.f64 x (.f64 c s)) 2)) (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 x (.f64 c s)) 2)))
▶	1.9b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s))) (.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (/.f64 (/.f64 1 x) (*.f64 c s))))
	4.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 c (.f64 s x))))
	20.4b	(cbrt.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) 3) (pow.f64 (pow.f64 (.f64 x (.f64 c s)) 2) 3)))
	3.7b	(.f64 (.f64 (pow.f64 (pow.f64 (cos.f64 (.f64 2 x)) 2) 1/3) (/.f64 1 (.f64 s (.f64 c x)))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (.f64 x (*.f64 c s))))
	14.6b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 (.f64 c s) (.f64 x x))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (*.f64 c s)))
	2.6b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (pow.f64 (cbrt.f64 (.f64 x (.f64 c s))) 3)))
	2.3b	(pow.f64 (/.f64 (pow.f64 (.f64 x (.f64 c s)) 2) (cos.f64 (+.f64 x x))) -1)
	13.6b	(.f64 (/.f64 1 x) (/.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 (*.f64 c s) 2) x)))
	2.2b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 c s)) -2))) 3)
	14.1b	(/.f64 (cos.f64 (.f64 x 2)) (.f64 (.f64 s x) (.f64 (.f64 s x) (.f64 c c))))

Compiler

Compiled 6300 to 1989 computations (68.4% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2))
	0.6b	(/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s)))
	3.9b	(.f64 x (.f64 c s))
✓	4.2b	(/.f64 (/.f64 1 x) (*.f64 c s))

series24.0ms (0.3%)

Counts

1 → 36

Calls

9 calls:

4.0ms	(/.f64 (/.f64 1 x) (*.f64 c s))	x	0
3.0ms	(/.f64 (/.f64 1 x) (*.f64 c s))	s	inf
3.0ms	(/.f64 (/.f64 1 x) (*.f64 c s))	x	-inf
3.0ms	(/.f64 (/.f64 1 x) (*.f64 c s))	c	-inf
2.0ms	(/.f64 (/.f64 1 x) (*.f64 c s))	s	-inf

rewrite38.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

805×	`log1p-expm1-u_binary64`
805×	`expm1-log1p-u_binary64`
83×	`add-sqr-sqrt_binary64`
76×	`add-cbrt-cube_binary64`
76×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	166	10
2	2249	10

Stop Event

1×	node limit

Counts

1 → 40

simplify14.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

13×	`associate-/r*_binary64`
5×	`*-commutative_binary64`
4×	`associate-/l/_binary64`
3×	`associate-l_binary64`
2×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	360
1	25	360
2	43	360
3	47	360

Stop Event

1×

saturated

Counts

76 → 43

prune275.0ms (3.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	153	1	154
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	154	13	167

Error

0.6b

Counts

167 → 13

Alt Table

Status	Error	Program
	26.2b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
	9.9b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s))) (cbrt.f64 (/.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 c s)) 3))))
	2.4b	(-.f64 (/.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (.f64 x (.f64 c s)) 2)) (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 x (.f64 c s)) 2)))
✓	1.9b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s))) (.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (/.f64 (/.f64 1 x) (*.f64 c s))))
	4.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 c (.f64 s x))))
	14.6b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 (.f64 c s) (.f64 x x))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (*.f64 c s)))
	3.7b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s))) (.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (/.f64 (/.f64 1 c) (*.f64 s x))))
	3.7b	(.f64 (.f64 (pow.f64 (pow.f64 (cos.f64 (.f64 2 x)) 2) 1/3) (/.f64 1 (.f64 s (.f64 c x)))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (.f64 x (*.f64 c s))))
	2.6b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (pow.f64 (cbrt.f64 (.f64 x (.f64 c s))) 3)))
	2.3b	(pow.f64 (/.f64 (pow.f64 (.f64 x (.f64 c s)) 2) (cos.f64 (+.f64 x x))) -1)
	13.6b	(.f64 (/.f64 1 x) (/.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 (*.f64 c s) 2) x)))
▶	2.2b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 c s)) -2))) 3)
	14.1b	(/.f64 (cos.f64 (.f64 x 2)) (.f64 (.f64 s x) (.f64 (.f64 s x) (.f64 c c))))

Compiler

Compiled 5509 to 2217 computations (59.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (.f64 x (.f64 c s)) -2)
✓	0.4b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 c s)) -2))) 3)
	3.9b	(.f64 x (.f64 c s))
✓	22.5b	(cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 c s)) -2)))

series148.0ms (2%)

Counts

3 → 36

Calls

27 calls:

13.0ms	(cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 c s)) -2)))	s	-inf
12.0ms	(cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 c s)) -2)))	x	0
11.0ms	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 c s)) -2))) 3)	x	0
7.0ms	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 c s)) -2))) 3)	c	inf
7.0ms	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 x (*.f64 c s)) -2))) 3)	s	-inf

rewrite58.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

505×	`prod-diff_binary64`
236×	`log1p-udef_binary64`
141×	`add-sqr-sqrt_binary64`
136×	`log1p-expm1-u_binary64`
136×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	48
1	301	48
2	3650	48

Stop Event

1×	node limit

Counts

3 → 80

simplify79.0ms (1%)

Algorithm

1×	egg-herbie

Rules

811×	`associate-l_binary64`
691×	`*-commutative_binary64`
550×	`associate-r_binary64`
402×	`associate-/r*_binary64`
315×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	684
1	39	684
2	118	684
3	586	684
4	3793	684
5	3839	684
6	3968	684
7	4167	684
8	4336	684
9	4524	684

Stop Event

1×	node limit

Counts

116 → 83

prune110.0ms (1.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	104	2	106
Fresh	1	10	11
Picked	1	0	1
Done	0	1	1
Total	106	13	119

Error

0.0b

Counts

119 → 13

Alt Table

Status	Error	Program
	2.4b	(-.f64 (/.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (.f64 x (.f64 c s)) 2)) (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 x (.f64 c s)) 2)))
✓	1.9b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s))) (.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (/.f64 (/.f64 1 x) (*.f64 c s))))
	4.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 c (.f64 s x))))
	2.6b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 s (*.f64 c x)) -2))) 3)
	14.1b	(/.f64 (cos.f64 (.f64 x 2)) (.f64 (.f64 s x) (.f64 (.f64 s x) (.f64 c c))))
	26.2b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
	14.6b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 (.f64 c s) (.f64 x x))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (*.f64 c s)))
	3.7b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c s))) (.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (/.f64 (/.f64 1 c) (*.f64 s x))))
	3.7b	(.f64 (.f64 (pow.f64 (pow.f64 (cos.f64 (.f64 2 x)) 2) 1/3) (/.f64 1 (.f64 s (.f64 c x)))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (.f64 x (*.f64 c s))))
	2.6b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (pow.f64 (cbrt.f64 (.f64 x (.f64 c s))) 3)))
	2.3b	(pow.f64 (/.f64 (pow.f64 (.f64 x (.f64 c s)) 2) (cos.f64 (+.f64 x x))) -1)
	13.6b	(.f64 (/.f64 1 x) (/.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 (*.f64 c s) 2) x)))
	19.8b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (/.f64 1 (.f64 (.f64 s s) (.f64 (.f64 c x) (.f64 c x)))))) 3)

Compiler

Compiled 2521 to 1531 computations (39.3% saved)

regimes857.0ms (11.4%)

Accuracy

Total 2.2b remaining (96.3%)

Threshold costs 0b (0%)

Counts

121 → 3

Compiler

Compiled 18138 to 10766 computations (40.6% saved)

bsearch85.0ms (1.1%)

Algorithm

2×	binary-search

Calls

2 calls:

56.0ms	s
24.0ms	s

Steps

Iters	Point		Range
4.318738514668659e+217	∈ [	3.3960280013878945e+216	,	5.340597065471865e+218	]
7.796448576819047e-90	∈ [	9.0659903082626e-93	,	2.1748389440712267e-88	]

Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	95
1	47	95

Stop Event

1×

saturated

end214.0ms (2.8%)

Stop Event

1×

fuel

Compiler

Compiled 564 to 329 computations (41.7% saved)

Details

analyze1.3s (17.4%)

sample2.7s (36.4%)

preprocess91.0ms (1.2%)

simplify65.0ms (0.9%)

prune4.0ms (0.1%)

localize8.0ms (0.1%)

series169.0ms (2.2%)

rewrite57.0ms (0.8%)

simplify48.0ms (0.6%)

prune141.0ms (1.9%)

localize14.0ms (0.2%)

series543.0ms (7.2%)

rewrite66.0ms (0.9%)

simplify49.0ms (0.6%)

prune302.0ms (4%)

localize15.0ms (0.2%)

series24.0ms (0.3%)

rewrite38.0ms (0.5%)

simplify14.0ms (0.2%)

prune275.0ms (3.6%)

localize10.0ms (0.1%)

series148.0ms (2%)

rewrite58.0ms (0.8%)

simplify79.0ms (1%)

prune110.0ms (1.5%)

regimes857.0ms (11.4%)

bsearch85.0ms (1.1%)

simplify3.0ms (0%)

end214.0ms (2.8%)

Profiling