Details

analyze807.0ms (14.5%)

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)

sample38.0ms (0.7%)

Algorithm

1×

intervals

Results

15.0ms	69×	body	1024	valid
7.0ms	136×	body	128	valid
5.0ms	33×	body	512	valid
2.0ms	17×	body	256	valid
0.0ms	1×	body	2048	valid

Compiler

Compiled 34 to 18 computations (47.1% saved)

simplify100.0ms (1.8%)

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

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

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)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite17.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64`
24×	`*-un-lft-identity_binary64`
19×	`add-cube-cbrt_binary64`
15×	`times-frac_binary64`
10×	`difference-of-squares_binary64`

Counts

3 → 94

Calls

3 calls:

5.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
4.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
2.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))

series123.0ms (2.2%)

Counts

3 → 36

Calls

3 calls:

85.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
19.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
18.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))

simplify112.0ms (2%)

Algorithm

1×	egg-herbie

Rules

600×	`cancel-sign-sub-inv_binary64`
343×	`fma-def_binary64`
326×	`fma-neg_binary64`
297×	`associate-l_binary64`
246×	`associate-r_binary64`

Counts

130 → 217

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	158	2878
1	361	2545
2	965	2491
3	3217	2482
4	5230	2482

prune285.0ms (5.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	269	13	282
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	271	13	284

Error

0.0b

Counts

284 → 13

Alt Table

Status	Error	Program
	0.3b	(/.f64 (.f64 (+.f64 1 (tan.f64 x)) (-.f64 1 (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	0.4b	(/.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (sqrt.f64 (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (sqrt.f64 (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))))
	0.3b	(expm1.f64 (log1p.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))))
	0.6b	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))) (.f64 (cbrt.f64 (tan.f64 x)) (tan.f64 x)))))
	0.4b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))))
	0.5b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (tan.f64 x) (tan.f64 x)) 3)) (.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))))
▶	0.3b	(/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (neg.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
	0.4b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.8b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x)))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	33.1b	(fma.f64 (*.f64 x x) -2 1)
	0.5b	(.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.4b	(.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (-.f64 (.f64 1 1) (.f64 (.f64 (tan.f64 x) (tan.f64 x)) (.f64 (tan.f64 x) (tan.f64 x))))) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	15.3b	(/.f64 (expm1.f64 (log1p.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))

Compiler

Compiled 5016 to 2205 computations (56% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite9.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`times-frac_binary64`
26×	`*-un-lft-identity_binary64`
26×	`add-sqr-sqrt_binary64`
26×	`add-cube-cbrt_binary64`
12×	`distribute-lft-neg-in_binary64`

Counts

3 → 77

Calls

3 calls:

3.0ms	(/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (neg.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
0.0ms	(fma.f64 (tan.f64 x) (tan.f64 x) -1)
0.0ms	(fma.f64 (tan.f64 x) (tan.f64 x) 1)

series182.0ms (3.3%)

Counts

3 → 36

Calls

3 calls:

123.0ms	(/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (neg.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
30.0ms	(fma.f64 (tan.f64 x) (tan.f64 x) 1)
29.0ms	(fma.f64 (tan.f64 x) (tan.f64 x) -1)

simplify144.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1007×	`div-sub_binary64`
732×	`fma-def_binary64`
452×	`fma-neg_binary64`
249×	`cancel-sign-sub-inv_binary64`
189×	`associate-/r*_binary64`

Counts

113 → 191

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	141	3188
1	290	3046
2	762	2949
3	2228	2939
4	4348	2939
5	6050	2939

prune230.0ms (4.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	188	3	191
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	193	11	204

Error

0.0b

Counts

204 → 11

Alt Table

Status	Error	Program
	0.4b	(/.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (sqrt.f64 (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (sqrt.f64 (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))))
	0.4b	(/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (neg.f64 (exp.f64 (log1p.f64 (*.f64 (tan.f64 x) (tan.f64 x))))))
	0.4b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
▶	0.3b	(*.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
	0.5b	(.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.3b	(expm1.f64 (log1p.f64 (/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (-.f64 -1 (*.f64 (tan.f64 x) (tan.f64 x))))))
	0.8b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x)))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	33.1b	(fma.f64 (*.f64 x x) -2 1)
	0.4b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))))
	0.4b	(.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (-.f64 (.f64 1 1) (.f64 (.f64 (tan.f64 x) (tan.f64 x)) (.f64 (tan.f64 x) (tan.f64 x))))) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.5b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (tan.f64 x) (tan.f64 x)) 3)) (.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))))

Compiler

Compiled 3825 to 1970 computations (48.5% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
19×	`times-frac_binary64`
18×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
13×	`associate-r_binary64`

Counts

2 → 63

Calls

2 calls:

5.0ms	(*.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
2.0ms	(/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))

series196.0ms (3.5%)

Counts

2 → 24

Calls

2 calls:

120.0ms	(*.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
75.0ms	(/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))

simplify113.0ms (2%)

Algorithm

1×	egg-herbie

Rules

716×	`fma-def_binary64`
363×	`fma-neg_binary64`
311×	`associate-l_binary64`
276×	`cancel-sign-sub-inv_binary64`
248×	`div-sub_binary64`

Counts

87 → 139

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	125	2230
1	277	2019
2	885	1945
3	2668	1931
4	4465	1931
5	5142	1931

prune224.0ms (4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	198	3	201
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	201	11	212

Error

0.0b

Counts

212 → 11

Alt Table

Status	Error	Program
	0.5b	(.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.3b	(expm1.f64 (log1p.f64 (/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (-.f64 -1 (*.f64 (tan.f64 x) (tan.f64 x))))))
▶	0.3b	(.f64 (+.f64 (.f64 (tan.f64 x) (tan.f64 x)) -1) (/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
	0.4b	(/.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (sqrt.f64 (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (sqrt.f64 (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))))
	0.4b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.8b	(.f64 (.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (*.f64 (cbrt.f64 (/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (cbrt.f64 (/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))))) (cbrt.f64 (/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.8b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x)))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	33.1b	(fma.f64 (*.f64 x x) -2 1)
	0.4b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))))
	0.4b	(.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (/.f64 -1 (exp.f64 (log1p.f64 (.f64 (tan.f64 x) (tan.f64 x))))))
	0.5b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (tan.f64 x) (tan.f64 x)) 3)) (.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))))

Compiler

Compiled 3700 to 2075 computations (43.9% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite18.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
10×	`times-frac_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`

Counts

2 → 54

Calls

2 calls:

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

series129.0ms (2.3%)

Counts

2 → 24

Calls

2 calls:

109.0ms	(.f64 (+.f64 (.f64 (tan.f64 x) (tan.f64 x)) -1) (/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
20.0ms	(+.f64 (*.f64 (tan.f64 x) (tan.f64 x)) -1)

simplify112.0ms (2%)

Algorithm

1×	egg-herbie

Rules

463×	`distribute-rgt-in_binary64`
419×	`distribute-lft-in_binary64`
340×	`div-sub_binary64`
338×	`fma-neg_binary64`
265×	`fma-def_binary64`

Counts

78 → 147

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	132	1993
1	336	1755
2	1186	1686
3	3752	1672
4	4978	1672
5	5178	1672

prune280.0ms (5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	332	1	333
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	333	11	344

Error

0.0b

Counts

344 → 11

Alt Table

Status	Error	Program
	0.5b	(.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.3b	(expm1.f64 (log1p.f64 (/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (-.f64 -1 (*.f64 (tan.f64 x) (tan.f64 x))))))
✓	0.3b	(.f64 (+.f64 (.f64 (tan.f64 x) (tan.f64 x)) -1) (/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))
	0.4b	(/.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (sqrt.f64 (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (sqrt.f64 (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))))
	0.4b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	18.4b	(exp.f64 (-.f64 (log1p.f64 (neg.f64 (.f64 (tan.f64 x) (tan.f64 x)))) (log1p.f64 (.f64 (tan.f64 x) (tan.f64 x)))))
	0.8b	(.f64 (.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (*.f64 (cbrt.f64 (/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (cbrt.f64 (/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))))) (cbrt.f64 (/.f64 -1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.8b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x)))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	0.4b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))))
	0.4b	(.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (/.f64 -1 (exp.f64 (log1p.f64 (.f64 (tan.f64 x) (tan.f64 x))))))
	0.5b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (tan.f64 x) (tan.f64 x)) 3)) (.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1) (+.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) (pow.f64 (tan.f64 x) 4)))))

Compiler

Compiled 4845 to 2533 computations (47.7% saved)

regimes1.1s (19.4%)

Accuracy

Total 0.2b remaining (72%)

Threshold costs 0.2b (72%)

Compiler

Compiled 22835 to 12632 computations (44.7% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	24
1	18	24
2	26	22
3	32	22
4	35	22
5	36	22
6	34	22

end1.0ms (0%)

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

sample1.3s (23.6%)

Algorithm

1×

intervals

Results

456.0ms	2055×	body	1024	valid
241.0ms	4414×	body	128	valid
160.0ms	992×	body	512	valid
63.0ms	535×	body	256	valid
1.0ms	4×	body	2048	valid

Compiler

Compiled 292 to 162 computations (44.5% saved)

Details

analyze807.0ms (14.5%)

sample38.0ms (0.7%)

simplify100.0ms (1.8%)

prune4.0ms (0.1%)

localize7.0ms (0.1%)

rewrite17.0ms (0.3%)

series123.0ms (2.2%)

simplify112.0ms (2%)

prune285.0ms (5.1%)

localize8.0ms (0.1%)

rewrite9.0ms (0.2%)

series182.0ms (3.3%)

simplify144.0ms (2.6%)

prune230.0ms (4.1%)

localize9.0ms (0.2%)

rewrite12.0ms (0.2%)

series196.0ms (3.5%)

simplify113.0ms (2%)

prune224.0ms (4%)

localize9.0ms (0.2%)

rewrite18.0ms (0.3%)

series129.0ms (2.3%)

simplify112.0ms (2%)

prune280.0ms (5%)

regimes1.1s (19.4%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample1.3s (23.6%)

Profiling