Details

analyze722.0ms (7.9%)

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)

sample1.8s (19.4%)

Results

773.0ms	2085×	body	1024	valid
482.0ms	4618×	body	128	valid
284.0ms	1037×	body	512	valid
105.0ms	509×	body	256	valid
3.0ms	7×	body	2048	valid

Compiler

Compiled 50 to 26 computations (48% saved)

simplify100.0ms (1.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

prune3.0ms (0%)

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.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.4b	(/.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 (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.1b	(+.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.3b	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
✓	0.3b	(*.f64 (tan.f64 x) (tan.f64 x))

series109.0ms (1.2%)

Counts

4 → 48

Calls

4 calls:

76.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
13.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
10.0ms	(+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
10.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

rewrite364.0ms (4%)

Algorithm

4×	egg-rewrite

Rules

127×	`egg`
50×	`egg`
45×	`egg`
42×	`egg`

Counts

4 → 264

Calls

4 calls:

112.0ms	(+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
87.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
82.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
75.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	81	6
2	883	6
3	4769	6
4	5900	6
0	6	9
1	128	9
2	1459	9
3	4878	9
4	4964	9
0	8	20
1	180	20
2	2351	20
3	4971	20
0	6	9
1	124	9
2	1395	9
3	4788	9
4	4959	9
5	4944	9

simplify120.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

669×	`fma-def_binary64`
542×	`associate-l_binary64`
461×	`unswap-sqr_binary64`
457×	`associate-r_binary64`
342×	`cancel-sign-sub-inv_binary64`

Counts

312 → 292

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	868
1	132	864
2	326	858
3	936	856
4	3585	856
5	4667	856
6	4878	856
7	4953	856

prune705.0ms (7.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	326	15	341
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	328	15	343

Error

0.0b

Counts

343 → 15

Alt Table

Status	Error	Program
	0.7b	(fma.f64 (/.f64 1 (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (pow.f64 (tan.f64 x) 2)) (neg.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.5b	(*.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))))
	0.7b	(+.f64 (fma.f64 (/.f64 1 (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (pow.f64 (tan.f64 x) 2)) (neg.f64 (.f64 (/.f64 (tan.f64 x) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (/.f64 (tan.f64 x) 1)))) (fma.f64 (neg.f64 (/.f64 (tan.f64 x) (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (tan.f64 x) 1) (.f64 (/.f64 (tan.f64 x) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (/.f64 (tan.f64 x) 1))))
	1.0b	(/.f64 (log.f64 (exp.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.5b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.8b	(+.f64 (fma.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))) (neg.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 4)) 1)))) (fma.f64 (neg.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 4)) 1) (.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 4)) 1))))
	0.6b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (sqrt.f64 (/.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (neg.f64 (.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (hypot.f64 1 (tan.f64 x))) (/.f64 1 (hypot.f64 1 (tan.f64 x)))))) (fma.f64 (neg.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (hypot.f64 1 (tan.f64 x)))) (/.f64 1 (hypot.f64 1 (tan.f64 x))) (.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (hypot.f64 1 (tan.f64 x))) (/.f64 1 (hypot.f64 1 (tan.f64 x))))))
	0.5b	(/.f64 (-.f64 (/.f64 1 (+.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 4)))) (/.f64 (pow.f64 (tan.f64 x) 6) (+.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 4))))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.5b	(/.f64 (/.f64 (-.f64 1 (.f64 (neg.f64 (pow.f64 (tan.f64 x) 2)) (neg.f64 (pow.f64 (tan.f64 x) 2)))) (-.f64 1 (neg.f64 (pow.f64 (tan.f64 x) 2)))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	1.0b	(+.f64 (fma.f64 (.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))) (neg.f64 (.f64 (/.f64 (tan.f64 x) (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (tan.f64 x) (pow.f64 (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) 2))))) (fma.f64 (neg.f64 (/.f64 (tan.f64 x) (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))) (/.f64 (tan.f64 x) (pow.f64 (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) 2)) (*.f64 (/.f64 (tan.f64 x) (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (tan.f64 x) (pow.f64 (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) 2)))))
	0.6b	(fma.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))) (neg.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
▶	0.5b	(/.f64 (/.f64 1 (/.f64 (+.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 4))) (-.f64 1 (pow.f64 (tan.f64 x) 6)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.5b	(/.f64 (-.f64 1 (-.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) 1)) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.6b	(*.f64 (/.f64 1 (hypot.f64 1 (tan.f64 x))) (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (hypot.f64 1 (tan.f64 x))))
	1.1b	(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 (tan.f64 x) 2))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))))))

