Details

analyze25.5s (60.3%)

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.8s (13.7%)

Symmetry

(sort y z)

Results

4.0s	4753×	body	1024	valid
822.0ms	1430×	body	512	valid
378.0ms	247×	body	2048	valid
303.0ms	1283×	body	128	valid
225.0ms	543×	body	256	valid

Compiler

Compiled 157 to 115 computations (26.8% saved)

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

14.4b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 39 to 27 computations (30.8% saved)

localize9.0ms (0%)

Local error

Found 3 expressions with local error:

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

series184.0ms (0.4%)

Counts

3 → 108

Calls

3 calls:

85.0ms	(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
68.0ms	(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
31.0ms	(tan.f64 (+.f64 y z))

rewrite20.0ms (0%)

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 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
6.0ms	(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
3.0ms	(tan.f64 (+.f64 y z))

simplify190.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

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

Counts

184 → 171

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	285	4874
1	743	4585
2	2461	4488
3	4812	4487
4	4982	4486
5	4996	4486
6	4925	4486

prune187.0ms (0.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	165	6	171
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	166	6	172

Error

0.1b

Counts

172 → 6

Alt Table

Status	Error	Program
▶	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)))
	14.4b	(-.f64 (+.f64 x (tan.f64 (+.f64 y z))) (tan.f64 a))
	14.6b	(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 (tan.f64 (+.f64 y z))) (exp.f64 (tan.f64 a)))))
	14.5b	(/.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))))
	14.6b	(+.f64 x (log.f64 (/.f64 (exp.f64 (tan.f64 (+.f64 y z))) (exp.f64 (tan.f64 a)))))
	14.6b	(/.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))))))

Compiler

Compiled 4792 to 1591 computations (66.8% saved)

localize13.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 (tan.f64 y) (tan.f64 z))))
✓	0.1b	(-.f64 (/.f64 (+.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 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
✓	0.2b	(*.f64 (tan.f64 y) (tan.f64 z))

series931.0ms (2.2%)

Counts

4 → 132

Calls

4 calls:

424.0ms	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
343.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
127.0ms	(/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))
36.0ms	(*.f64 (tan.f64 y) (tan.f64 z))

rewrite67.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

167×	`*-un-lft-identity_binary64`
117×	`add-sqr-sqrt_binary64`
110×	`add-cube-cbrt_binary64`
108×	`prod-diff_binary64`
97×	`times-frac_binary64`

Counts

4 → 231

Calls

4 calls:

13.0ms	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
11.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))

simplify316.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

829×	`times-frac_binary64`
304×	`+-commutative_binary64`
304×	`associate-+r+_binary64`
242×	`associate-+l+_binary64`
144×	`associate-l_binary64`

Counts

363 → 346

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	489	17507
1	1152	16044
2	3775	15738
3	5206	15738

prune483.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	338	8	346
Fresh	5	0	5
Picked	1	0	1
Done	0	0	0
Total	344	8	352

Error

0.0b

Counts

352 → 8

Alt Table

Status	Error	Program
	0.4b	(+.f64 x (fma.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z)))) (.f64 (cbrt.f64 (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))))) (/.f64 (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (neg.f64 (tan.f64 a))))
	0.4b	(/.f64 (-.f64 (.f64 x x) (.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))) (-.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))))
	0.6b	(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) 3)) (+.f64 (.f64 x x) (-.f64 (.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) (.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))))))
	49.5b	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (exp.f64 (+.f64 (log.f64 (tan.f64 y)) (log.f64 (tan.f64 z)))))) (tan.f64 a)))
	0.4b	(-.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 x (/.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)))
	0.5b	(log.f64 (.f64 (exp.f64 x) (/.f64 (exp.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))) (exp.f64 (tan.f64 a)))))
▶	0.2b	(-.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (tan.f64 a))
	6.0b	(exp.f64 (log.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))))

Compiler

Compiled 15389 to 4850 computations (68.5% saved)

localize18.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 (tan.f64 y) (tan.f64 z))))
✓	0.1b	(-.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (tan.f64 a))
✓	0.1b	(+.f64 x (/.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))

series708.0ms (1.7%)

Counts

2 → 84

Calls

2 calls:

423.0ms

(-.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (tan.f64 a))

284.0ms

(+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`prod-diff_binary64`
12×	`add-cube-cbrt_binary64`
9×	`add-log-exp_binary64`

Counts

2 → 56

Calls

2 calls:

12.0ms

(-.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (tan.f64 a))

8.0ms

(+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))

simplify218.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

866×	`fma-def_binary64`
690×	`times-frac_binary64`
189×	`fma-neg_binary64`
170×	`associate-+r+_binary64`
167×	`cancel-sign-sub-inv_binary64`

Counts

140 → 106

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	234	8534
1	634	7613
2	2189	7463
3	4678	7439
4	4939	7427
5	4939	7427

prune432.0ms (1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	202	4	206
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	207	7	214

Error

0.0b

Counts

214 → 7

Alt Table

Status	Error	Program
	0.4b	(+.f64 x (fma.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z)))) (.f64 (cbrt.f64 (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))))) (/.f64 (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (neg.f64 (tan.f64 a))))
	0.4b	(/.f64 (.f64 (-.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 (.f64 (cos.f64 a) (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))))) (sin.f64 a))) (.f64 (cos.f64 a) (-.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))))))
	0.4b	(/.f64 (-.f64 (.f64 x x) (.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))) (-.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))))
