Details

analyze24.9s (64.1%)

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 (14.9%)

Symmetry

(sort y z)

Results

4.0s	4752×	body	1024	valid
841.0ms	1458×	body	512	valid
331.0ms	229×	body	2048	valid
297.0ms	1314×	body	128	valid
202.0ms	503×	body	256	valid

Compiler

Compiled 157 to 115 computations (26.8% saved)

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

13.6b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	13.6b	(+.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))
✓	4.7b	(tan.f64 (+.f64 y z))

series154.0ms (0.4%)

Counts

3 → 108

Calls

3 calls:

70.0ms	(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
57.0ms	(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
26.0ms	(tan.f64 (+.f64 y z))

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

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

prune189.0ms (0.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	166	7	173
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	167	7	174

Error

0.1b

Counts

174 → 7

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	(fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
	33.7b	(+.f64 x (-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 (sin.f64 z) 2) y) (pow.f64 (cos.f64 z) 2)) (+.f64 (/.f64 (sin.f64 z) (cos.f64 z)) y)) (tan.f64 a)))
	17.1b	(*.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)))))
	14.4b	(.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 (.f64 (tan.f64 y) (tan.f64 z)) -1))) (.f64 (cos.f64 a) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))))
	13.8b	(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 (tan.f64 (+.f64 y z))) (exp.f64 (tan.f64 a)))))

Compiler

Compiled 4890 to 1629 computations (66.7% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f64 (tan.f64 y) (tan.f64 z))
✓	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.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))

series682.0ms (1.8%)

Counts

4 → 132

Calls

4 calls:

349.0ms	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
277.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
30.0ms	(*.f64 (tan.f64 y) (tan.f64 z))
26.0ms	(+.f64 (tan.f64 y) (tan.f64 z))

rewrite61.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)))
10.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
3.0ms	(*.f64 (tan.f64 y) (tan.f64 z))
3.0ms	(+.f64 (tan.f64 y) (tan.f64 z))

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

prune465.0ms (1.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	315	8	323
Fresh	6	0	6
Picked	1	0	1
Done	0	0	0
Total	322	8	330

Error

0.0b

Counts

330 → 8

Alt Table

Status	Error	Program
	0.4b	(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 x (fma.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 (.f64 1 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))) (neg.f64 (tan.f64 a))))
	0.2b	(+.f64 (+.f64 x (fma.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (/.f64 1 (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (neg.f64 (tan.f64 a)))) (fma.f64 (neg.f64 (tan.f64 a)) 1 (.f64 (tan.f64 a) 1)))
	1.3b	(.f64 (.f64 (cbrt.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))) (cbrt.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))))) (cbrt.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))))
	1.3b	(fma.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (-.f64 (/.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.5b	(/.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.2b	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (.f64 (sin.f64 y) (sin.f64 z)) (.f64 (cos.f64 y) (cos.f64 z))))) (tan.f64 a)))

Compiler

Compiled 14263 to 4429 computations (68.9% saved)

localize17.0ms (0%)

Local error

Found 4 expressions with local error:

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

series1.1s (2.7%)

Counts

3 → 108

Calls

3 calls:

569.0ms

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

434.0ms

(fma.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 (*.f64 1 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))) (neg.f64 (tan.f64 a)))

50.0ms

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

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`pow1_binary64`
32×	`tan-quot_binary64`
17×	`frac-times_binary64`
17×	`pow-prod-down_binary64`
15×	`add-cbrt-cube_binary64`

Counts

3 → 79

Calls

3 calls:

8.0ms

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

2.0ms

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

0.0ms

(fma.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 (*.f64 1 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))) (neg.f64 (tan.f64 a)))

simplify495.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

254×	`associate-+r+_binary64`
226×	`associate-r_binary64`
221×	`associate-l_binary64`
217×	`associate-+l+_binary64`
215×	`cancel-sign-sub-inv_binary64`

Counts

187 → 166

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	333	19283
1	930	18707
2	3329	18597
3	4883	18597
4	4977	18597
5	4964	18597

prune635.0ms (1.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	291	1	292
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	293	7	300

Error

0.0b

Counts

300 → 7

Alt Table

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

Compiler

Compiled 16034 to 6172 computations (61.5% saved)

localize18.0ms (0%)

Local error

Found 4 expressions with local error:

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

series418.0ms (1.1%)

Counts

2 → 84

Calls

2 calls:

232.0ms

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

185.0ms

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

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64`
4×	`add-log-exp_binary64`
3×	`fma-def_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`add-cube-cbrt_binary64`

Counts

2 → 28

Calls

2 calls:

2.0ms

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

0.0ms

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

simplify200.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

818×	`fma-def_binary64`
681×	`times-frac_binary64`
212×	`associate-+r+_binary64`
175×	`associate-+l+_binary64`
174×	`+-commutative_binary64`

Counts

112 → 98

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	212	7112
1	603	6953
2	2054	6873
3	4856	6848
4	4990	6836
5	4976	6836

prune292.0ms (0.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	175	0	175
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	175	7	182

Error

0.0b

Counts

182 → 7

Alt Table

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

Compiler

Compiled 8137 to 3224 computations (60.4% saved)

regimes2.7s (6.9%)

Accuracy

Total 0.1b remaining (64.1%)

Threshold costs 0.1b (64.1%)

Counts

240 → 1

Compiler

Compiled 76664 to 42808 computations (44.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64`
6×	`sub-neg_binary64`
5×	`*-commutative_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	29
1	27	29
2	39	29
3	47	29
4	52	29
5	53	29
6	52	29

end174.0ms (0.4%)

Remove: (sort y z)
Compiler: Compiled 474 to 240 computations (49.4% 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

analyze24.9s (64.1%)

sample5.8s (14.9%)

simplify15.0ms (0%)

prune2.0ms (0%)

localize8.0ms (0%)

series154.0ms (0.4%)

rewrite17.0ms (0%)

simplify192.0ms (0.5%)

prune189.0ms (0.5%)

localize14.0ms (0%)

series682.0ms (1.8%)

rewrite61.0ms (0.2%)

simplify322.0ms (0.8%)

prune465.0ms (1.2%)

localize17.0ms (0%)

series1.1s (2.7%)

rewrite17.0ms (0%)

simplify495.0ms (1.3%)

prune635.0ms (1.6%)

localize18.0ms (0%)

series418.0ms (1.1%)

rewrite4.0ms (0%)

simplify200.0ms (0.5%)

prune292.0ms (0.7%)

regimes2.7s (6.9%)

simplify3.0ms (0%)

end174.0ms (0.4%)

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