Details

analyze24.6s (56.6%)

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

Symmetry

(sort y z)

Results

3.8s	4707×	body	1024	valid
845.0ms	1433×	body	512	valid
370.0ms	229×	body	2048	valid
290.0ms	1325×	body	128	valid
219.0ms	562×	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

12.1b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 39 to 27 computations (30.8% saved)

localize10.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))
✓	3.9b	(tan.f64 (+.f64 y z))

series173.0ms (0.4%)

Counts

3 → 108

Calls

3 calls:

83.0ms	(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
60.0ms	(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
29.0ms	(tan.f64 (+.f64 y z))

rewrite19.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:

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

simplify182.0ms (0.4%)

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

prune200.0ms (0.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	162	11	173
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	163	11	174

Error

0.1b

Counts

174 → 11

Alt Table

Status	Error	Program
	12.3b	(+.f64 x (log.f64 (exp.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)))))
	12.2b	(/.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))))
	30.6b	(+.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)))
	13.0b	(.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))))))
	12.4b	(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)))))
	31.4b	(-.f64 (+.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (+.f64 z (+.f64 (/.f64 (*.f64 (pow.f64 (sin.f64 y) 2) z) (pow.f64 (cos.f64 y) 2)) x))) (/.f64 (sin.f64 a) (cos.f64 a)))
	12.3b	(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 (tan.f64 (+.f64 y z))) (exp.f64 (tan.f64 a)))))
	12.9b	(fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
	12.3b	(/.f64 (+.f64 (pow.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) 3) (pow.f64 x 3)) (fma.f64 x x (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) x))))
▶	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)))

Compiler

Compiled 5140 to 1753 computations (65.9% 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.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))
✓	0.3b	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))

series916.0ms (2.1%)

Counts

4 → 132

Calls

4 calls:

406.0ms	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
322.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
120.0ms	(/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))
67.0ms	(*.f64 (tan.f64 y) (tan.f64 z))

rewrite71.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:

15.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))
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))

simplify291.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

829×	`times-frac_binary64`
309×	`+-commutative_binary64`
305×	`associate-+r+_binary64`
242×	`associate-+l+_binary64`
145×	`associate-l_binary64`

Counts

363 → 344

Iterations

Useful iterations: 2 (0.0ms)

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

prune584.0ms (1.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	334	10	344
Fresh	8	2	10
Picked	1	0	1
Done	0	0	0
Total	343	12	355

Error

0.0b

Counts

355 → 12

Alt Table

Status	Error	Program
	1.2b	(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.2b	(+.f64 x (-.f64 (/.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)))
	13.0b	(.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.7b	(cbrt.f64 (pow.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) 3))
	12.2b	(/.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))))
	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.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.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 (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.3b	(-.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 x (-.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))) (fma.f64 (neg.f64 (tan.f64 a)) 1 (.f64 (tan.f64 a) 1)))
	0.5b	(+.f64 x (log.f64 (exp.f64 (-.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 (.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))))

Compiler

Compiled 15493 to 4904 computations (68.3% saved)

localize21.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (cbrt.f64 (tan.f64 a)) (.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))))
✓	0.5b	(*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))
✓	0.6b	(cbrt.f64 (tan.f64 a))
✓	60.4b	(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 (7.8%)

Counts

4 → 48

Calls

4 calls:

2.5s	(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)))))
484.0ms	(*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))
331.0ms	(cbrt.f64 (tan.f64 a))
7.0ms	(.f64 (cbrt.f64 (tan.f64 a)) (.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))))

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
25×	`pow1_binary64`
23×	`cbrt-prod_binary64`
17×	`cbrt-div_binary64`
17×	`tan-quot_binary64`

Counts

4 → 110

Calls

4 calls:

9.0ms	(.f64 (cbrt.f64 (tan.f64 a)) (.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))))
6.0ms	(*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))
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)))))

simplify122.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1223×	`fma-def_binary64`
441×	`unswap-sqr_binary64`
427×	`associate-l_binary64`
353×	`sqr-pow_binary64`
343×	`exp-prod_binary64`

Counts

158 → 178

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	163	1774
1	337	1770
2	830	1646
3	2538	1482
4	3935	1248
5	4702	1248
6	4941	1248
7	4497	1248

