Details

analyze25.0s (59.5%)

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.9s (13.9%)

Symmetry

(sort y z)

Results

4.0s	4775×	body	1024	valid
864.0ms	1392×	body	512	valid
348.0ms	234×	body	2048	valid
289.0ms	1304×	body	128	valid
231.0ms	551×	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

15.7b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	15.7b	(+.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.2b	(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
✓	4.0b	(tan.f64 (+.f64 y z))

series179.0ms (0.4%)

Counts

3 → 108

Calls

3 calls:

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

simplify190.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	(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.1b	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	31.6b	(+.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)))
	15.7b	(-.f64 (+.f64 x (tan.f64 (+.f64 y z))) (tan.f64 a))
	16.0b	(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
	15.8b	(/.f64 (fma.f64 x x (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 a) (tan.f64 (+.f64 z y))))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (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 (-.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))))

Compiler

Compiled 5074 to 1713 computations (66.2% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

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

series755.0ms (1.8%)

Counts

4 → 132

Calls

4 calls:

386.0ms	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
305.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
36.0ms	(*.f64 (tan.f64 y) (tan.f64 z))
28.0ms	(+.f64 (tan.f64 y) (tan.f64 z))

rewrite64.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

153×	`*-un-lft-identity_binary64`
109×	`add-sqr-sqrt_binary64`
108×	`prod-diff_binary64`
102×	`add-cube-cbrt_binary64`
85×	`times-frac_binary64`

Counts

4 → 211

Calls

4 calls:

14.0ms	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
12.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
4.0ms	(*.f64 (tan.f64 y) (tan.f64 z))
3.0ms	(+.f64 (tan.f64 y) (tan.f64 z))

simplify328.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

779×	`times-frac_binary64`
283×	`+-commutative_binary64`
259×	`associate-+r+_binary64`
233×	`associate-+l+_binary64`
179×	`fma-neg_binary64`

Counts

343 → 323

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	476	15854
1	1100	14374
2	3498	14068
3	5000	14068
4	5043	14068

prune445.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	315	8	323
Fresh	7	0	7
Picked	1	0	1
Done	0	0	0
Total	323	8	331

Error

0.0b

Counts

331 → 8

Alt Table

Status	Error	Program
	0.6b	(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (-.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 x (fma.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (pow.f64 (.f64 (tan.f64 y) (tan.f64 z)) 3))) (fma.f64 (.f64 (tan.f64 y) (tan.f64 z)) (fma.f64 (tan.f64 y) (tan.f64 z) 1) 1) (neg.f64 (tan.f64 a)))) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.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))
	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 (/.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.4b	(/.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) 3) (pow.f64 x 3)) (fma.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 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) x))))
	0.1b	(+.f64 x (-.f64 (/.f64 (+.f64 (/.f64 (sin.f64 z) (cos.f64 z)) (/.f64 (sin.f64 y) (cos.f64 y))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	31.8b	(+.f64 x (fma.f64 (/.f64 (sqrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) 1) (/.f64 (sqrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (neg.f64 (tan.f64 a))))

Compiler

Compiled 14269 to 4419 computations (69% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (*.f64 (tan.f64 y) (tan.f64 z)) 3)
✓	0.5b	(*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))
✓	0.6b	(cbrt.f64 (tan.f64 a))
✓	60.2b	(fma.f64 (neg.f64 (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))))

series3.4s (8.2%)

Counts

4 → 60

Calls

4 calls:

2.6s	(fma.f64 (neg.f64 (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))))
459.0ms	(*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))
262.0ms	(cbrt.f64 (tan.f64 a))
92.0ms	(pow.f64 (*.f64 (tan.f64 y) (tan.f64 z)) 3)

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`
14×	`pow1_binary64`

Counts

4 → 96

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))
5.0ms	(pow.f64 (*.f64 (tan.f64 y) (tan.f64 z)) 3)
1.0ms	(cbrt.f64 (tan.f64 a))
0.0ms	(fma.f64 (neg.f64 (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))))

simplify92.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

623×	`associate-/r*_binary64`
436×	`fma-def_binary64`
202×	`unswap-sqr_binary64`
188×	`associate-/l/_binary64`
168×	`associate-/r/_binary64`

Counts

156 → 163

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	224	2487
1	537	2363
2	2059	2197
3	4942	2197
4	4991	2197

prune704.0ms (1.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	361	0	361
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	361	8	369

Error

0.0b

Counts

369 → 8

Alt Table

Status	Error	Program
	0.6b	(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (-.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 x (fma.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (pow.f64 (.f64 (tan.f64 y) (tan.f64 z)) 3))) (fma.f64 (.f64 (tan.f64 y) (tan.f64 z)) (fma.f64 (tan.f64 y) (tan.f64 z) 1) 1) (neg.f64 (tan.f64 a)))) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.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))
	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 (/.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.4b	(/.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) 3) (pow.f64 x 3)) (fma.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 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) x))))
▶	0.1b	(+.f64 x (-.f64 (/.f64 (+.f64 (/.f64 (sin.f64 z) (cos.f64 z)) (/.f64 (sin.f64 y) (cos.f64 y))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	31.8b	(+.f64 x (fma.f64 (/.f64 (sqrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) 1) (/.f64 (sqrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (neg.f64 (tan.f64 a))))

Compiler

Compiled 23859 to 6761 computations (71.7% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series340.0ms (0.8%)

Counts

3 → 44

Calls

3 calls:

325.0ms

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

8.0ms

(/.f64 (sin.f64 z) (cos.f64 z))

7.0ms

(/.f64 (sin.f64 y) (cos.f64 y))

rewrite52.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

151×	`*-un-lft-identity_binary64`
103×	`times-frac_binary64`
82×	`add-sqr-sqrt_binary64`
77×	`add-cube-cbrt_binary64`
63×	`prod-diff_binary64`

Counts

3 → 164

Calls

3 calls:

22.0ms

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

3.0ms

(/.f64 (sin.f64 y) (cos.f64 y))

3.0ms

(/.f64 (sin.f64 z) (cos.f64 z))

simplify263.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

759×	`times-frac_binary64`
185×	`fma-neg_binary64`
184×	`cancel-sign-sub-inv_binary64`
129×	`unswap-sqr_binary64`
128×	`+-commutative_binary64`

Counts

208 → 217

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	365	11016
1	794	8569
2	2488	7943
3	4608	7940
4	4966	7934
5	4938	7934

prune430.0ms (1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	258	1	259
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	259	8	267

Error

0.0b

Counts

267 → 8

Alt Table

Status	Error	Program
	0.2b	(+.f64 x (+.f64 (-.f64 (/.f64 (+.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (/.f64 (sin.f64 z) (cos.f64 z))) (pow.f64 (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) 3)) (tan.f64 a)) 0))
	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	(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (-.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 x (fma.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (pow.f64 (.f64 (tan.f64 y) (tan.f64 z)) 3))) (fma.f64 (.f64 (tan.f64 y) (tan.f64 z)) (fma.f64 (tan.f64 y) (tan.f64 z) 1) 1) (neg.f64 (tan.f64 a)))) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.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))
	0.4b	(/.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) 3) (pow.f64 x 3)) (fma.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 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) x))))
✓	0.1b	(+.f64 x (-.f64 (/.f64 (+.f64 (/.f64 (sin.f64 z) (cos.f64 z)) (/.f64 (sin.f64 y) (cos.f64 y))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
	31.8b	(+.f64 x (fma.f64 (/.f64 (sqrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) 1) (/.f64 (sqrt.f64 (+.f64 (tan.f64 y) (tan.f64 z))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (neg.f64 (tan.f64 a))))

Compiler

Compiled 11518 to 3259 computations (71.7% saved)

regimes3.4s (8%)

Accuracy

Total 0.1b remaining (62.3%)

Threshold costs 0.1b (62.3%)

Counts

279 → 1

Compiler

Compiled 87059 to 49706 computations (42.9% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	92
1	41	92
2	56	92
3	66	92
4	72	92
5	74	92
6	73	92

end191.0ms (0.5%)

Remove: (sort y z)
Compiler: Compiled 563 to 271 computations (51.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.0s (59.5%)

sample5.9s (13.9%)

simplify16.0ms (0%)

prune2.0ms (0%)

localize8.0ms (0%)

series179.0ms (0.4%)

rewrite20.0ms (0%)

simplify190.0ms (0.5%)

prune190.0ms (0.5%)

localize14.0ms (0%)

series755.0ms (1.8%)

rewrite64.0ms (0.2%)

simplify328.0ms (0.8%)

prune445.0ms (1.1%)

localize26.0ms (0.1%)

series3.4s (8.2%)

rewrite17.0ms (0%)

simplify92.0ms (0.2%)

prune704.0ms (1.7%)

localize21.0ms (0.1%)

series340.0ms (0.8%)

rewrite52.0ms (0.1%)

simplify263.0ms (0.6%)

prune430.0ms (1%)

regimes3.4s (8%)

simplify5.0ms (0%)

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