Details

analyze27.6s (58.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.5s (11.7%)

Symmetry

(sort y z)

Results

3.7s	4680×	body	1024	valid
824.0ms	1431×	body	512	valid
311.0ms	236×	body	2048	valid
306.0ms	1365×	body	128	valid
216.0ms	544×	body	256	valid

Compiler

Compiled 157 to 115 computations (26.8% saved)

simplify17.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.9b

Counts

2 → 1

Alt Table

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

series176.0ms (0.4%)

Counts

3 → 108

Calls

3 calls:

82.0ms	(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
66.0ms	(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
28.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:

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

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

prune225.0ms (0.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	163	10	173
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	164	10	174

Error

0.1b

Counts

174 → 10

Alt Table

Status	Error	Program
	41.5b	(+.f64 x (exp.f64 (log.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
	31.9b	(+.f64 x (-.f64 (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 z) 2) y) (pow.f64 (cos.f64 z) 2)) (+.f64 (+.f64 (/.f64 (sin.f64 z) (cos.f64 z)) y) (.f64 (*.f64 y y) (+.f64 (/.f64 (sin.f64 z) (cos.f64 z)) (/.f64 (pow.f64 (sin.f64 z) 3) (pow.f64 (cos.f64 z) 3)))))) (tan.f64 a)))
	14.0b	(/.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))))
	14.1b	(+.f64 x (fma.f64 (*.f64 (cbrt.f64 (tan.f64 (+.f64 y z))) (cbrt.f64 (tan.f64 (+.f64 y z)))) (cbrt.f64 (tan.f64 (+.f64 y z))) (neg.f64 (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)))
	14.1b	(/.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))))
	33.4b	(+.f64 (+.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (+.f64 z (+.f64 (/.f64 (.f64 z (pow.f64 (sin.f64 y) 2)) (pow.f64 (cos.f64 y) 2)) (+.f64 (/.f64 (.f64 (.f64 z z) (pow.f64 (sin.f64 y) 3)) (pow.f64 (cos.f64 y) 3)) (+.f64 (fma.f64 4/3 (/.f64 (.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 3)) (pow.f64 (cos.f64 y) 2)) x) (.f64 (pow.f64 z 3) (+.f64 (/.f64 (pow.f64 (sin.f64 y) 4) (pow.f64 (cos.f64 y) 4)) 1/3))))))) (-.f64 (.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (*.f64 z z)) (/.f64 (sin.f64 a) (cos.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))))))
	14.0b	(log.f64 (*.f64 (exp.f64 x) (exp.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
	14.0b	(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 (tan.f64 (+.f64 y z))) (exp.f64 (tan.f64 a)))))

Compiler

Compiled 5196 to 1811 computations (65.1% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.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 (/.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))

series803.0ms (1.7%)

Counts

4 → 132

Calls

4 calls:

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

rewrite68.0ms (0.1%)

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:

16.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))
4.0ms	(*.f64 (tan.f64 y) (tan.f64 z))
4.0ms	(+.f64 (tan.f64 y) (tan.f64 z))

simplify349.0ms (0.7%)

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

prune578.0ms (1.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	313	10	323
Fresh	8	1	9
Picked	1	0	1
Done	0	0	0
Total	322	11	333

Error

0.0b

Counts

333 → 11

Alt Table

Status	Error	Program
	0.3b	(log.f64 (.f64 (exp.f64 x) (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))))
	36.0b	(+.f64 x (exp.f64 (log.f64 (-.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 (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))))))
	0.2b	(+.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (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.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))))
	3.7b	(+.f64 x (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (tan.f64 y) 3) (pow.f64 (tan.f64 z) 3)) (fma.f64 (tan.f64 y) (tan.f64 y) (.f64 (tan.f64 z) (-.f64 (tan.f64 z) (tan.f64 y))))) (-.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 (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))) (*.f64 (tan.f64 a) 0)))
	0.3b	(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.7b	(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.4b	(log1p.f64 (expm1.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 14405 to 4515 computations (68.7% saved)

localize22.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(+.f64 x (+.f64 (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))) (*.f64 (tan.f64 a) 0)))
	0.2b	(*.f64 (tan.f64 y) (tan.f64 z))
✓	0.2b	(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)))
✓	0.3b	(pow.f64 (*.f64 (tan.f64 y) (tan.f64 z)) 3)