Compiler

Compiled 12038 to 7083 computations (41.2% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
✓	0.3b	(pow.f64 (tan.f64 x) 2)
✓	0.5b	(pow.f64 (tan.f64 x) 4)
✓	0.6b	(pow.f64 (tan.f64 x) 6)

series50.0ms (0.6%)

Counts

3 → 36

Calls

3 calls:

24.0ms	(pow.f64 (tan.f64 x) 6)
17.0ms	(pow.f64 (tan.f64 x) 4)
9.0ms	(pow.f64 (tan.f64 x) 2)

rewrite245.0ms (2.7%)

Algorithm

3×	egg-rewrite

Rules

47×	`egg`
44×	`egg`
39×	`egg`

Counts

3 → 130

Calls

3 calls:

83.0ms	(pow.f64 (tan.f64 x) 2)
80.0ms	(pow.f64 (tan.f64 x) 4)
80.0ms	(pow.f64 (tan.f64 x) 6)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	108	6
2	1119	6
3	4613	6
4	5970	6
0	5	6
1	107	6
2	1086	6
3	4709	6
4	6070	6
0	5	6
1	104	6
2	1035	6
3	4737	6
4	6081	6

simplify111.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

906×	`fma-def_binary64`
592×	`sqr-pow_binary64`
469×	`*-commutative_binary64`
440×	`distribute-lft-out_binary64`
302×	`associate-/l*_binary64`

Counts

166 → 157

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	58	522
1	136	518
2	331	512
3	1027	510
4	3008	462
5	3404	462
6	3672	438
7	4155	438
8	4732	438
9	5240	438

prune545.0ms (6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	205	1	206
Fresh	1	13	14
Picked	1	0	1
Done	0	0	0
Total	207	14	221

Error

0.0b

Counts

221 → 14

Alt Table

Status	Error	Program
	0.5b	(/.f64 (/.f64 1 (/.f64 (+.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) (cbrt.f64 (pow.f64 (tan.f64 x) 12)))) (-.f64 1 (pow.f64 (tan.f64 x) 6)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.5b	(/.f64 (-.f64 (/.f64 1 (+.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 4)))) (/.f64 (pow.f64 (tan.f64 x) 6) (+.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 4))))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.7b	(fma.f64 (/.f64 1 (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (pow.f64 (tan.f64 x) 2)) (neg.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
▶	0.5b	(*.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))))
	0.5b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.8b	(+.f64 (fma.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))) (neg.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 4)) 1)))) (fma.f64 (neg.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 4)) 1) (.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 4)) 1))))
	0.6b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (sqrt.f64 (/.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (neg.f64 (.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (hypot.f64 1 (tan.f64 x))) (/.f64 1 (hypot.f64 1 (tan.f64 x)))))) (fma.f64 (neg.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (hypot.f64 1 (tan.f64 x)))) (/.f64 1 (hypot.f64 1 (tan.f64 x))) (.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (hypot.f64 1 (tan.f64 x))) (/.f64 1 (hypot.f64 1 (tan.f64 x))))))
	0.5b	(/.f64 (/.f64 (-.f64 1 (.f64 (neg.f64 (pow.f64 (tan.f64 x) 2)) (neg.f64 (pow.f64 (tan.f64 x) 2)))) (-.f64 1 (neg.f64 (pow.f64 (tan.f64 x) 2)))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	1.0b	(+.f64 (fma.f64 (.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))) (neg.f64 (.f64 (/.f64 (tan.f64 x) (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (tan.f64 x) (pow.f64 (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) 2))))) (fma.f64 (neg.f64 (/.f64 (tan.f64 x) (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))) (/.f64 (tan.f64 x) (pow.f64 (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) 2)) (*.f64 (/.f64 (tan.f64 x) (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (tan.f64 x) (pow.f64 (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) 2)))))
	0.6b	(fma.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))) (neg.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.5b	(/.f64 (-.f64 1 (-.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) 1)) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	1.0b	(/.f64 (log.f64 (exp.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.6b	(*.f64 (/.f64 1 (hypot.f64 1 (tan.f64 x))) (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (hypot.f64 1 (tan.f64 x))))
	1.1b	(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 (tan.f64 x) 2))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))))))