prune845.0ms (1.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	374	1	375
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	376	11	387

Error

0.0b

Counts

387 → 11

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.3b	(+.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 (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (sin.f64 a) (cos.f64 a))) 6)))))
	1.2b	(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.2b	(+.f64 x (-.f64 (/.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)))
	12.2b	(/.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))))
	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.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 (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.3b	(-.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 x (-.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))) (fma.f64 (neg.f64 (tan.f64 a)) 1 (.f64 (tan.f64 a) 1)))
	0.5b	(+.f64 x (log.f64 (exp.f64 (-.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 (.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))))

Compiler

Compiled 18933 to 4935 computations (73.9% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (/.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.3b	(.f64 (.f64 (tan.f64 z) (tan.f64 z)) (tan.f64 z))
✓	0.3b	(*.f64 (tan.f64 z) (tan.f64 z))
✓	25.4b	(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))))

series378.0ms (0.9%)

Counts

4 → 84

Calls

4 calls:

314.0ms	(-.f64 (/.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))
37.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))))
16.0ms	(.f64 (.f64 (tan.f64 z) (tan.f64 z)) (tan.f64 z))
11.0ms	(*.f64 (tan.f64 z) (tan.f64 z))

rewrite106.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

209×	`tan-quot_binary64`
182×	`*-un-lft-identity_binary64`
140×	`add-sqr-sqrt_binary64`
135×	`frac-times_binary64`
97×	`times-frac_binary64`

Counts

4 → 283

Calls

4 calls:

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))))
14.0ms	(-.f64 (/.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))
6.0ms	(.f64 (.f64 (tan.f64 z) (tan.f64 z)) (tan.f64 z))
4.0ms	(*.f64 (tan.f64 z) (tan.f64 z))

simplify325.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

797×	`times-frac_binary64`
416×	`associate-l_binary64`
409×	`associate-r_binary64`
241×	`*-commutative_binary64`
157×	`+-commutative_binary64`

Counts

367 → 358

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	569	20731
1	1042	13524
2	3429	12699
3	4876	12679
4	4984	12679

prune779.0ms (1.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	358	0	358
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	358	11	369

Error

0.0b

Counts

369 → 11

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.3b	(+.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 (cbrt.f64 (tan.f64 a))) (.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (sin.f64 a) (cos.f64 a))) 6)))))
	1.2b	(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.2b	(+.f64 x (-.f64 (/.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)))
	12.2b	(/.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))))
	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.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 (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.3b	(-.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 x (-.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))) (fma.f64 (neg.f64 (tan.f64 a)) 1 (.f64 (tan.f64 a) 1)))
	0.5b	(+.f64 x (log.f64 (exp.f64 (-.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 (.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))))

Compiler

Compiled 18075 to 4768 computations (73.6% saved)

regimes4.5s (10.4%)

Accuracy

Total 0.1b remaining (70.9%)

Threshold costs 0.1b (70.9%)

Counts

324 → 1

Compiler

Compiled 100579 to 57640 computations (42.7% saved)

simplify3.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	18	52
1	32	52
2	47	52
3	57	52
4	64	52
5	66	52
6	65	52

end206.0ms (0.5%)

Remove: (sort y z)
Compiler: Compiled 559 to 295 computations (47.2% 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.6s (56.6%)

sample5.7s (13.1%)

simplify15.0ms (0%)

prune2.0ms (0%)

localize10.0ms (0%)

series173.0ms (0.4%)

rewrite19.0ms (0%)

simplify182.0ms (0.4%)

prune200.0ms (0.5%)

localize13.0ms (0%)

series916.0ms (2.1%)

rewrite71.0ms (0.2%)

simplify291.0ms (0.7%)

prune584.0ms (1.3%)

localize21.0ms (0%)

series3.4s (7.8%)

rewrite22.0ms (0.1%)

simplify122.0ms (0.3%)

prune845.0ms (1.9%)

localize19.0ms (0%)

series378.0ms (0.9%)

rewrite106.0ms (0.2%)

simplify325.0ms (0.7%)

prune779.0ms (1.8%)

regimes4.5s (10.4%)

simplify3.0ms (0%)

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