▶	0.2b	(-.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (cbrt.f64 (.f64 (.f64 (.f64 (tan.f64 y) (tan.f64 y)) (tan.f64 y)) (.f64 (*.f64 (tan.f64 z) (tan.f64 z)) (tan.f64 z))))))) (tan.f64 a))
	0.4b	(/.f64 (-.f64 (.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))) (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))))) (.f64 (tan.f64 a) (tan.f64 a))) (+.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (tan.f64 a)))
	0.3b	(-.f64 (+.f64 x (cbrt.f64 (/.f64 (.f64 (.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (+.f64 (tan.f64 y) (tan.f64 z))) (+.f64 (tan.f64 y) (tan.f64 z))) (.f64 (.f64 (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))) (tan.f64 a))
	0.6b	(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) 3)) (+.f64 (.f64 x x) (-.f64 (.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) (.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))))))

Compiler

Compiled 8377 to 3026 computations (63.9% saved)

localize21.0ms (0%)

Local error

Found 4 expressions with local error:

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

series84.0ms (0.2%)

Counts

4 → 60

Calls

4 calls:

39.0ms	(cbrt.f64 (.f64 (.f64 (.f64 (tan.f64 y) (tan.f64 y)) (tan.f64 y)) (.f64 (*.f64 (tan.f64 z) (tan.f64 z)) (tan.f64 z))))
17.0ms	(.f64 (.f64 (tan.f64 y) (tan.f64 y)) (tan.f64 y))
16.0ms	(.f64 (.f64 (tan.f64 z) (tan.f64 z)) (tan.f64 z))
12.0ms	(*.f64 (tan.f64 y) (tan.f64 y))

rewrite102.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

220×	`tan-quot_binary64`
140×	`frac-times_binary64`
98×	`associate-*l/_binary64`
63×	`cbrt-div_binary64`
62×	`associate-*r/_binary64`

Counts

4 → 181

Calls

4 calls:

43.0ms	(.f64 (.f64 (tan.f64 z) (tan.f64 z)) (tan.f64 z))
22.0ms	(cbrt.f64 (.f64 (.f64 (.f64 (tan.f64 y) (tan.f64 y)) (tan.f64 y)) (.f64 (*.f64 (tan.f64 z) (tan.f64 z)) (tan.f64 z))))
7.0ms	(.f64 (.f64 (tan.f64 y) (tan.f64 y)) (tan.f64 y))
5.0ms	(*.f64 (tan.f64 y) (tan.f64 y))

simplify140.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

841×	`fma-def_binary64`
693×	`times-frac_binary64`
405×	`associate-l_binary64`
324×	`associate-r_binary64`
205×	`*-commutative_binary64`

Counts

241 → 253

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	359	5390
1	599	4603
2	1796	4474
3	3242	4428
4	4971	4428

prune598.0ms (1.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	252	1	253
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	253	7	260

Error

0.0b

Counts

260 → 7

Alt Table

Status	Error	Program
	0.4b	(+.f64 x (fma.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z)))) (.f64 (cbrt.f64 (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (cbrt.f64 (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))))) (/.f64 (cbrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (neg.f64 (tan.f64 a))))
	0.4b	(/.f64 (.f64 (-.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 (.f64 (cos.f64 a) (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))))) (sin.f64 a))) (.f64 (cos.f64 a) (-.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))))))
	0.4b	(/.f64 (-.f64 (.f64 x x) (.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))) (-.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))))
✓	0.2b	(-.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (cbrt.f64 (.f64 (.f64 (.f64 (tan.f64 y) (tan.f64 y)) (tan.f64 y)) (.f64 (*.f64 (tan.f64 z) (tan.f64 z)) (tan.f64 z))))))) (tan.f64 a))
	0.2b	(-.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 y) (tan.f64 y)) (tan.f64 y)) (.f64 (.f64 (sin.f64 z) (tan.f64 z)) (sin.f64 z)))) (cbrt.f64 (.f64 (cos.f64 y) (*.f64 (cos.f64 z) (cos.f64 z)))))))) (tan.f64 a))
	0.4b	(/.f64 (-.f64 (.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))) (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))))) (.f64 (tan.f64 a) (tan.f64 a))) (+.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (tan.f64 a)))
	0.6b	(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) 3)) (+.f64 (.f64 x x) (-.f64 (.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) (.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))))))

Compiler

Compiled 9697 to 2906 computations (70% saved)

regimes5.9s (13.9%)

Accuracy

Total 0.1b remaining (58.8%)

Threshold costs 0.1b (58.8%)

Counts

476 → 1

Compiler

Compiled 151903 to 86714 computations (42.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	34
1	27	34
2	36	34
3	48	34
4	56	34
5	61	34
6	63	34
7	62	34

end302.0ms (0.7%)

Compiler: Compiled 499 to 255 computations (48.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

analyze25.5s (60.3%)

sample5.8s (13.7%)

simplify16.0ms (0%)

prune2.0ms (0%)

localize9.0ms (0%)

series184.0ms (0.4%)

rewrite20.0ms (0%)

simplify190.0ms (0.4%)

prune187.0ms (0.4%)

localize13.0ms (0%)

series931.0ms (2.2%)

rewrite67.0ms (0.2%)

simplify316.0ms (0.7%)

prune483.0ms (1.1%)

localize18.0ms (0%)

series708.0ms (1.7%)

rewrite24.0ms (0.1%)

simplify218.0ms (0.5%)

prune432.0ms (1%)

localize21.0ms (0%)

series84.0ms (0.2%)

rewrite102.0ms (0.2%)

simplify140.0ms (0.3%)

prune598.0ms (1.4%)

regimes5.9s (13.9%)

simplify3.0ms (0%)

end302.0ms (0.7%)

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