Compiler

Compiled 7853 to 5103 computations (35% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(pow.f64 (tan.f64 x) 2)
✓	0.4b	(-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))
	0.5b	(pow.f64 (tan.f64 x) 4)
	0.6b	(pow.f64 (tan.f64 x) 6)

series27.0ms (0.3%)

Counts

1 → 12

Calls

1 calls:

27.0ms

(-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))

rewrite74.0ms (0.8%)

Algorithm

1×	egg-rewrite

Rules

138× egg

Counts

1 → 138

Calls

1 calls:

70.0ms

(-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	177	14
2	1857	14
3	5550	14

simplify55.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

748×	`unswap-sqr_binary64`
689×	`fma-neg_binary64`
632×	`cancel-sign-sub-inv_binary64`
451×	`associate-l_binary64`
373×	`fma-def_binary64`

Counts

150 → 148

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	33	306
1	76	306
2	178	306
3	587	306
4	2692	282
5	5743	282

prune971.0ms (10.7%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	360	1	361
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	360	15	375

Error

0.0b

Counts

375 → 15

Alt Table

Status	Error	Program
	0.5b	(/.f64 (/.f64 1 (/.f64 (+.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) (cbrt.f64 (pow.f64 (tan.f64 x) 12)))) (-.f64 1 (pow.f64 (tan.f64 x) 6)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
▶	0.5b	(/.f64 (-.f64 (/.f64 1 (+.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 4)))) (/.f64 (pow.f64 (tan.f64 x) 6) (+.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 4))))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.5b	(/.f64 (/.f64 (-.f64 1 (.f64 (neg.f64 (pow.f64 (tan.f64 x) 2)) (neg.f64 (pow.f64 (tan.f64 x) 2)))) (-.f64 1 (neg.f64 (pow.f64 (tan.f64 x) 2)))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	1.1b	(*.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 12) (pow.f64 (tan.f64 x) 2))))
	0.7b	(fma.f64 (/.f64 1 (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (pow.f64 (tan.f64 x) 2)) (neg.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
✓	0.5b	(*.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))))
	0.5b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.8b	(+.f64 (fma.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))) (neg.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 4)) 1)))) (fma.f64 (neg.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 4)) 1) (.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 4)) 1))))
	0.6b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (sqrt.f64 (/.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (neg.f64 (.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (hypot.f64 1 (tan.f64 x))) (/.f64 1 (hypot.f64 1 (tan.f64 x)))))) (fma.f64 (neg.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (hypot.f64 1 (tan.f64 x)))) (/.f64 1 (hypot.f64 1 (tan.f64 x))) (.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (hypot.f64 1 (tan.f64 x))) (/.f64 1 (hypot.f64 1 (tan.f64 x))))))
	1.0b	(+.f64 (fma.f64 (.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))) (neg.f64 (.f64 (/.f64 (tan.f64 x) (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (tan.f64 x) (pow.f64 (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) 2))))) (fma.f64 (neg.f64 (/.f64 (tan.f64 x) (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))) (/.f64 (tan.f64 x) (pow.f64 (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) 2)) (*.f64 (/.f64 (tan.f64 x) (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (tan.f64 x) (pow.f64 (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) 2)))))
	0.6b	(fma.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))) (neg.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.5b	(/.f64 (-.f64 1 (-.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) 1)) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	1.0b	(/.f64 (log.f64 (exp.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.6b	(*.f64 (/.f64 1 (hypot.f64 1 (tan.f64 x))) (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (hypot.f64 1 (tan.f64 x))))
	1.1b	(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 (tan.f64 x) 2))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))))))

Compiler

