Details

analyze21.7s (58%)

Algorithm

1×

Search

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

Compiler

Compiled 72 to 53 computations (26.4% saved)

sample5.1s (13.6%)

Infinites

0% of outputs are infinite.

Symmetry

(sort y z)

Results

3.4s	4682×	body	1024	valid
737.0ms	1424×	body	512	valid
299.0ms	237×	body	2048	valid
285.0ms	1396×	body	128	valid
187.0ms	517×	body	256	valid

Compiler

Compiled 157 to 115 computations (26.8% saved)

simplify18.0ms (0%)

Algorithm

1×	egg-herbie

Rules

132×	`fma-neg_binary64`
75×	`fma-def_binary64`
48×	`cancel-sign-sub-inv_binary64`
39×	`sub-neg_binary64`
24×	`associate--r+_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	14
1	16	14
2	27	14
3	47	14
4	76	14
5	129	14
6	210	14
7	264	14
8	305	14
9	341	14
10	352	14
11	338	14

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

15.8b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	15.8b	(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))

Compiler

Compiled 39 to 27 computations (30.8% saved)

localize8.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
✓	0.1b	(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
✓	5.1b	(tan.f64 (+.f64 y z))

series173.0ms (0.5%)

Counts

3 → 108

Calls

3 calls:

79.0ms	(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
64.0ms	(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
29.0ms	(tan.f64 (+.f64 y z))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`*-un-lft-identity_binary64`
21×	`add-sqr-sqrt_binary64`
19×	`add-cube-cbrt_binary64`
18×	`prod-diff_binary64`
13×	`associate-+r+_binary64`

Counts

3 → 76

Calls

3 calls:

6.0ms	(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
5.0ms	(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
3.0ms	(tan.f64 (+.f64 y z))

simplify188.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

658×	`times-frac_binary64`
274×	`associate-+r+_binary64`
223×	`+-commutative_binary64`
209×	`fma-neg_binary64`
202×	`associate-+l+_binary64`

Counts

184 → 173

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	285	4874
1	743	4585
2	2467	4488
3	4813	4487
4	4983	4486
5	4997	4486
6	4925	4486

prune190.0ms (0.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	165	8	173
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	166	8	174

Error

0.1b

Counts

174 → 8

Alt Table

Status	Error	Program
	15.9b	(/.f64 (-.f64 (.f64 x x) (.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (-.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))
	33.2b	(+.f64 x (-.f64 (+.f64 (+.f64 (/.f64 (.f64 (pow.f64 y 3) (pow.f64 (sin.f64 z) 4)) (pow.f64 (cos.f64 z) 4)) (+.f64 (.f64 (/.f64 (sin.f64 z) (cos.f64 z)) (.f64 y y)) (+.f64 (/.f64 (sin.f64 z) (cos.f64 z)) (+.f64 y (.f64 (.f64 y y) (+.f64 (/.f64 (pow.f64 (sin.f64 z) 3) (pow.f64 (cos.f64 z) 3)) (.f64 1/3 y))))))) (fma.f64 4/3 (/.f64 (.f64 (pow.f64 (sin.f64 z) 2) (pow.f64 y 3)) (pow.f64 (cos.f64 z) 2)) (/.f64 (.f64 (pow.f64 (sin.f64 z) 2) y) (pow.f64 (cos.f64 z) 2)))) (tan.f64 a)))
	16.1b	(cbrt.f64 (.f64 (.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
	0.2b	(+.f64 x (/.f64 (-.f64 (.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cos.f64 a)) (.f64 (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))) (sin.f64 a))) (.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (cos.f64 a))))
▶	0.2b	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	16.0b	(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) 3)) (+.f64 (.f64 x x) (-.f64 (.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (*.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))))
	20.2b	(*.f64 (sqrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (sqrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
	16.5b	(.f64 (.f64 (cbrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (cbrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))) (cbrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))

Compiler

Compiled 5162 to 1735 computations (66.4% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
✓	0.1b	(/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))
✓	0.2b	(+.f64 (tan.f64 y) (tan.f64 z))
✓	0.2b	(*.f64 (tan.f64 y) (tan.f64 z))

series474.0ms (1.3%)

Counts

4 → 108

Calls

4 calls:

303.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
110.0ms	(/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))
33.0ms	(*.f64 (tan.f64 y) (tan.f64 z))
28.0ms	(+.f64 (tan.f64 y) (tan.f64 z))

rewrite43.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

103×	`*-un-lft-identity_binary64`
74×	`add-sqr-sqrt_binary64`
67×	`add-cube-cbrt_binary64`
61×	`times-frac_binary64`
54×	`prod-diff_binary64`

Counts

4 → 171

Calls

4 calls:

10.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
6.0ms	(/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))
4.0ms	(*.f64 (tan.f64 y) (tan.f64 z))
3.0ms	(+.f64 (tan.f64 y) (tan.f64 z))

simplify241.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

829×	`times-frac_binary64`
188×	`associate-+r+_binary64`
179×	`+-commutative_binary64`
152×	`associate-+l+_binary64`
152×	`unswap-sqr_binary64`

Counts

279 → 250

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	399	11485
1	952	9871
2	3107	9412
3	4850	9412
4	4926	9412

prune410.0ms (1.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	245	5	250
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	249	9	258

Error

0.1b

Counts

258 → 9

Alt Table

Status	Error	Program
	0.2b	(+.f64 x (-.f64 (/.f64 (/.f64 (fma.f64 (sin.f64 z) (cos.f64 y) (.f64 (cos.f64 z) (sin.f64 y))) (.f64 (cos.f64 z) (cos.f64 y))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	0.2b	(+.f64 x (-.f64 (+.f64 (/.f64 (sin.f64 y) (.f64 (-.f64 1 (/.f64 (.f64 (sin.f64 y) (sin.f64 z)) (.f64 (cos.f64 y) (cos.f64 z)))) (cos.f64 y))) (/.f64 (sin.f64 z) (.f64 (-.f64 1 (/.f64 (.f64 (sin.f64 y) (sin.f64 z)) (.f64 (cos.f64 y) (cos.f64 z)))) (cos.f64 z)))) (/.f64 (sin.f64 a) (cos.f64 a))))
	16.0b	(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) 3)) (+.f64 (.f64 x x) (-.f64 (.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (*.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))))
	16.1b	(cbrt.f64 (.f64 (.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
	0.4b	(+.f64 x (+.f64 (-.f64 (pow.f64 (/.f64 (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) 3) (tan.f64 a)) 0))
▶	0.2b	(+.f64 x (-.f64 (.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z))))) (+.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	15.9b	(/.f64 (-.f64 (.f64 x x) (.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (-.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))
	16.5b	(.f64 (.f64 (cbrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (cbrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))) (cbrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
	0.2b	(+.f64 x (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (.f64 (sin.f64 a) (+.f64 -1 (.f64 (tan.f64 y) (tan.f64 z))))) (.f64 (cos.f64 a) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))))

Compiler

Compiled 10116 to 3384 computations (66.5% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

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

series368.0ms (1%)

Counts

2 → 48

Calls

2 calls:

306.0ms	(/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (tan.f64 y) (tan.f64 z)))))
62.0ms	(.f64 (.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (tan.f64 y) (tan.f64 z)))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`pow1_binary64`
34×	`tan-quot_binary64`
30×	`*-un-lft-identity_binary64`
20×	`times-frac_binary64`
18×	`add-sqr-sqrt_binary64`

Counts

2 → 99

Calls

2 calls:

8.0ms	(.f64 (.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (tan.f64 y) (tan.f64 z)))
6.0ms	(/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (tan.f64 y) (tan.f64 z)))))

simplify102.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

887×	`associate-/l*_binary64`
455×	`fma-def_binary64`
192×	`associate-/r/_binary64`
191×	`associate-r_binary64`
190×	`associate-l_binary64`

Counts

147 → 140

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	242	5010
1	613	4771
2	2048	4739
3	5206	4739

prune674.0ms (1.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	297	4	301
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	301	9	310

Error

0.1b

Counts

310 → 9

Alt Table

Status	Error	Program
	0.4b	(+.f64 x (-.f64 (.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z)))) (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z)))) (-.f64 1 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z))))) (+.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	15.9b	(/.f64 (-.f64 (.f64 x x) (.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (-.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))
	16.1b	(cbrt.f64 (.f64 (.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
▶	0.2b	(+.f64 x (-.f64 (.f64 (.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 (.f64 1 1) (.f64 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z))) (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z)))))) (+.f64 1 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z))))) (+.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	0.2b	(+.f64 x (-.f64 (.f64 (/.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 z)) (.f64 (cos.f64 y) (sin.f64 z))) (.f64 (-.f64 1 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z)))) (.f64 (cos.f64 y) (cos.f64 z)))) (+.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	0.2b	(+.f64 x (-.f64 (.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (.f64 (.f64 (sin.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (sin.f64 z))) (.f64 (cos.f64 y) (cos.f64 z))))) (+.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	16.0b	(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) 3)) (+.f64 (.f64 x x) (-.f64 (.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (*.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))))
	16.5b	(.f64 (.f64 (cbrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (cbrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))) (cbrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
	0.2b	(+.f64 x (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (.f64 (sin.f64 a) (+.f64 -1 (.f64 (tan.f64 y) (tan.f64 z))))) (.f64 (cos.f64 a) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))))

Compiler

Compiled 13562 to 4401 computations (67.5% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(+.f64 (tan.f64 y) (tan.f64 z))
	0.2b	(*.f64 (tan.f64 y) (tan.f64 z))
	0.2b	(.f64 (.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (tan.f64 y) (tan.f64 z)))
✓	0.3b	(.f64 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z))) (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (tan.f64 y) (tan.f64 z))))

series91.0ms (0.2%)

Counts

1 → 24

Calls

1 calls:

91.0ms

(*.f64 (*.f64 (*.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (tan.f64 y) (tan.f64 z))) (*.f64 (*.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (tan.f64 y) (tan.f64 z))))

rewrite214.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

1550×	`pow1_binary64`
1024×	`tan-quot_binary64`
769×	`frac-times_binary64`
708×	`pow-prod-down_binary64`
367×	`associate-*r/_binary64`

Counts

1 → 627

Calls

1 calls:

32.0ms

(*.f64 (*.f64 (*.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (tan.f64 y) (tan.f64 z))) (*.f64 (*.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (tan.f64 y) (tan.f64 z))))

simplify421.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

752×	`*-commutative_binary64`
570×	`times-frac_binary64`
520×	`unswap-sqr_binary64`
407×	`associate-l_binary64`
366×	`associate-r_binary64`

Counts

651 → 415

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	554	17253
1	1002	14188
2	1573	14039
3	4414	13759
4	5560	13759

prune2.4s (6.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	949	2	951
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	951	9	960

Error

0.1b

Counts

960 → 9

Alt Table

Status	Error	Program
	16.1b	(cbrt.f64 (.f64 (.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
	0.2b	(+.f64 x (-.f64 (.f64 (.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 (.f64 1 1) (/.f64 (.f64 (pow.f64 (.f64 (tan.f64 y) (tan.f64 z)) 2) (.f64 (.f64 (sin.f64 z) (sin.f64 y)) (.f64 (sin.f64 z) (tan.f64 y)))) (.f64 (.f64 (cos.f64 y) (cos.f64 z)) (cos.f64 z))))) (+.f64 1 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z))))) (+.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	0.4b	(+.f64 x (-.f64 (.f64 (.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z)))) (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z)))) (-.f64 (.f64 1 1) (.f64 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z))) (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z)))))) (+.f64 1 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z))))) (+.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
✓	0.2b	(+.f64 x (-.f64 (.f64 (.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 (.f64 1 1) (.f64 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z))) (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z)))))) (+.f64 1 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z))))) (+.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	0.2b	(+.f64 x (-.f64 (.f64 (/.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 z)) (.f64 (cos.f64 y) (sin.f64 z))) (.f64 (-.f64 1 (.f64 (.f64 (tan.f64 y) (tan.f64 z)) (.f64 (tan.f64 y) (tan.f64 z)))) (.f64 (cos.f64 y) (cos.f64 z)))) (+.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	15.9b	(/.f64 (-.f64 (.f64 x x) (.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (-.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))
	16.0b	(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) 3)) (+.f64 (.f64 x x) (-.f64 (.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (*.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))))
	16.5b	(.f64 (.f64 (cbrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (cbrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))) (cbrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
	0.2b	(+.f64 x (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (.f64 (sin.f64 a) (+.f64 -1 (.f64 (tan.f64 y) (tan.f64 z))))) (.f64 (cos.f64 a) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))))

Compiler

Compiled 67777 to 17375 computations (74.4% saved)

regimes4.3s (11.6%)

Accuracy

Total 0.1b remaining (53.2%)

Threshold costs 0.1b (53.2%)

Counts

367 → 1

Compiler

Compiled 123209 to 67643 computations (45.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	52
1	33	52
2	48	52
3	58	52
4	65	52
5	67	52
6	66	52

end170.0ms (0.5%)

Remove: (sort y z)
Compiler: Compiled 589 to 260 computations (55.9% saved)

Iter	Nodes	Cost
0	10	14
1	16	14
2	27	14
3	47	14
4	76	14
5	129	14
6	210	14
7	264	14
8	305	14
9	341	14
10	352	14
11	338	14

Iter	Nodes	Cost
0	10	14
1	16	14
2	27	14
3	47	14
4	76	14
5	129	14
6	210	14
7	264	14
8	305	14
9	341	14
10	352	14
11	338	14

Details

analyze21.7s (58%)

sample5.1s (13.6%)

simplify18.0ms (0%)

prune2.0ms (0%)

localize8.0ms (0%)

series173.0ms (0.5%)

rewrite19.0ms (0.1%)

simplify188.0ms (0.5%)

prune190.0ms (0.5%)

localize12.0ms (0%)

series474.0ms (1.3%)

rewrite43.0ms (0.1%)

simplify241.0ms (0.6%)

prune410.0ms (1.1%)

localize15.0ms (0%)

series368.0ms (1%)

rewrite23.0ms (0.1%)

simplify102.0ms (0.3%)

prune674.0ms (1.8%)

localize20.0ms (0.1%)

series91.0ms (0.2%)

rewrite214.0ms (0.6%)

simplify421.0ms (1.1%)

prune2.4s (6.5%)

regimes4.3s (11.6%)

simplify4.0ms (0%)

end170.0ms (0.5%)

Profiling

Iter	Nodes	Cost
0	10	14
1	16	14
2	27	14
3	47	14
4	76	14
5	129	14
6	210	14
7	264	14
8	305	14
9	341	14
10	352	14
11	338	14