Details

analyze1.4s (13.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0%	14

Compiler

Compiled 17 to 9 computations (47.1% saved)

sample68.0ms (0.7%)

Algorithm

1×

intervals

Results

26.0ms	62×	body	1024	valid
17.0ms	147×	body	128	valid
8.0ms	24×	body	512	valid
5.0ms	22×	body	256	valid
1.0ms	1×	body	2048	valid

Compiler

Compiled 34 to 18 computations (47.1% saved)

simplify101.0ms (1%)

Algorithm

1×	egg-herbie

Rules

678×	`unsub-neg_binary64`
627×	`times-frac_binary64`
565×	`div-sub_binary64`
547×	`fma-def_binary64`
526×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	24
1	19	22
2	30	22
3	47	22
4	94	22
5	137	22
6	211	22
7	437	22
8	928	22
9	1718	22
10	3074	22
11	3861	22
12	4442	22
13	4822	22

prune6.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

0.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.3b	(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.3b	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))

Compiler

Compiled 92 to 45 computations (51.1% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (tan.f64 x) (tan.f64 x) 1)
✓	0.1b	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
✓	0.1b	(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
✓	0.3b	(*.f64 (tan.f64 x) (tan.f64 x))

series256.0ms (2.6%)

Counts

4 → 48

Calls

4 calls:

173.0ms	(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
35.0ms	(fma.f64 (tan.f64 x) (tan.f64 x) 1)
24.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
23.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

rewrite34.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64`
20×	`add-cube-cbrt_binary64`
15×	`times-frac_binary64`
11×	`pow1_binary64`

Counts

4 → 102

Calls

4 calls:

9.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
8.0ms	(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
5.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
1.0ms	(fma.f64 (tan.f64 x) (tan.f64 x) 1)

simplify171.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

588×	`cancel-sign-sub-inv_binary64`
342×	`fma-def_binary64`
323×	`fma-neg_binary64`
287×	`associate-l_binary64`
237×	`associate-r_binary64`

Counts

150 → 159

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	164	3084
1	360	2781
2	960	2730
3	3123	2721
4	5035	2721

prune425.0ms (4.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	147	12	159
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	149	12	161

Error

0.0b

Counts

161 → 12

Alt Table

Status	Error	Program
	0.4b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.4b	(/.f64 (-.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
	0.5b	(.f64 (/.f64 1 (hypot.f64 1 (tan.f64 x))) (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (hypot.f64 1 (tan.f64 x))))
	16.0b	(exp.f64 (log.f64 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.8b	(/.f64 (.f64 (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x)))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))))
	0.7b	(/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (.f64 (tan.f64 x) (tan.f64 x))) (cbrt.f64 (.f64 (tan.f64 x) (tan.f64 x)))) (cbrt.f64 (*.f64 (tan.f64 x) (tan.f64 x))))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
▶	0.4b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 6)) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.8b	(/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))) (*.f64 (cbrt.f64 (tan.f64 x)) (tan.f64 x)))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.4b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
	0.5b	(/.f64 (-.f64 1 (expm1.f64 (log1p.f64 (*.f64 (tan.f64 x) (tan.f64 x))))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	12.4b	(/.f64 (expm1.f64 (log1p.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.5b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))

Compiler

Compiled 3906 to 1873 computations (52% saved)

localize26.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4))
✓	0.2b	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 6)) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4))))
✓	0.5b	(pow.f64 (tan.f64 x) 4)
✓	0.6b	(pow.f64 (tan.f64 x) 6)

series558.0ms (5.6%)

Counts

4 → 48

Calls

4 calls:

393.0ms	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 6)) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4))))
70.0ms	(fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4))
49.0ms	(pow.f64 (tan.f64 x) 6)
44.0ms	(pow.f64 (tan.f64 x) 4)

rewrite53.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

71×	`*-un-lft-identity_binary64`
59×	`add-sqr-sqrt_binary64`
40×	`times-frac_binary64`
30×	`difference-of-squares_binary64`
24×	`add-cube-cbrt_binary64`

Counts

4 → 121

Calls

4 calls:

19.0ms	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 6)) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4))))
5.0ms	(pow.f64 (tan.f64 x) 4)
4.0ms	(pow.f64 (tan.f64 x) 6)
1.0ms	(fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4))

simplify261.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

515×	`associate-l_binary64`
487×	`fma-def_binary64`
471×	`associate-r_binary64`
251×	`associate-/l*_binary64`
214×	`distribute-rgt-in_binary64`

Counts

169 → 196

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	228	5070
1	501	4763
2	1248	4749
3	4979	4749
4	4974	4749

prune799.0ms (8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	194	2	196
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	194	14	208

Error

0.0b

Counts

208 → 14

Alt Table

Status	Error	Program
	33.6b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (tan.f64 x) (*.f64 (cbrt.f64 6) (cbrt.f64 6))) (cbrt.f64 6))) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.8b	(/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))) (*.f64 (cbrt.f64 (tan.f64 x)) (tan.f64 x)))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
▶	0.4b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.4b	(/.f64 (-.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
	0.5b	(.f64 (/.f64 1 (hypot.f64 1 (tan.f64 x))) (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (hypot.f64 1 (tan.f64 x))))
	16.0b	(exp.f64 (log.f64 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.8b	(/.f64 (.f64 (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x)))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))))
	0.7b	(/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (.f64 (tan.f64 x) (tan.f64 x))) (cbrt.f64 (.f64 (tan.f64 x) (tan.f64 x)))) (cbrt.f64 (*.f64 (tan.f64 x) (tan.f64 x))))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
✓	0.4b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 6)) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.6b	(/.f64 (/.f64 (-.f64 1 (/.f64 (pow.f64 (sin.f64 x) 6) (pow.f64 (cos.f64 x) 6))) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.4b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
	0.5b	(/.f64 (-.f64 1 (expm1.f64 (log1p.f64 (*.f64 (tan.f64 x) (tan.f64 x))))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	12.4b	(/.f64 (expm1.f64 (log1p.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.5b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))

Compiler

Compiled 7632 to 4505 computations (41% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
	0.1b	(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
✓	0.3b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))

series172.0ms (1.7%)

Counts

1 → 12

Calls

1 calls:

172.0ms

(log.f64 (exp.f64 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))

rewrite19.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`log-pow_binary64`
19×	`exp-prod_binary64`
15×	`times-frac_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`

Counts

1 → 34

Calls

1 calls:

10.0ms

(log.f64 (exp.f64 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))

simplify136.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

468×	`distribute-rgt-neg-in_binary64`
412×	`distribute-lft-neg-in_binary64`
337×	`unswap-sqr_binary64`
277×	`associate-l_binary64`
251×	`associate-r_binary64`

Counts

46 → 69

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	110	1287
1	184	1217
2	352	1188
3	796	1186
4	2685	1186
5	4892	1186
6	4925	1186

prune680.0ms (6.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	204	3	207
Fresh	3	9	12
Picked	1	0	1
Done	0	1	1
Total	208	13	221

Error

0.0b

Counts

221 → 13

Alt Table

Status	Error	Program
	0.5b	(.f64 (/.f64 1 (hypot.f64 1 (tan.f64 x))) (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (hypot.f64 1 (tan.f64 x))))
	16.0b	(exp.f64 (log.f64 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.6b	(.f64 (/.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (log.f64 (exp.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))))
	0.7b	(/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (.f64 (tan.f64 x) (tan.f64 x))) (cbrt.f64 (.f64 (tan.f64 x) (tan.f64 x)))) (cbrt.f64 (*.f64 (tan.f64 x) (tan.f64 x))))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.4b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (/.f64 (*.f64 (tan.f64 x) (sin.f64 x)) (cos.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.8b	(/.f64 (.f64 (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x)))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))))
✓	0.4b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 6)) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	33.6b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (tan.f64 x) (*.f64 (cbrt.f64 6) (cbrt.f64 6))) (cbrt.f64 6))) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.6b	(/.f64 (/.f64 (-.f64 1 (/.f64 (pow.f64 (sin.f64 x) 6) (pow.f64 (cos.f64 x) 6))) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
▶	0.4b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
	0.5b	(/.f64 (-.f64 1 (expm1.f64 (log1p.f64 (*.f64 (tan.f64 x) (tan.f64 x))))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	16.1b	(.f64 (sqrt.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (log.f64 (exp.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))))
	0.5b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))

Compiler

Compiled 5719 to 2941 computations (48.6% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(+.f64 1 (tan.f64 x))
✓	0.2b	(/.f64 (-.f64 1 (tan.f64 x)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
✓	0.2b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
✓	0.2b	(-.f64 1 (tan.f64 x))

series368.0ms (3.7%)

Counts

4 → 48

Calls

4 calls:

180.0ms	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
156.0ms	(/.f64 (-.f64 1 (tan.f64 x)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
16.0ms	(-.f64 1 (tan.f64 x))
15.0ms	(+.f64 1 (tan.f64 x))

rewrite66.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`add-sqr-sqrt_binary64`
63×	`*-un-lft-identity_binary64`
37×	`times-frac_binary64`
35×	`add-cube-cbrt_binary64`
22×	`associate-r_binary64`

Counts

4 → 140

Calls

4 calls:

22.0ms	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
10.0ms	(/.f64 (-.f64 1 (tan.f64 x)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
6.0ms	(-.f64 1 (tan.f64 x))
6.0ms	(+.f64 1 (tan.f64 x))

simplify312.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

659×	`fma-def_binary64`
577×	`distribute-rgt-in_binary64`
520×	`distribute-lft-in_binary64`
293×	`times-frac_binary64`
257×	`fma-neg_binary64`

Counts

188 → 200

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	209	4254
1	489	3944
2	1712	3790
3	4569	3790
4	4971	3790
5	4999	3790
6	4910	3790

prune642.0ms (6.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	195	5	200
Fresh	6	5	11
Picked	1	0	1
Done	0	1	1
Total	202	11	213

Error

0.0b

Counts

213 → 11

Alt Table

Status	Error	Program
	15.9b	(exp.f64 (+.f64 (log1p.f64 (tan.f64 x)) (-.f64 (log1p.f64 (neg.f64 (tan.f64 x))) (log1p.f64 (*.f64 (tan.f64 x) (tan.f64 x))))))
✓	0.4b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 6)) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.7b	(/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (.f64 (tan.f64 x) (tan.f64 x))) (cbrt.f64 (.f64 (tan.f64 x) (tan.f64 x)))) (cbrt.f64 (*.f64 (tan.f64 x) (tan.f64 x))))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.4b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (/.f64 (*.f64 (tan.f64 x) (sin.f64 x)) (cos.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.8b	(/.f64 (.f64 (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x)))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))))
	0.8b	(.f64 (.f64 (*.f64 (cbrt.f64 (-.f64 1 (tan.f64 x))) (cbrt.f64 (-.f64 1 (tan.f64 x)))) (+.f64 1 (tan.f64 x))) (/.f64 (cbrt.f64 (-.f64 1 (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
	0.5b	(cbrt.f64 (.f64 (.f64 (.f64 (+.f64 1 (tan.f64 x)) (+.f64 1 (tan.f64 x))) (+.f64 1 (tan.f64 x))) (.f64 (*.f64 (/.f64 (-.f64 1 (tan.f64 x)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (/.f64 (-.f64 1 (tan.f64 x)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (-.f64 1 (tan.f64 x)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)))))
	0.6b	(/.f64 (/.f64 (-.f64 1 (/.f64 (pow.f64 (sin.f64 x) 6) (pow.f64 (cos.f64 x) 6))) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.4b	(/.f64 (*.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
	0.4b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (log.f64 (exp.f64 (-.f64 1 (tan.f64 x)))) (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
	16.1b	(.f64 (sqrt.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (log.f64 (exp.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))))

Compiler

Compiled 5468 to 2947 computations (46.1% saved)

regimes2.1s (20.9%)

Accuracy

Total 0.2b remaining (72.6%)

Threshold costs 0.2b (72.6%)

Counts

271 → 1

Compiler

Compiled 23370 to 13998 computations (40.1% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	13	22
2	15	22
3	16	22
4	15	22

end0.0ms (0%)

Compiler: Compiled 15 to 8 computations (46.7% saved)

sample1.3s (12.9%)

Algorithm

1×

intervals

Results

425.0ms	1987×	body	1024	valid
242.0ms	4502×	body	128	valid
163.0ms	1025×	body	512	valid
54.0ms	481×	body	256	valid
2.0ms	5×	body	2048	valid

Compiler

Compiled 343 to 192 computations (44% saved)

Details

analyze1.4s (13.8%)

sample68.0ms (0.7%)

simplify101.0ms (1%)

prune6.0ms (0.1%)

localize14.0ms (0.1%)

series256.0ms (2.6%)

rewrite34.0ms (0.3%)

simplify171.0ms (1.7%)

prune425.0ms (4.3%)

localize26.0ms (0.3%)

series558.0ms (5.6%)

rewrite53.0ms (0.5%)

simplify261.0ms (2.6%)

prune799.0ms (8%)

localize21.0ms (0.2%)

series172.0ms (1.7%)

rewrite19.0ms (0.2%)

simplify136.0ms (1.4%)

prune680.0ms (6.8%)

localize16.0ms (0.2%)

series368.0ms (3.7%)

rewrite66.0ms (0.7%)

simplify312.0ms (3.1%)

prune642.0ms (6.5%)

regimes2.1s (20.9%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.3s (12.9%)

Profiling