series2.4s (5.1%)

Counts

3 → 108

Calls

3 calls:

1.3s

(+.f64 x (+.f64 (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))) (*.f64 (tan.f64 a) 0)))

1.0s

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

79.0ms

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

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-log-exp_binary64`
7×	`*-un-lft-identity_binary64`
6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`

Counts

3 → 56

Calls

3 calls:

5.0ms

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

4.0ms

(+.f64 x (+.f64 (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))) (*.f64 (tan.f64 a) 0)))

0.0ms

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

simplify704.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

360×	`unswap-sqr_binary64`
335×	`associate-+r+_binary64`
258×	`times-frac_binary64`
257×	`+-commutative_binary64`
245×	`associate-+l+_binary64`

Counts

164 → 140

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	359	25318
1	967	22297
2	4084	22247
3	5078	22247

prune646.0ms (1.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	222	2	224
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	224	11	235

Error

0.0b

Counts

235 → 11

Alt Table

Status	Error	Program
	0.3b	(log.f64 (.f64 (exp.f64 x) (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))))
	36.0b	(+.f64 x (exp.f64 (log.f64 (-.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 (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))))))
	0.7b	(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.4b	(log1p.f64 (expm1.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))))))
▶	0.2b	(+.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (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.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))))
	3.7b	(+.f64 x (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (tan.f64 y) 3) (pow.f64 (tan.f64 z) 3)) (fma.f64 (tan.f64 y) (tan.f64 y) (.f64 (tan.f64 z) (-.f64 (tan.f64 z) (tan.f64 y))))) (-.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.6b	(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (+.f64 (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))) (*.f64 (tan.f64 a) 0)))
	0.3b	(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)))))

Compiler

Compiled 15977 to 7169 computations (55.1% saved)

localize22.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.6b	(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.2%)

Counts

4 → 48

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

rewrite23.0ms (0%)

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:

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

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

prune788.0ms (1.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	373	2	375
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	376	10	386

Error

0.0b

Counts

386 → 10

Alt Table

Status	Error	Program
	0.7b	(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.4b	(log1p.f64 (expm1.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))))))
	0.3b	(+.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (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)) (pow.f64 (.f64 (tan.f64 a) (tan.f64 a)) 1/3))))
	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))))
	3.7b	(+.f64 x (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (tan.f64 y) 3) (pow.f64 (tan.f64 z) 3)) (fma.f64 (tan.f64 y) (tan.f64 y) (.f64 (tan.f64 z) (-.f64 (tan.f64 z) (tan.f64 y))))) (-.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.6b	(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (+.f64 (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))) (*.f64 (tan.f64 a) 0)))
	0.2b	(+.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) (log.f64 (exp.f64 (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 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))))))
	0.3b	(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)))))

Compiler

Compiled 17832 to 4359 computations (75.6% saved)

regimes3.1s (6.5%)

Accuracy

Total 0.1b remaining (59.7%)

Threshold costs 0.1b (59.7%)

Counts

277 → 1

Compiler

Compiled 84476 to 48142 computations (43% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
4×	`*-commutative_binary64`
3×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	62
1	34	62
2	39	62
3	42	62
4	43	62
5	42	62

end326.0ms (0.7%)

Remove: (sort y z)
Compiler: Compiled 603 to 319 computations (47.1% 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

analyze27.6s (58.6%)

sample5.5s (11.7%)

simplify17.0ms (0%)

prune2.0ms (0%)

localize10.0ms (0%)

series176.0ms (0.4%)

rewrite19.0ms (0%)

simplify194.0ms (0.4%)

prune225.0ms (0.5%)

localize13.0ms (0%)

series803.0ms (1.7%)

rewrite68.0ms (0.1%)

simplify349.0ms (0.7%)

prune578.0ms (1.2%)

localize22.0ms (0%)

series2.4s (5.1%)

rewrite13.0ms (0%)

simplify704.0ms (1.5%)

prune646.0ms (1.4%)

localize22.0ms (0%)

series3.4s (7.2%)

rewrite23.0ms (0%)

simplify135.0ms (0.3%)

prune788.0ms (1.7%)

regimes3.1s (6.5%)

simplify4.0ms (0%)

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