Compiled 14591 to 9127 computations (37.4% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
	0.3b	(pow.f64 (tan.f64 x) 2)
	0.5b	(pow.f64 (tan.f64 x) 4)
	0.6b	(pow.f64 (tan.f64 x) 6)

prune902.0ms (9.9%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	314	1	315
Fresh	0	13	13
Picked	1	0	1
Done	0	1	1
Total	315	15	330

Error

0.0b

Counts

330 → 15

Alt Table

Status	Error	Program
	0.5b	(/.f64 (/.f64 (-.f64 1 (.f64 (neg.f64 (pow.f64 (tan.f64 x) 2)) (neg.f64 (pow.f64 (tan.f64 x) 2)))) (-.f64 1 (neg.f64 (pow.f64 (tan.f64 x) 2)))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	1.1b	(*.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 12) (pow.f64 (tan.f64 x) 2))))
	0.7b	(fma.f64 (/.f64 1 (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (pow.f64 (tan.f64 x) 2)) (neg.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
✓	0.5b	(*.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))))
	0.5b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.8b	(+.f64 (fma.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))) (neg.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 4)) 1)))) (fma.f64 (neg.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 4)) 1) (.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1)) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 4)) 1))))
	0.6b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (sqrt.f64 (/.f64 1 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (neg.f64 (.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (hypot.f64 1 (tan.f64 x))) (/.f64 1 (hypot.f64 1 (tan.f64 x)))))) (fma.f64 (neg.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (hypot.f64 1 (tan.f64 x)))) (/.f64 1 (hypot.f64 1 (tan.f64 x))) (.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (hypot.f64 1 (tan.f64 x))) (/.f64 1 (hypot.f64 1 (tan.f64 x))))))
	0.5b	(/.f64 (/.f64 1 (/.f64 (+.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) (cbrt.f64 (pow.f64 (tan.f64 x) 12)))) (-.f64 1 (pow.f64 (tan.f64 x) 6)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	1.0b	(+.f64 (fma.f64 (.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))) (neg.f64 (.f64 (/.f64 (tan.f64 x) (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (tan.f64 x) (pow.f64 (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) 2))))) (fma.f64 (neg.f64 (/.f64 (tan.f64 x) (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)))) (/.f64 (tan.f64 x) (pow.f64 (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) 2)) (*.f64 (/.f64 (tan.f64 x) (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1))) (/.f64 (tan.f64 x) (pow.f64 (cbrt.f64 (fma.f64 (tan.f64 x) (tan.f64 x) 1)) 2)))))
	0.6b	(fma.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 6))) (+.f64 1 (-.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 2))) (neg.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (fma.f64 (tan.f64 x) (tan.f64 x) 1))))
	0.5b	(/.f64 (-.f64 1 (-.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) 1)) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.5b	(/.f64 (-.f64 (/.f64 1 (+.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 4)))) (/.f64 (pow.f64 (tan.f64 x) 6) (+.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 4))))) (+.f64 1 (expm1.f64 (log1p.f64 (pow.f64 (tan.f64 x) 2)))))
	1.0b	(/.f64 (log.f64 (exp.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.6b	(*.f64 (/.f64 1 (hypot.f64 1 (tan.f64 x))) (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (hypot.f64 1 (tan.f64 x))))
	1.1b	(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 (tan.f64 x) 2))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))))))

Compiler

Compiled 14104 to 8928 computations (36.7% saved)

regimes1.8s (20.1%)

Accuracy

Total 0.3b remaining (78%)

Threshold costs 0.3b (78%)

Counts

361 → 1

Compiler

Compiled 39832 to 27577 computations (30.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`*-rgt-identity_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	24
1	19	24
2	22	24
3	23	24
4	21	24

end342.0ms (3.8%)

Compiler: Compiled 602 to 395 computations (34.4% saved)

Details

analyze722.0ms (7.9%)

sample1.8s (19.4%)

simplify100.0ms (1.1%)

prune3.0ms (0%)

localize7.0ms (0.1%)

series109.0ms (1.2%)

rewrite364.0ms (4%)

simplify120.0ms (1.3%)

prune705.0ms (7.8%)

localize15.0ms (0.2%)

series50.0ms (0.6%)

rewrite245.0ms (2.7%)

simplify111.0ms (1.2%)

prune545.0ms (6%)

localize14.0ms (0.2%)

series27.0ms (0.3%)

rewrite74.0ms (0.8%)

simplify55.0ms (0.6%)

prune971.0ms (10.7%)

localize16.0ms (0.2%)

prune902.0ms (9.9%)

regimes1.8s (20.1%)

simplify2.0ms (0%)

end342.0ms (3.8%)

Profiling