Details

analyze360.0ms (4.3%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
25%	25%	74.9%	0.1%	0%	0%	0%	7
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	8
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	9
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	10
65.6%	65.5%	34.3%	0.1%	0%	0%	0%	11
65.6%	65.5%	34.3%	0.1%	0%	0%	0%	12

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample3.5s (41.9%)

Results

1.6s	2041×	body	1024	valid
1.5s	5133×	body	256	valid
373.0ms	1077×	body	512	valid
6.0ms	5×	body	2048	valid

Bogosity

preprocess166.0ms (2%)

Algorithm

2×	egg-herbie

Rules

2532×	`rational.json-simplify-42`
1816×	`rational.json-simplify-45`
1718×	`rational.json-simplify-35`
1034×	`rational.json-simplify-2`
846×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	108
1	50	108
2	73	108
3	109	108
4	187	108
5	333	108
6	800	108
7	2041	108
8	4430	108
9	5366	108
10	5761	108
11	6242	108
12	6545	108
0	3	3

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
(+.f64 (.f64 y (cos.f64 x)) (.f64 z (sin.f64 x)))
(+.f64 (.f64 z (cos.f64 y)) (.f64 x (sin.f64 y)))
(+.f64 (.f64 x (cos.f64 z)) (.f64 y (sin.f64 z)))

Outputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
(+.f64 (.f64 y (cos.f64 x)) (.f64 z (sin.f64 x)))
(+.f64 (.f64 z (cos.f64 y)) (.f64 x (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) z) (.f64 x (sin.f64 y)))
(+.f64 (.f64 x (cos.f64 z)) (.f64 y (sin.f64 z)))

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify183.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

2180×	`rational.json-simplify-35`
1772×	`rational.json-simplify-1`
1258×	`rational.json-simplify-26`
918×	`rational.json-simplify-2`
658×	`rational.json-simplify-52`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	27
1	20	27
2	29	27
3	43	27
4	75	27
5	131	27
6	290	27
7	716	27
8	2042	27
9	3306	27
10	4050	27
11	4528	27
12	5281	27
13	5697	27
14	6303	27
15	6876	27

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

Outputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

eval0.0ms (0%)

Compiler: Compiled 12 to 8 computations (33.3% saved)

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

0.1b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

Compiler

Compiled 12 to 8 computations (33.3% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
✓	0.1b	(*.f64 x (cos.f64 y))
✓	0.1b	(*.f64 z (sin.f64 y))

Compiler

Compiled 27 to 8 computations (70.4% saved)

series7.0ms (0.1%)

Counts

3 → 64

Calls

21 calls:

Time	Variable		Point	Expression
2.0ms	z	@	0	(*.f64 z (sin.f64 y))
1.0ms	x	@	-inf	(*.f64 x (cos.f64 y))
1.0ms	x	@	0	(*.f64 x (cos.f64 y))
1.0ms	y	@	0	(*.f64 z (sin.f64 y))
0.0ms	x	@	0	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

rewrite95.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1512×	`rational.json-1`
1512×	`rational.json-2`
1512×	`rational.json-3`
1504×	`exponential.json-3`
1504×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	49
1	77	49
2	176	49
3	383	49
4	790	49
5	1906	49
6	4344	49
7	6663	49

Stop Event

1×	node limit

Counts

3 → 47

Calls

Call 1

Inputs
(*.f64 z (sin.f64 y))
(*.f64 x (cos.f64 y))
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 z (sin.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 z (sin.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 z (.f64 (sin.f64 y) 1/2)) (.f64 z (.f64 (sin.f64 y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 z (sin.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (sin.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sin.f64 y) (+.f64 z z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sin.f64 y) (.f64 z 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 z (sin.f64 y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 z (sin.f64 y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (.f64 z (sin.f64 y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 z (sin.f64 y)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 z (sin.f64 y)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 z (sin.f64 y)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (cos.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (.f64 (cos.f64 y) 1/2)) (.f64 x (.f64 (cos.f64 y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x (cos.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (cos.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 y) (+.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 y) (.f64 x 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 x 8) (cos.f64 y)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 x 8) (cos.f64 y))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (.f64 x 8) (cos.f64 y)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 x 8) (cos.f64 y)))) (.f64 2 (.f64 2 (.f64 (.f64 x 8) (cos.f64 y))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (cos.f64 y)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 x (.f64 (cos.f64 y) 1/2)) (.f64 z (.f64 (sin.f64 y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 z (.f64 (sin.f64 y) 1/2)) (.f64 x (.f64 (cos.f64 y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 (cos.f64 y) (+.f64 x x)) (.f64 (sin.f64 y) (+.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 (sin.f64 y) (+.f64 z z)) (.f64 (cos.f64 y) (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (sin.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 z (sin.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (*.f64 (sin.f64 y) 1/2)) (*.f64 z (*.f64 (sin.f64 y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 z (sin.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (sin.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sin.f64 y) (+.f64 z z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sin.f64 y) (*.f64 z 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z (sin.f64 y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 z (sin.f64 y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 z (sin.f64 y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 z (sin.f64 y)) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 z (sin.f64 y)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 z (sin.f64 y)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (cos.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 (cos.f64 y) 1/2)) (*.f64 x (*.f64 (cos.f64 y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (cos.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (cos.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 y) (+.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 y) (*.f64 x 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x 8) (cos.f64 y)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 x 8) (cos.f64 y))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 x 8) (cos.f64 y)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 x 8) (cos.f64 y)))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 x 8) (cos.f64 y))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (cos.f64 y)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 x (*.f64 (cos.f64 y) 1/2)) (*.f64 z (*.f64 (sin.f64 y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 z (*.f64 (sin.f64 y) 1/2)) (*.f64 x (*.f64 (cos.f64 y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 (cos.f64 y) (+.f64 x x)) (*.f64 (sin.f64 y) (+.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 (sin.f64 y) (+.f64 z z)) (*.f64 (cos.f64 y) (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 1)))))

simplify237.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

2258×	`rational.json-simplify-2`
1926×	`rational.json-simplify-35`
986×	`exponential.json-simplify-26`
902×	`rational.json-simplify-1`
894×	`rational.json-simplify-51`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	146	2305
1	327	2305
2	757	2281
3	1785	2257
4	3593	2257
5	4518	2257
6	5005	2257
7	5456	2257
8	6275	2257
9	6744	2257
10	7535	2257

Stop Event

1×	node limit

Counts

111 → 93

Calls

Call 1

Inputs
(*.f64 y z)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (*.f64 y z))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 y z) (.f64 1/120 (*.f64 (pow.f64 y 5) z))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 y z) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 y 7) z)) (.f64 1/120 (*.f64 (pow.f64 y 5) z)))))
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
x
(+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)
(+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)))
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 z (sin.f64 y))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
x
(+.f64 (*.f64 y z) x)
(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))
(+.f64 (.f64 y z) (+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(*.f64 z (sin.f64 y))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(*.f64 z (sin.f64 y))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (*.f64 z (sin.f64 y)) 0)
(+.f64 0 (*.f64 z (sin.f64 y)))
(+.f64 (.f64 z (.f64 (sin.f64 y) 1/2)) (.f64 z (.f64 (sin.f64 y) 1/2)))
(-.f64 (*.f64 z (sin.f64 y)) 0)
(/.f64 (*.f64 z (sin.f64 y)) 1)
(/.f64 (*.f64 (sin.f64 y) (+.f64 z z)) 2)
(/.f64 (.f64 (sin.f64 y) (.f64 z 4)) 4)
(/.f64 (.f64 (.f64 z (sin.f64 y)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 z (sin.f64 y)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 z (sin.f64 y)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 z (sin.f64 y)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 z (sin.f64 y)) 8)))) 64)
(pow.f64 (*.f64 z (sin.f64 y)) 1)
(+.f64 (*.f64 x (cos.f64 y)) 0)
(+.f64 0 (*.f64 x (cos.f64 y)))
(+.f64 (.f64 x (.f64 (cos.f64 y) 1/2)) (.f64 x (.f64 (cos.f64 y) 1/2)))
(-.f64 (*.f64 x (cos.f64 y)) 0)
(/.f64 (*.f64 x (cos.f64 y)) 1)
(/.f64 (*.f64 (cos.f64 y) (+.f64 x x)) 2)
(/.f64 (.f64 (cos.f64 y) (.f64 x 4)) 4)
(/.f64 (.f64 (.f64 x 8) (cos.f64 y)) 8)
(/.f64 (.f64 2 (.f64 (*.f64 x 8) (cos.f64 y))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 x 8) (cos.f64 y)))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 x 8) (cos.f64 y)))) (.f64 2 (.f64 2 (.f64 (.f64 x 8) (cos.f64 y))))) 64)
(pow.f64 (*.f64 x (cos.f64 y)) 1)
(-.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 0)
(.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 1)
(.f64 1 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))))
(.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1/2))
(.f64 2 (+.f64 (.f64 x (.f64 (cos.f64 y) 1/2)) (.f64 z (*.f64 (sin.f64 y) 1/2))))
(.f64 2 (+.f64 (.f64 z (.f64 (sin.f64 y) 1/2)) (.f64 x (*.f64 (cos.f64 y) 1/2))))
(.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 2) 1/2)
(.f64 4 (/.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 4))
(.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 4) 1/4)
(.f64 1/2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 2))
(.f64 1/2 (+.f64 (.f64 (cos.f64 y) (+.f64 x x)) (*.f64 (sin.f64 y) (+.f64 z z))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 y) (+.f64 z z)) (*.f64 (cos.f64 y) (+.f64 x x))))
(.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 4))
(.f64 (/.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 4) 4)
(/.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1)
(/.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 8)))) 64)
(pow.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1)

Outputs
(*.f64 y z)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (*.f64 y z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))
(+.f64 (.f64 y z) (.f64 z (*.f64 (pow.f64 y 3) -1/6)))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 y z) (.f64 1/120 (*.f64 (pow.f64 y 5) z))))
(+.f64 (.f64 y z) (+.f64 (.f64 (pow.f64 y 5) (.f64 z 1/120)) (.f64 (pow.f64 y 3) (*.f64 z -1/6))))
(+.f64 (.f64 z (.f64 (pow.f64 y 3) -1/6)) (+.f64 (.f64 y z) (.f64 z (*.f64 (pow.f64 y 5) 1/120))))
(+.f64 (.f64 (pow.f64 y 3) (.f64 z -1/6)) (.f64 z (+.f64 y (.f64 1/120 (pow.f64 y 5)))))
(.f64 z (+.f64 (.f64 1/120 (pow.f64 y 5)) (+.f64 y (*.f64 -1/6 (pow.f64 y 3)))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 y z) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 y 7) z)) (.f64 1/120 (*.f64 (pow.f64 y 5) z)))))
(+.f64 (.f64 y z) (+.f64 (+.f64 (.f64 (pow.f64 y 5) (.f64 z 1/120)) (.f64 -1/5040 (.f64 z (pow.f64 y 7)))) (.f64 (pow.f64 y 3) (*.f64 z -1/6))))
(+.f64 (.f64 y z) (+.f64 (.f64 z (.f64 (pow.f64 y 3) -1/6)) (+.f64 (.f64 z (.f64 (pow.f64 y 5) 1/120)) (.f64 z (*.f64 (pow.f64 y 7) -1/5040)))))
(+.f64 (.f64 (pow.f64 y 5) (.f64 z 1/120)) (+.f64 (.f64 z (+.f64 y (.f64 -1/5040 (pow.f64 y 7)))) (.f64 (pow.f64 y 3) (.f64 z -1/6))))
(+.f64 (.f64 z (+.f64 (.f64 1/120 (pow.f64 y 5)) (+.f64 y (.f64 -1/6 (pow.f64 y 3))))) (.f64 z (*.f64 -1/5040 (pow.f64 y 7))))
(+.f64 (.f64 z (.f64 -1/6 (pow.f64 y 3))) (.f64 z (+.f64 (.f64 -1/5040 (pow.f64 y 7)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))))
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
x
(+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)
(+.f64 x (.f64 (pow.f64 y 2) (.f64 x -1/2)))
(+.f64 x (.f64 x (.f64 (pow.f64 y 2) -1/2)))
(+.f64 x (.f64 x (.f64 -1/2 (pow.f64 y 2))))
(+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x))
(+.f64 (+.f64 x (.f64 (pow.f64 y 2) (.f64 x -1/2))) (.f64 1/24 (.f64 x (pow.f64 y 4))))
(+.f64 x (+.f64 (.f64 x (.f64 (pow.f64 y 4) 1/24)) (.f64 x (.f64 (pow.f64 y 2) -1/2))))
(+.f64 x (+.f64 (.f64 x (.f64 -1/2 (pow.f64 y 2))) (.f64 (pow.f64 y 4) (.f64 x 1/24))))
(+.f64 x (.f64 x (+.f64 (.f64 1/24 (pow.f64 y 4)) (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)))
(+.f64 (.f64 1/24 (.f64 x (pow.f64 y 4))) (+.f64 (+.f64 x (.f64 (pow.f64 y 2) (.f64 x -1/2))) (.f64 -1/720 (.f64 x (pow.f64 y 6)))))
(+.f64 (+.f64 x (.f64 x (.f64 (pow.f64 y 2) -1/2))) (+.f64 (.f64 x (.f64 (pow.f64 y 6) -1/720)) (.f64 x (.f64 (pow.f64 y 4) 1/24))))
(+.f64 x (+.f64 (+.f64 (.f64 x (.f64 -1/2 (pow.f64 y 2))) (.f64 (pow.f64 y 4) (.f64 x 1/24))) (.f64 (pow.f64 y 6) (.f64 x -1/720))))
(+.f64 x (+.f64 (.f64 (pow.f64 y 6) (.f64 x -1/720)) (.f64 x (+.f64 (.f64 1/24 (pow.f64 y 4)) (*.f64 -1/2 (pow.f64 y 2))))))
(+.f64 x (+.f64 (.f64 -1/720 (.f64 x (pow.f64 y 6))) (.f64 x (+.f64 (.f64 1/24 (pow.f64 y 4)) (*.f64 -1/2 (pow.f64 y 2))))))
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 z (sin.f64 y))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
x
(+.f64 (*.f64 y z) x)
(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))
(+.f64 (.f64 y z) (+.f64 x (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 (.f64 y z) (+.f64 x (.f64 x (*.f64 (pow.f64 y 2) -1/2))))
(+.f64 (.f64 y z) (+.f64 x (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 (.f64 x (.f64 -1/2 (pow.f64 y 2))) (+.f64 (*.f64 y z) x))
(+.f64 (.f64 y z) (+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x)))
(+.f64 (.f64 y z) (+.f64 (.f64 (pow.f64 y 3) (.f64 z -1/6)) (+.f64 x (.f64 (pow.f64 y 2) (*.f64 x -1/2)))))
(+.f64 (.f64 y z) (+.f64 (.f64 z (.f64 (pow.f64 y 3) -1/6)) (+.f64 x (.f64 x (*.f64 (pow.f64 y 2) -1/2)))))
(+.f64 (.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3)))) (+.f64 x (.f64 x (.f64 -1/2 (pow.f64 y 2)))))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(*.f64 z (sin.f64 y))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(*.f64 z (sin.f64 y))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (*.f64 z (sin.f64 y)) 0)
(*.f64 z (sin.f64 y))
(+.f64 0 (*.f64 z (sin.f64 y)))
(*.f64 z (sin.f64 y))
(+.f64 (.f64 z (.f64 (sin.f64 y) 1/2)) (.f64 z (.f64 (sin.f64 y) 1/2)))
(*.f64 z (sin.f64 y))
(-.f64 (*.f64 z (sin.f64 y)) 0)
(*.f64 z (sin.f64 y))
(/.f64 (*.f64 z (sin.f64 y)) 1)
(*.f64 z (sin.f64 y))
(/.f64 (*.f64 (sin.f64 y) (+.f64 z z)) 2)
(*.f64 z (sin.f64 y))
(/.f64 (.f64 (sin.f64 y) (.f64 z 4)) 4)
(*.f64 z (sin.f64 y))
(/.f64 (.f64 (.f64 z (sin.f64 y)) 8) 8)
(*.f64 z (sin.f64 y))
(/.f64 (.f64 2 (.f64 (*.f64 z (sin.f64 y)) 8)) 16)
(*.f64 z (sin.f64 y))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 z (sin.f64 y)) 8))) 32)
(*.f64 z (sin.f64 y))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 z (sin.f64 y)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 z (sin.f64 y)) 8)))) 64)
(*.f64 z (sin.f64 y))
(pow.f64 (*.f64 z (sin.f64 y)) 1)
(*.f64 z (sin.f64 y))
(+.f64 (*.f64 x (cos.f64 y)) 0)
(*.f64 (cos.f64 y) x)
(+.f64 0 (*.f64 x (cos.f64 y)))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 x (.f64 (cos.f64 y) 1/2)) (.f64 x (.f64 (cos.f64 y) 1/2)))
(*.f64 (cos.f64 y) x)
(-.f64 (*.f64 x (cos.f64 y)) 0)
(*.f64 (cos.f64 y) x)
(/.f64 (*.f64 x (cos.f64 y)) 1)
(*.f64 (cos.f64 y) x)
(/.f64 (*.f64 (cos.f64 y) (+.f64 x x)) 2)
(*.f64 (cos.f64 y) x)
(/.f64 (.f64 (cos.f64 y) (.f64 x 4)) 4)
(*.f64 (cos.f64 y) x)
(/.f64 (.f64 (.f64 x 8) (cos.f64 y)) 8)
(*.f64 (cos.f64 y) x)
(/.f64 (.f64 2 (.f64 (*.f64 x 8) (cos.f64 y))) 16)
(*.f64 (cos.f64 y) x)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 x 8) (cos.f64 y)))) 32)
(*.f64 (cos.f64 y) x)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 x 8) (cos.f64 y)))) (.f64 2 (.f64 2 (.f64 (.f64 x 8) (cos.f64 y))))) 64)
(*.f64 (cos.f64 y) x)
(pow.f64 (*.f64 x (cos.f64 y)) 1)
(*.f64 (cos.f64 y) x)
(-.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 0)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 1)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 1 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1/2))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 2 (+.f64 (.f64 x (.f64 (cos.f64 y) 1/2)) (.f64 z (*.f64 (sin.f64 y) 1/2))))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 2 (+.f64 (.f64 z (.f64 (sin.f64 y) 1/2)) (.f64 x (*.f64 (cos.f64 y) 1/2))))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 2) 1/2)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 4 (/.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 4))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 4) 1/4)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 1/2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 2))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 1/2 (+.f64 (.f64 (cos.f64 y) (+.f64 x x)) (*.f64 (sin.f64 y) (+.f64 z z))))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 1/2 (+.f64 (.f64 (sin.f64 y) (+.f64 z z)) (*.f64 (cos.f64 y) (+.f64 x x))))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1/2) 2)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 1/4 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 4))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(.f64 (/.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 4) 4)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(/.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(/.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 2) 2)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(/.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 4) 4)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(/.f64 (.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 8) 8)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 8)) 16)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y))) 8))) 32)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 8)))) 64)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(pow.f64 (+.f64 (.f64 z (sin.f64 y)) (.f64 x (cos.f64 y))) 1)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))

eval21.0ms (0.2%)

Compiler: Compiled 1565 to 763 computations (51.2% saved)

prune17.0ms (0.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	87	6	93
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	87	7	94

Error

0.1b

Counts

94 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	31.6b	(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))
▶	30.4b	(+.f64 (*.f64 y z) x)
	28.3b	(+.f64 (.f64 x (cos.f64 y)) (+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (.f64 z -1/6))))
✓	0.1b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
▶	22.4b	(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))
▶	14.4b	(+.f64 x (*.f64 z (sin.f64 y)))
▶	37.5b	(*.f64 z (sin.f64 y))

Compiler

Compiled 152 to 102 computations (32.9% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (*.f64 z (sin.f64 y)))
	0.1b	(*.f64 z (sin.f64 y))

Compiler

Compiled 18 to 6 computations (66.7% saved)

series1.0ms (0%)

Counts

1 → 27

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(+.f64 x (*.f64 z (sin.f64 y)))
0.0ms	x	@	0	(+.f64 x (*.f64 z (sin.f64 y)))
0.0ms	y	@	0	(+.f64 x (*.f64 z (sin.f64 y)))
0.0ms	x	@	-inf	(+.f64 x (*.f64 z (sin.f64 y)))
0.0ms	y	@	inf	(+.f64 x (*.f64 z (sin.f64 y)))

rewrite85.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1390×	`rational.json-1`
1390×	`rational.json-2`
1390×	`rational.json-3`
1386×	`exponential.json-3`
1386×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	62	17
2	142	17
3	296	17
4	590	17
5	1387	17
6	3339	17
7	5875	17

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

Inputs
(+.f64 x (*.f64 z (sin.f64 y)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (.f64 z (sin.f64 y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x (.f64 z (sin.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 x (.f64 z (sin.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 x 1/2) (.f64 z (.f64 (sin.f64 y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 z (.f64 (sin.f64 y) 2)) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (.f64 z (sin.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x (.f64 z (sin.f64 y))) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (*.f64 z (sin.f64 y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x (*.f64 z (sin.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 x 1/2) (*.f64 z (*.f64 (sin.f64 y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 z (*.f64 (sin.f64 y) 2)) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 z (sin.f64 y))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1)))))

simplify224.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

2162×	`rational.json-simplify-45`
1378×	`rational.json-simplify-2`
1320×	`rational.json-simplify-1`
1078×	`rational.json-simplify-48`
1064×	`rational.json-simplify-51`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	76	829
1	161	829
2	413	817
3	988	811
4	1492	811
5	3013	811
6	3885	811
7	4043	811
8	4464	811
9	5330	811
10	5738	811
11	5888	811
12	6129	811
13	6555	811

Stop Event

1×	node limit

Counts

49 → 38

Calls

Call 1

Inputs
(*.f64 z (sin.f64 y))
x
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
x
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
x
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(*.f64 z (sin.f64 y))
(*.f64 z (sin.f64 y))
x
(+.f64 (*.f64 y z) x)
(+.f64 (.f64 y z) (+.f64 (.f64 -1/6 (*.f64 (pow.f64 y 3) z)) x))
(+.f64 (.f64 y z) (+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 1/120 (*.f64 (pow.f64 y 5) z)) x)))
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(-.f64 (+.f64 x (*.f64 z (sin.f64 y))) 0)
(.f64 (+.f64 x (.f64 z (sin.f64 y))) 1)
(.f64 1 (+.f64 x (.f64 z (sin.f64 y))))
(.f64 2 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1/2))
(.f64 2 (+.f64 (.f64 x 1/2) (.f64 z (.f64 (sin.f64 y) 1/2))))
(.f64 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 2) 1/2)
(.f64 4 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1/4))
(.f64 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 4) 1/4)
(.f64 1/2 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 2))
(.f64 1/2 (+.f64 (.f64 z (*.f64 (sin.f64 y) 2)) (+.f64 x x)))
(.f64 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 8) 1/8)
(.f64 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 4))
(.f64 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1/4) 4)
(/.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1)
(/.f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 2) 2)
(/.f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 4) 4)
(/.f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8)))) 64)
(pow.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1)

Outputs
(*.f64 z (sin.f64 y))
x
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
x
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
x
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(*.f64 z (sin.f64 y))
(*.f64 z (sin.f64 y))
x
(+.f64 (*.f64 y z) x)
(+.f64 x (*.f64 z y))
(+.f64 (.f64 y z) (+.f64 (.f64 -1/6 (*.f64 (pow.f64 y 3) z)) x))
(+.f64 (.f64 z y) (+.f64 x (.f64 -1/6 (*.f64 z (pow.f64 y 3)))))
(+.f64 (+.f64 x (.f64 z y)) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))
(+.f64 x (.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3)))))
(+.f64 (.f64 y z) (+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 1/120 (*.f64 (pow.f64 y 5) z)) x)))
(+.f64 (.f64 z y) (+.f64 (.f64 -1/6 (.f64 z (pow.f64 y 3))) (+.f64 x (.f64 1/120 (*.f64 z (pow.f64 y 5))))))
(+.f64 (.f64 z y) (+.f64 x (+.f64 (.f64 z (.f64 (pow.f64 y 5) 1/120)) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))))
(+.f64 x (+.f64 (.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3)))) (.f64 1/120 (.f64 z (pow.f64 y 5)))))
(+.f64 x (.f64 z (+.f64 (.f64 1/120 (pow.f64 y 5)) (+.f64 y (*.f64 -1/6 (pow.f64 y 3))))))
(+.f64 x (.f64 z (+.f64 y (+.f64 (.f64 1/120 (pow.f64 y 5)) (*.f64 -1/6 (pow.f64 y 3))))))
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(+.f64 (*.f64 z (sin.f64 y)) x)
(-.f64 (+.f64 x (*.f64 z (sin.f64 y))) 0)
(+.f64 (*.f64 z (sin.f64 y)) x)
(.f64 (+.f64 x (.f64 z (sin.f64 y))) 1)
(+.f64 (*.f64 z (sin.f64 y)) x)
(.f64 1 (+.f64 x (.f64 z (sin.f64 y))))
(+.f64 (*.f64 z (sin.f64 y)) x)
(.f64 2 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1/2))
(+.f64 (*.f64 z (sin.f64 y)) x)
(.f64 2 (+.f64 (.f64 x 1/2) (.f64 z (.f64 (sin.f64 y) 1/2))))
(+.f64 (*.f64 z (sin.f64 y)) x)
(.f64 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 2) 1/2)
(+.f64 (*.f64 z (sin.f64 y)) x)
(.f64 4 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1/4))
(+.f64 (*.f64 z (sin.f64 y)) x)
(.f64 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 4) 1/4)
(+.f64 (*.f64 z (sin.f64 y)) x)
(.f64 1/2 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 2))
(+.f64 (*.f64 z (sin.f64 y)) x)
(.f64 1/2 (+.f64 (.f64 z (*.f64 (sin.f64 y) 2)) (+.f64 x x)))
(.f64 1/2 (+.f64 x (+.f64 x (.f64 z (*.f64 (sin.f64 y) 2)))))
(.f64 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 8) 1/8)
(+.f64 (*.f64 z (sin.f64 y)) x)
(.f64 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1/2) 2)
(+.f64 (*.f64 z (sin.f64 y)) x)
(.f64 1/4 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 4))
(+.f64 (*.f64 z (sin.f64 y)) x)
(.f64 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1/4) 4)
(+.f64 (*.f64 z (sin.f64 y)) x)
(/.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1)
(+.f64 (*.f64 z (sin.f64 y)) x)
(/.f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 2) 2)
(+.f64 (*.f64 z (sin.f64 y)) x)
(/.f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 4) 4)
(+.f64 (*.f64 z (sin.f64 y)) x)
(/.f64 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8) 8)
(+.f64 (*.f64 z (sin.f64 y)) x)
(/.f64 (.f64 2 (.f64 (+.f64 x (*.f64 z (sin.f64 y))) 8)) 16)
(+.f64 (*.f64 z (sin.f64 y)) x)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8))) 32)
(+.f64 (*.f64 z (sin.f64 y)) x)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 z (sin.f64 y))) 8)))) 64)
(+.f64 (*.f64 z (sin.f64 y)) x)
(pow.f64 (+.f64 x (*.f64 z (sin.f64 y))) 1)
(+.f64 (*.f64 z (sin.f64 y)) x)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 y z) x)

Compiler

Compiled 14 to 5 computations (64.3% saved)

series2.0ms (0%)

Counts

1 → 9

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	y	@	inf	(+.f64 (*.f64 y z) x)
0.0ms	y	@	0	(+.f64 (*.f64 y z) x)
0.0ms	z	@	inf	(+.f64 (*.f64 y z) x)
0.0ms	z	@	-inf	(+.f64 (*.f64 y z) x)
0.0ms	y	@	-inf	(+.f64 (*.f64 y z) x)

rewrite180.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1524×	`rational.json-simplify-35`
1424×	`rational.json-simplify-1`
1386×	`exponential.json-3`
1386×	`rational.json-1`
1386×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	46	13
2	102	13
3	214	13
4	397	13
5	896	13
6	2314	13
7	4169	13
8	5353	13
9	6864	13
10	7675	13
11	7675	13

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(+.f64 (*.f64 y z) x)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 y z) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 y z) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 y z) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 (*.f64 y z) x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 y z) x) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 (*.f64 y z) x) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 y z) x) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 y z) x) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 y z) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 y z) x) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 y z) x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 y z) x) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (+.f64 (*.f64 y z) x) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 y z) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 y z) x) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 y z) x) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 y z) x) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 y z) x) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 y z) x) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 y z) x) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 y z) x) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 y z) x) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 y z) x) 1)))))

simplify758.0ms (9.1%)

Algorithm

1×	egg-herbie

Rules

6176×	`rational.json-simplify-51`
3534×	`rational.json-simplify-35`
1360×	`rational.json-simplify-49`
1156×	`rational.json-simplify-2`
1124×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	338
1	121	338
2	423	338
3	1174	338
4	1878	338
5	2772	338
6	3259	338
7	3333	338
8	3381	338
9	3413	338
10	3445	338
11	3477	338
12	3509	338
13	3541	338
14	3573	338
15	3605	338
16	3637	338
17	3669	338
18	3701	338
19	4608	338
20	4867	338
21	4960	338
22	5049	338
23	5136	338
24	5222	338
25	5435	338
26	5435	338
27	5521	338
28	5607	338
29	5693	338
30	5779	338
31	5865	338
32	5951	338
33	6037	338
34	6123	338
35	6209	338

Stop Event

1×	node limit

Counts

32 → 26

Calls

Call 1

Inputs
x
(*.f64 y z)
(*.f64 y z)
x
(*.f64 y z)
(*.f64 y z)
(*.f64 y z)
x
x
(-.f64 (+.f64 (*.f64 y z) x) 0)
(.f64 (+.f64 (.f64 y z) x) 1)
(.f64 1 (+.f64 (.f64 y z) x))
(.f64 2 (.f64 (+.f64 (*.f64 y z) x) 1/2))
(.f64 (.f64 (+.f64 (*.f64 y z) x) 2) 1/2)
(.f64 4 (.f64 (+.f64 (*.f64 y z) x) 1/4))
(.f64 (.f64 (+.f64 (*.f64 y z) x) 4) 1/4)
(.f64 (.f64 (+.f64 (*.f64 y z) x) 8) 1/8)
(.f64 1/2 (.f64 (+.f64 (*.f64 y z) x) 2))
(.f64 (.f64 (+.f64 (*.f64 y z) x) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (*.f64 y z) x) 4))
(.f64 (.f64 (+.f64 (*.f64 y z) x) 1/4) 4)
(.f64 1/8 (.f64 (+.f64 (*.f64 y z) x) 8))
(/.f64 (+.f64 (*.f64 y z) x) 1)
(/.f64 (.f64 (+.f64 (.f64 y z) x) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 y z) x) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 y z) x) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 y z) x) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 y z) x) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (*.f64 y z) x) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 y z) x) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (*.f64 y z) x) 8)))))) 256)
(pow.f64 (+.f64 (*.f64 y z) x) 1)

Outputs
x
(*.f64 y z)
(*.f64 y z)
x
(*.f64 y z)
(*.f64 y z)
(*.f64 y z)
x
x
(-.f64 (+.f64 (*.f64 y z) x) 0)
(+.f64 x (*.f64 y z))
(.f64 (+.f64 (.f64 y z) x) 1)
(+.f64 x (*.f64 y z))
(.f64 1 (+.f64 (.f64 y z) x))
(+.f64 x (*.f64 y z))
(.f64 2 (.f64 (+.f64 (*.f64 y z) x) 1/2))
(+.f64 x (*.f64 y z))
(.f64 (.f64 (+.f64 (*.f64 y z) x) 2) 1/2)
(+.f64 x (*.f64 y z))
(.f64 4 (.f64 (+.f64 (*.f64 y z) x) 1/4))
(+.f64 x (*.f64 y z))
(.f64 (.f64 (+.f64 (*.f64 y z) x) 4) 1/4)
(+.f64 x (*.f64 y z))
(.f64 (.f64 (+.f64 (*.f64 y z) x) 8) 1/8)
(+.f64 x (*.f64 y z))
(.f64 1/2 (.f64 (+.f64 (*.f64 y z) x) 2))
(+.f64 x (*.f64 y z))
(.f64 (.f64 (+.f64 (*.f64 y z) x) 1/2) 2)
(+.f64 x (*.f64 y z))
(.f64 1/4 (.f64 (+.f64 (*.f64 y z) x) 4))
(+.f64 x (*.f64 y z))
(.f64 (.f64 (+.f64 (*.f64 y z) x) 1/4) 4)
(+.f64 x (*.f64 y z))
(.f64 1/8 (.f64 (+.f64 (*.f64 y z) x) 8))
(+.f64 x (*.f64 y z))
(/.f64 (+.f64 (*.f64 y z) x) 1)
(+.f64 x (*.f64 y z))
(/.f64 (.f64 (+.f64 (.f64 y z) x) 2) 2)
(+.f64 x (*.f64 y z))
(/.f64 (.f64 (+.f64 (.f64 y z) x) 4) 4)
(+.f64 x (*.f64 y z))
(/.f64 (.f64 (+.f64 (.f64 y z) x) 8) 8)
(+.f64 x (*.f64 y z))
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 y z) x) 8)) 16)
(+.f64 x (*.f64 y z))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 y z) x) 8))) 32)
(+.f64 x (*.f64 y z))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (*.f64 y z) x) 8)))) 64)
(+.f64 x (*.f64 y z))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 y z) x) 8))))) 128)
(+.f64 x (*.f64 y z))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (*.f64 y z) x) 8)))))) 256)
(+.f64 x (*.f64 y z))
(pow.f64 (+.f64 (*.f64 y z) x) 1)
(+.f64 x (*.f64 y z))

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.1b	(*.f64 z (sin.f64 y))

Compiler

Compiled 11 to 5 computations (54.5% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))
	0.1b	(*.f64 x (cos.f64 y))

Compiler

Compiled 23 to 7 computations (69.6% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))
0.0ms	y	@	0	(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))
0.0ms	y	@	-inf	(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))
0.0ms	x	@	-inf	(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))
0.0ms	y	@	inf	(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))

rewrite162.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1424×	`rational.json-1`
1424×	`rational.json-2`
1402×	`rational.json-simplify-35`
1266×	`rational.json-3`
1258×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	67	23
2	145	23
3	315	23
4	627	23
5	1479	23
6	2910	23
7	4379	23
8	6049	23
9	7158	23
10	7876	23

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 y (+.f64 z z)) (*.f64 (cos.f64 y) (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 x (cos.f64 y)) (*.f64 y z)) 1)))))

simplify308.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1680×	`rational.json-simplify-1`
1516×	`rational.json-simplify-35`
1322×	`rational.json-simplify-49`
832×	`rational.json-simplify-2`
794×	`rational.json-simplify-38`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	71	1215
1	155	1215
2	382	1215
3	1021	1209
4	1658	1209
5	2451	1209
6	2926	1209
7	3015	1209
8	3097	1209
9	3187	1209
10	3291	1209
11	3552	1209
12	4296	1209
13	4664	1209
14	4953	1209
15	5160	1209
16	5339	1209
17	5509	1209
18	6063	1209

Stop Event

1×	node limit

Counts

57 → 39

Calls

Call 1

Inputs
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
x
(+.f64 (*.f64 y z) x)
(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))
(+.f64 (.f64 y z) (+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x)))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(-.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 0)
(.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 1)
(.f64 1 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)))
(.f64 2 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 1/2))
(.f64 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 2) 1/2)
(.f64 4 (/.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 4))
(.f64 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 4) 1/4)
(.f64 1/2 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 2))
(.f64 1/2 (+.f64 (.f64 y (+.f64 z z)) (*.f64 (cos.f64 y) (+.f64 x x))))
(.f64 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 4))
(.f64 (/.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 4) 4)
(/.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 1)
(/.f64 (.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 8))))) 128)
(pow.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 1)

Outputs
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
x
(+.f64 (*.f64 y z) x)
(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))
(+.f64 (.f64 y z) (+.f64 x (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(+.f64 (+.f64 (.f64 y z) x) (.f64 x (*.f64 (pow.f64 y 2) -1/2)))
(+.f64 (+.f64 (.f64 y z) x) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))
(+.f64 (.f64 y z) (+.f64 x (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 (.f64 y z) (+.f64 x (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 (.f64 y z) (+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x)))
(+.f64 (.f64 y z) (+.f64 (+.f64 x (.f64 -1/2 (.f64 x (pow.f64 y 2)))) (.f64 1/24 (*.f64 x (pow.f64 y 4)))))
(+.f64 (.f64 x (.f64 (pow.f64 y 2) -1/2)) (+.f64 (+.f64 (.f64 y z) x) (.f64 x (*.f64 (pow.f64 y 4) 1/24))))
(+.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) (+.f64 (+.f64 (.f64 y z) x) (.f64 x (*.f64 1/24 (pow.f64 y 4)))))
(+.f64 (.f64 y z) (+.f64 x (.f64 x (+.f64 (.f64 -1/2 (pow.f64 y 2)) (.f64 1/24 (pow.f64 y 4))))))
(+.f64 (.f64 y z) (+.f64 x (.f64 x (+.f64 (.f64 1/24 (pow.f64 y 4)) (.f64 -1/2 (pow.f64 y 2))))))
(+.f64 x (+.f64 (.f64 y z) (.f64 x (+.f64 (.f64 1/24 (pow.f64 y 4)) (.f64 -1/2 (pow.f64 y 2))))))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(-.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 0)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 1)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(.f64 1 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(.f64 2 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 1/2))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(.f64 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 2) 1/2)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(.f64 4 (/.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 4))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(.f64 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 4) 1/4)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(.f64 1/2 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 2))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(.f64 1/2 (+.f64 (.f64 y (+.f64 z z)) (*.f64 (cos.f64 y) (+.f64 x x))))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(.f64 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 1/2) 2)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(.f64 1/4 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 4))
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(.f64 (/.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 4) 4)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(/.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 1)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(/.f64 (.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 2) 2)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(/.f64 (.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 4) 4)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(/.f64 (.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 8) 8)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 8)) 16)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 8))) 32)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 8)))) 64)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x (cos.f64 y)) (*.f64 y z)) 8))))) 128)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))
(pow.f64 (+.f64 (.f64 x (cos.f64 y)) (.f64 y z)) 1)
(+.f64 (.f64 y z) (.f64 (cos.f64 y) x))

localize19.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 -1/2 (.f64 (pow.f64 y 2) x))
✓	1.4b	(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))
✓	7.3b	(*.f64 (pow.f64 y 2) x)

Compiler

Compiled 48 to 29 computations (39.6% saved)

series5.0ms (0.1%)

Counts

3 → 21

Calls

21 calls:

Time	Variable		Point	Expression
1.0ms	y	@	inf	(*.f64 (pow.f64 y 2) x)
0.0ms	x	@	0	(*.f64 (pow.f64 y 2) x)
0.0ms	y	@	0	(*.f64 (pow.f64 y 2) x)
0.0ms	z	@	0	(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))
0.0ms	x	@	-inf	(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))

rewrite122.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1744×	`rational.json-simplify-35`
1664×	`exponential.json-3`
1664×	`rational.json-1`
1664×	`rational.json-2`
1664×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	69
1	89	69
2	187	69
3	390	69
4	816	69
5	2119	69
6	3938	69
7	5156	69
8	7205	69

Stop Event

1×	node limit

Counts

3 → 53

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))
(.f64 -1/2 (.f64 (pow.f64 y 2) x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 y 2) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (pow.f64 y 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 y 2) (*.f64 x 1/2)) (*.f64 (pow.f64 y 2) (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (pow.f64 y 2) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 y 2) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 y 2) (+.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 y 2) (*.f64 x 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (pow.f64 y 2) (*.f64 x 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 y 2) (*.f64 x 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 y 2) (*.f64 x 4))))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 y 2) (*.f64 x 4)))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 y 2) (*.f64 x 4)))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 y 2) (*.f64 x 4))))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 y 2) x) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 2 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (pow.f64 y 2) (*.f64 x -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (*.f64 (pow.f64 y 2) (*.f64 x 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1/4)) (*.f64 (pow.f64 y 2) (*.f64 x -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 (pow.f64 y 2) (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 y 2) x) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 y 2) (neg.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 y 2) (+.f64 x x)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (pow.f64 y 2) x) -2) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 y 2) (*.f64 x 4)) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (pow.f64 y 2) x) -2)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 y 2) (*.f64 x 1/2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (pow.f64 y 2) x) -2))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (pow.f64 y 2) x) -2)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (pow.f64 y 2) x) -2))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (pow.f64 y 2) x) -2))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (pow.f64 y 2) x) -2)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (pow.f64 y 2) (*.f64 x 1/2)))))))

simplify254.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

2008×	`rational.json-simplify-2`
1730×	`rational.json-simplify-35`
1264×	`rational.json-simplify-52`
1168×	`rational.json-simplify-1`
1008×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	127	1832
1	299	1832
2	702	1832
3	1841	1832
4	4230	1832
5	5074	1832
6	5532	1832
7	5872	1832
8	5941	1832
9	5984	1832
10	6791	1832
11	7067	1832

Stop Event

1×	node limit

Counts

74 → 79

Calls

Call 1

Inputs
x
(+.f64 (*.f64 y z) x)
(.f64 -1/2 (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 -1/2 (*.f64 (pow.f64 y 2) x)))
(.f64 -1/2 (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 -1/2 (*.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)
(*.f64 y z)
(*.f64 y z)
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (+.f64 1 (*.f64 -1/2 (pow.f64 y 2))) x))
(+.f64 (.f64 y z) (.f64 (+.f64 1 (*.f64 -1/2 (pow.f64 y 2))) x))
(+.f64 (.f64 y z) (.f64 (+.f64 1 (*.f64 -1/2 (pow.f64 y 2))) x))
(.f64 (+.f64 1 (.f64 -1/2 (pow.f64 y 2))) x)
(+.f64 (.f64 y z) (.f64 (+.f64 1 (*.f64 -1/2 (pow.f64 y 2))) x))
(+.f64 (.f64 y z) (.f64 (+.f64 1 (*.f64 -1/2 (pow.f64 y 2))) x))
(+.f64 (.f64 y z) (.f64 (+.f64 1 (*.f64 -1/2 (pow.f64 y 2))) x))
(.f64 -1 (.f64 (-.f64 (*.f64 1/2 (pow.f64 y 2)) 1) x))
(+.f64 (.f64 y z) (.f64 -1 (.f64 (-.f64 (.f64 1/2 (pow.f64 y 2)) 1) x)))
(+.f64 (.f64 y z) (.f64 -1 (.f64 (-.f64 (.f64 1/2 (pow.f64 y 2)) 1) x)))
(+.f64 (.f64 y z) (.f64 -1 (.f64 (-.f64 (.f64 1/2 (pow.f64 y 2)) 1) x)))
(+.f64 (*.f64 (pow.f64 y 2) x) 0)
(+.f64 0 (*.f64 (pow.f64 y 2) x))
(+.f64 (.f64 (pow.f64 y 2) (.f64 x 1/2)) (.f64 (pow.f64 y 2) (.f64 x 1/2)))
(-.f64 (*.f64 (pow.f64 y 2) x) 0)
(/.f64 (*.f64 (pow.f64 y 2) x) 1)
(/.f64 (*.f64 (pow.f64 y 2) (+.f64 x x)) 2)
(/.f64 (.f64 (pow.f64 y 2) (.f64 x 4)) 4)
(/.f64 (.f64 2 (.f64 (pow.f64 y 2) (*.f64 x 4))) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 4)))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (*.f64 x 4))))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 4)))))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 4)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 4))))))) 128)
(pow.f64 (*.f64 (pow.f64 y 2) x) 1)
(-.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 0)
(.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1/2))
(.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 1)
(.f64 1 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))))
(.f64 (.f64 2 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))) 1/2)
(.f64 4 (/.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4))
(.f64 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4) 1/4)
(.f64 1/2 (.f64 2 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))))
(.f64 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4))
(.f64 (/.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4) 4)
(/.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1)
(/.f64 (.f64 2 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2))))) 2)
(/.f64 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4) 4)
(/.f64 (.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4))))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4)))))) 128)
(pow.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1)
(+.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) 0)
(+.f64 0 (.f64 (pow.f64 y 2) (.f64 x -1/2)))
(+.f64 -1 (-.f64 1 (.f64 (pow.f64 y 2) (.f64 x 1/2))))
(+.f64 (.f64 (pow.f64 y 2) (.f64 x -1/4)) (.f64 (pow.f64 y 2) (.f64 x -1/4)))
(-.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) 0)
(-.f64 0 (.f64 (pow.f64 y 2) (.f64 x 1/2)))
(/.f64 (*.f64 (pow.f64 y 2) x) -2)
(/.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) 1)
(/.f64 (*.f64 (pow.f64 y 2) (neg.f64 x)) 2)
(/.f64 (*.f64 (pow.f64 y 2) (+.f64 x x)) -4)
(/.f64 (.f64 (.f64 (pow.f64 y 2) x) -2) 4)
(/.f64 (.f64 (pow.f64 y 2) (.f64 x 4)) -8)
(/.f64 (.f64 2 (.f64 (*.f64 (pow.f64 y 2) x) -2)) 8)
(/.f64 (.f64 (pow.f64 y 2) (.f64 x 1/2)) -1)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 y 2) x) -2))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 (pow.f64 y 2) x) -2)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 y 2) x) -2))))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 y 2) x) -2))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 y 2) x) -2)))))) 128)
(pow.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) 1)
(neg.f64 (.f64 (pow.f64 y 2) (.f64 x 1/2)))

Outputs
x
(+.f64 (*.f64 y z) x)
(+.f64 x (*.f64 y z))
(.f64 -1/2 (.f64 (pow.f64 y 2) x))
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(+.f64 (.f64 y z) (.f64 -1/2 (*.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2))))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))
(+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2))))
(.f64 -1/2 (.f64 (pow.f64 y 2) x))
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(+.f64 (.f64 y z) (.f64 -1/2 (*.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2))))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))
(+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2))))
(+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)
(+.f64 x (.f64 x (.f64 -1/2 (pow.f64 y 2))))
(+.f64 x (.f64 (pow.f64 y 2) (.f64 x -1/2)))
(+.f64 x (.f64 -1/2 (.f64 x (pow.f64 y 2))))
(*.f64 y z)
(*.f64 y z)
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (+.f64 1 (*.f64 -1/2 (pow.f64 y 2))) x))
(+.f64 (.f64 y z) (.f64 x (+.f64 1 (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 (.f64 y z) (.f64 (+.f64 1 (*.f64 -1/2 (pow.f64 y 2))) x))
(+.f64 (.f64 y z) (.f64 x (+.f64 1 (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 (.f64 y z) (.f64 (+.f64 1 (*.f64 -1/2 (pow.f64 y 2))) x))
(+.f64 (.f64 y z) (.f64 x (+.f64 1 (*.f64 -1/2 (pow.f64 y 2)))))
(.f64 (+.f64 1 (.f64 -1/2 (pow.f64 y 2))) x)
(.f64 x (+.f64 1 (.f64 -1/2 (pow.f64 y 2))))
(+.f64 (.f64 y z) (.f64 (+.f64 1 (*.f64 -1/2 (pow.f64 y 2))) x))
(+.f64 (.f64 y z) (.f64 x (+.f64 1 (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 (.f64 y z) (.f64 (+.f64 1 (*.f64 -1/2 (pow.f64 y 2))) x))
(+.f64 (.f64 y z) (.f64 x (+.f64 1 (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 (.f64 y z) (.f64 (+.f64 1 (*.f64 -1/2 (pow.f64 y 2))) x))
(+.f64 (.f64 y z) (.f64 x (+.f64 1 (*.f64 -1/2 (pow.f64 y 2)))))
(.f64 -1 (.f64 (-.f64 (*.f64 1/2 (pow.f64 y 2)) 1) x))
(.f64 x (+.f64 1 (.f64 -1/2 (pow.f64 y 2))))
(+.f64 (.f64 y z) (.f64 -1 (.f64 (-.f64 (.f64 1/2 (pow.f64 y 2)) 1) x)))
(+.f64 (.f64 y z) (.f64 x (+.f64 1 (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 (.f64 y z) (.f64 -1 (.f64 (-.f64 (.f64 1/2 (pow.f64 y 2)) 1) x)))
(+.f64 (.f64 y z) (.f64 x (+.f64 1 (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 (.f64 y z) (.f64 -1 (.f64 (-.f64 (.f64 1/2 (pow.f64 y 2)) 1) x)))
(+.f64 (.f64 y z) (.f64 x (+.f64 1 (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 (*.f64 (pow.f64 y 2) x) 0)
(*.f64 x (pow.f64 y 2))
(+.f64 0 (*.f64 (pow.f64 y 2) x))
(*.f64 x (pow.f64 y 2))
(+.f64 (.f64 (pow.f64 y 2) (.f64 x 1/2)) (.f64 (pow.f64 y 2) (.f64 x 1/2)))
(*.f64 x (pow.f64 y 2))
(-.f64 (*.f64 (pow.f64 y 2) x) 0)
(*.f64 x (pow.f64 y 2))
(/.f64 (*.f64 (pow.f64 y 2) x) 1)
(*.f64 x (pow.f64 y 2))
(/.f64 (*.f64 (pow.f64 y 2) (+.f64 x x)) 2)
(*.f64 x (pow.f64 y 2))
(/.f64 (.f64 (pow.f64 y 2) (.f64 x 4)) 4)
(*.f64 x (pow.f64 y 2))
(/.f64 (.f64 2 (.f64 (pow.f64 y 2) (*.f64 x 4))) 8)
(*.f64 x (pow.f64 y 2))
(/.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 4)))) 16)
(*.f64 x (pow.f64 y 2))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (*.f64 x 4))))) 32)
(*.f64 x (pow.f64 y 2))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 4)))))) 64)
(*.f64 x (pow.f64 y 2))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 4)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 4))))))) 128)
(*.f64 x (pow.f64 y 2))
(pow.f64 (*.f64 (pow.f64 y 2) x) 1)
(*.f64 x (pow.f64 y 2))
(-.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 0)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1/2))
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 1)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(.f64 1 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(.f64 (.f64 2 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))) 1/2)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(.f64 4 (/.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4))
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(.f64 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4) 1/4)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(.f64 1/2 (.f64 2 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))))
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(.f64 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1/2) 2)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(.f64 1/4 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4))
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(.f64 (/.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4) 4)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(/.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(/.f64 (.f64 2 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2))))) 2)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(/.f64 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4) 4)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(/.f64 (.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4)) 8)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4))) 16)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 4)))) 32)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4))))) 64)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (.f64 x -1/2)))) 4)))))) 128)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(pow.f64 (+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2)))) 1)
(+.f64 x (+.f64 (.f64 y z) (.f64 x (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 x (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) (*.f64 x -1/2))))
(+.f64 x (+.f64 (.f64 y z) (.f64 -1/2 (*.f64 x (pow.f64 y 2)))))
(+.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) 0)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(+.f64 0 (.f64 (pow.f64 y 2) (.f64 x -1/2)))
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(+.f64 -1 (-.f64 1 (.f64 (pow.f64 y 2) (.f64 x 1/2))))
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(+.f64 (.f64 (pow.f64 y 2) (.f64 x -1/4)) (.f64 (pow.f64 y 2) (.f64 x -1/4)))
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(-.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) 0)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(-.f64 0 (.f64 (pow.f64 y 2) (.f64 x 1/2)))
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(/.f64 (*.f64 (pow.f64 y 2) x) -2)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(/.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) 1)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(/.f64 (*.f64 (pow.f64 y 2) (neg.f64 x)) 2)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(/.f64 (*.f64 (pow.f64 y 2) (+.f64 x x)) -4)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(/.f64 (.f64 (.f64 (pow.f64 y 2) x) -2) 4)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(/.f64 (.f64 (pow.f64 y 2) (.f64 x 4)) -8)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(/.f64 (.f64 2 (.f64 (*.f64 (pow.f64 y 2) x) -2)) 8)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(/.f64 (.f64 (pow.f64 y 2) (.f64 x 1/2)) -1)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 y 2) x) -2))) 16)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 (pow.f64 y 2) x) -2)))) 32)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 y 2) x) -2))))) 64)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 y 2) x) -2))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 y 2) x) -2)))))) 128)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(pow.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) 1)
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))
(neg.f64 (.f64 (pow.f64 y 2) (.f64 x 1/2)))
(.f64 x (.f64 -1/2 (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x -1/2))
(.f64 -1/2 (.f64 x (pow.f64 y 2)))

eval62.0ms (0.7%)

Compiler: Compiled 3764 to 2162 computations (42.6% saved)

prune42.0ms (0.5%)

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	263	4	267
Fresh	1	0	1
Picked	1	0	1
Done	0	5	5
Total	265	9	274

Error

0.1b

Counts

274 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	53.3b	(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))
✓	30.4b	(+.f64 (*.f64 y z) x)
✓	0.1b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
✓	22.4b	(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))
✓	14.4b	(+.f64 x (*.f64 z (sin.f64 y)))
▶	25.4b	(*.f64 (cos.f64 y) x)
✓	37.5b	(*.f64 z (sin.f64 y))
▶	52.8b	(*.f64 y z)
	39.2b	x

Compiler

Compiled 78 to 53 computations (32.1% saved)

localize3.0ms (0%)

Compiler: Compiled 8 to 4 computations (50% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (cos.f64 y) x)

Compiler

Compiled 11 to 5 computations (54.5% saved)

series0.0ms (0%)

Counts

1 → 4

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(*.f64 (cos.f64 y) x)
0.0ms	x	@	inf	(*.f64 (cos.f64 y) x)
0.0ms	x	@	-inf	(*.f64 (cos.f64 y) x)
0.0ms	y	@	-inf	(*.f64 (cos.f64 y) x)
0.0ms	y	@	inf	(*.f64 (cos.f64 y) x)

rewrite117.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1604×	`rational.json-simplify-35`
1330×	`exponential.json-3`
1330×	`rational.json-1`
1330×	`rational.json-2`
1330×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	47	11
2	113	11
3	247	11
4	482	11
5	1096	11
6	2237	11
7	3642	11
8	4826	11
9	6743	11

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(*.f64 (cos.f64 y) x)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (cos.f64 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 y) (*.f64 x 1/2)) (*.f64 (cos.f64 y) (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (cos.f64 y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 y) (+.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 y) (*.f64 x 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 y) (*.f64 x 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (cos.f64 y) (*.f64 x 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (cos.f64 y) (*.f64 x 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (cos.f64 y) (*.f64 x 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (cos.f64 y) (*.f64 x 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (cos.f64 y) (*.f64 x 8)))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (cos.f64 y) (*.f64 x 8))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 y) x) 1)))))

simplify381.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

1806×	`rational.json-simplify-35`
1770×	`rational.json-simplify-2`
1544×	`rational.json-simplify-53`
1296×	`rational.json-simplify-1`
1166×	`rational.json-simplify-42`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	302
1	151	302
2	296	302
3	601	290
4	1954	290
5	3757	290
6	4313	290
7	4489	290
8	4642	290
9	4812	290
10	4998	290
11	6272	290
12	7303	290
13	7727	290
14	7773	290
15	7778	290
16	7782	290

Stop Event

1×	node limit

Counts

18 → 30

Calls

Call 1

Inputs
x
(+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)
(+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)))
(+.f64 (*.f64 (cos.f64 y) x) 0)
(+.f64 0 (*.f64 (cos.f64 y) x))
(+.f64 (.f64 (cos.f64 y) (.f64 x 1/2)) (.f64 (cos.f64 y) (.f64 x 1/2)))
(-.f64 (*.f64 (cos.f64 y) x) 0)
(/.f64 (*.f64 (cos.f64 y) x) 1)
(/.f64 (*.f64 (cos.f64 y) (+.f64 x x)) 2)
(/.f64 (.f64 (cos.f64 y) (.f64 x 4)) 4)
(/.f64 (.f64 (cos.f64 y) (.f64 x 8)) 8)
(/.f64 (.f64 2 (.f64 (cos.f64 y) (*.f64 x 8))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (cos.f64 y) (.f64 x 8)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (cos.f64 y) (*.f64 x 8))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (cos.f64 y) (.f64 x 8)))))) 128)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (cos.f64 y) (.f64 x 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (cos.f64 y) (.f64 x 8))))))) 256)
(pow.f64 (*.f64 (cos.f64 y) x) 1)

Outputs
x
(+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)
(+.f64 x (.f64 -1/2 (.f64 x (pow.f64 y 2))))
(+.f64 x (.f64 (pow.f64 y 2) (.f64 x -1/2)))
(+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x))
(+.f64 (.f64 -1/2 (.f64 x (pow.f64 y 2))) (+.f64 x (.f64 1/24 (.f64 x (pow.f64 y 4)))))
(+.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) (+.f64 x (.f64 x (.f64 (pow.f64 y 4) 1/24))))
(+.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) (+.f64 x (.f64 (pow.f64 y 4) (.f64 x 1/24))))
(+.f64 x (.f64 x (+.f64 (.f64 1/24 (pow.f64 y 4)) (*.f64 -1/2 (pow.f64 y 2)))))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)))
(+.f64 (.f64 1/24 (.f64 x (pow.f64 y 4))) (+.f64 (+.f64 x (.f64 -1/2 (.f64 x (pow.f64 y 2)))) (.f64 -1/720 (.f64 x (pow.f64 y 6)))))
(+.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) (+.f64 (+.f64 x (.f64 x (.f64 (pow.f64 y 4) 1/24))) (.f64 x (.f64 (pow.f64 y 6) -1/720))))
(+.f64 (.f64 (pow.f64 y 2) (.f64 x -1/2)) (+.f64 (.f64 x (.f64 -1/720 (pow.f64 y 6))) (+.f64 x (.f64 (pow.f64 y 4) (.f64 x 1/24)))))
(+.f64 x (+.f64 (.f64 x (.f64 -1/720 (pow.f64 y 6))) (.f64 x (+.f64 (.f64 1/24 (pow.f64 y 4)) (*.f64 -1/2 (pow.f64 y 2))))))
(+.f64 (+.f64 x (.f64 (pow.f64 y 2) (.f64 x -1/2))) (.f64 x (+.f64 (.f64 -1/720 (pow.f64 y 6)) (*.f64 1/24 (pow.f64 y 4)))))
(+.f64 (*.f64 (cos.f64 y) x) 0)
(*.f64 x (cos.f64 y))
(+.f64 0 (*.f64 (cos.f64 y) x))
(*.f64 x (cos.f64 y))
(+.f64 (.f64 (cos.f64 y) (.f64 x 1/2)) (.f64 (cos.f64 y) (.f64 x 1/2)))
(*.f64 x (cos.f64 y))
(-.f64 (*.f64 (cos.f64 y) x) 0)
(*.f64 x (cos.f64 y))
(/.f64 (*.f64 (cos.f64 y) x) 1)
(*.f64 x (cos.f64 y))
(/.f64 (*.f64 (cos.f64 y) (+.f64 x x)) 2)
(*.f64 x (cos.f64 y))
(/.f64 (.f64 (cos.f64 y) (.f64 x 4)) 4)
(*.f64 x (cos.f64 y))
(/.f64 (.f64 (cos.f64 y) (.f64 x 8)) 8)
(*.f64 x (cos.f64 y))
(/.f64 (.f64 2 (.f64 (cos.f64 y) (*.f64 x 8))) 16)
(*.f64 x (cos.f64 y))
(/.f64 (.f64 2 (.f64 2 (.f64 (cos.f64 y) (.f64 x 8)))) 32)
(*.f64 x (cos.f64 y))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (cos.f64 y) (*.f64 x 8))))) 64)
(*.f64 x (cos.f64 y))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (cos.f64 y) (.f64 x 8)))))) 128)
(*.f64 x (cos.f64 y))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (cos.f64 y) (.f64 x 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (cos.f64 y) (.f64 x 8))))))) 256)
(*.f64 x (cos.f64 y))
(pow.f64 (*.f64 (cos.f64 y) x) 1)
(*.f64 x (cos.f64 y))

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 z -1/6)
✓	4.6b	(.f64 (pow.f64 y 3) (.f64 z -1/6))
✓	5.7b	(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))

Compiler

Compiled 34 to 21 computations (38.2% saved)

series4.0ms (0.1%)

Counts

3 → 60

Calls

15 calls:

Time	Variable		Point	Expression
1.0ms	z	@	0	(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))
1.0ms	z	@	inf	(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))
0.0ms	y	@	0	(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))
0.0ms	z	@	-inf	(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))
0.0ms	y	@	inf	(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))

rewrite115.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1654×	`rational.json-1`
1654×	`rational.json-2`
1654×	`rational.json-3`
1634×	`rational.json-4`
1364×	`rational.json-simplify-35`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	57
1	74	51
2	156	51
3	326	51
4	613	51
5	1466	51
6	3311	51
7	5574	51
8	7294	51

Stop Event

1×	node limit

Counts

3 → 58

Calls

Call 1

Inputs
(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(*.f64 z -1/6)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 z (+.f64 (*.f64 y 1/2) (*.f64 (pow.f64 y 3) -1/12))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)) 1/2) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 z (*.f64 2 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 z z) (*.f64 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 z z) (+.f64 (*.f64 y 1/2) (*.f64 (pow.f64 y 3) -1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)) z)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 (*.f64 y 1/2) (*.f64 (pow.f64 y 3) -1/12)) (*.f64 z 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) (*.f64 z 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 z (*.f64 2 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 z 1/2) (*.f64 2 (+.f64 y (*.f64 (pow.f64 y 3) -1/6))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 z 1/2) (+.f64 (+.f64 y y) (*.f64 (pow.f64 y 3) -1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 z (+.f64 (*.f64 y 1/2) (*.f64 (pow.f64 y 3) -1/12))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)) 1/2) (+.f64 z z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 y 1/2) (*.f64 (pow.f64 y 3) -1/12)) (+.f64 z z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 y y) (*.f64 (pow.f64 y 3) -1/3)) (*.f64 z 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (*.f64 2 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 8)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (*.f64 (pow.f64 y 3) -1/6)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 z (*.f64 (pow.f64 y 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (*.f64 (pow.f64 y 3) -1/12)) (*.f64 z (*.f64 (pow.f64 y 3) -1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 z (*.f64 (pow.f64 y 3) -1/6)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (*.f64 (pow.f64 y 3) -1/6)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z (pow.f64 y 3)) -1/3) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (*.f64 -2/3 (pow.f64 y 3))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -4/3 (*.f64 z (pow.f64 y 3))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 -4/3 (*.f64 z (pow.f64 y 3)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 -4/3 (*.f64 z (pow.f64 y 3))))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 -4/3 (*.f64 z (pow.f64 y 3)))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 -4/3 (*.f64 z (pow.f64 y 3)))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 -4/3 (*.f64 z (pow.f64 y 3))))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 z (*.f64 (pow.f64 y 3) -1/6)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z -1/6) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 z -1/6))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z -1/12) (*.f64 z -1/12))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 z -1/6) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z -1/6) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z -1/3) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z -2/3) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z -1/6) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 z -1/6) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 z -1/6) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 z -1/6) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 z -1/6) 8)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 z -1/6) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 z -1/6) 1)))))

simplify162.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

2094×	`rational.json-simplify-2`
2026×	`rational.json-simplify-35`
1970×	`rational.json-simplify-51`
1010×	`rational.json-simplify-43`
880×	`rational.json-simplify-53`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	139	2620
1	315	2340
2	751	2340
3	2546	2340
4	4116	2340
5	4957	2340
6	5442	2340
7	5857	2340
8	5957	2340

Stop Event

1×	node limit

Counts

118 → 74

Calls

Call 1

Inputs
(*.f64 y z)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (*.f64 y z))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (*.f64 y z))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (*.f64 y z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 (pow.f64 y 3) z)))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 (pow.f64 y 3) z)))
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(.f64 -1 (.f64 (+.f64 (.f64 -1 y) (.f64 1/6 (pow.f64 y 3))) z))
(.f64 -1 (.f64 (+.f64 (.f64 -1 y) (.f64 1/6 (pow.f64 y 3))) z))
(.f64 -1 (.f64 (+.f64 (.f64 -1 y) (.f64 1/6 (pow.f64 y 3))) z))
(.f64 -1 (.f64 (+.f64 (.f64 -1 y) (.f64 1/6 (pow.f64 y 3))) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(*.f64 -1/6 z)
(*.f64 -1/6 z)
(*.f64 -1/6 z)
(*.f64 -1/6 z)
(*.f64 -1/6 z)
(*.f64 -1/6 z)
(*.f64 -1/6 z)
(*.f64 -1/6 z)
(*.f64 -1/6 z)
(*.f64 -1/6 z)
(*.f64 -1/6 z)
(*.f64 -1/6 z)
(-.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 0)
(.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6)))
(.f64 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 1)
(.f64 1 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))))
(.f64 2 (.f64 z (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12))))
(.f64 2 (.f64 (.f64 (+.f64 y (.f64 (pow.f64 y 3) -1/6)) 1/2) z))
(.f64 (.f64 z (.f64 2 (+.f64 y (.f64 (pow.f64 y 3) -1/6)))) 1/2)
(.f64 (+.f64 z z) (.f64 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)) 1/2))
(.f64 (+.f64 z z) (+.f64 (.f64 y 1/2) (*.f64 (pow.f64 y 3) -1/12)))
(.f64 (+.f64 y (.f64 (pow.f64 y 3) -1/6)) z)
(.f64 4 (/.f64 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 4))
(.f64 4 (.f64 (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12)) (*.f64 z 1/2)))
(.f64 (.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 4) 1/4)
(.f64 (.f64 2 (+.f64 y (.f64 (pow.f64 y 3) -1/6))) (.f64 z 1/2))
(.f64 1/2 (.f64 z (.f64 2 (+.f64 y (.f64 (pow.f64 y 3) -1/6)))))
(.f64 (.f64 z 1/2) (.f64 2 (+.f64 y (.f64 (pow.f64 y 3) -1/6))))
(.f64 (.f64 z 1/2) (+.f64 (+.f64 y y) (*.f64 (pow.f64 y 3) -1/3)))
(.f64 (.f64 z (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12))) 2)
(.f64 (.f64 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)) 1/2) (+.f64 z z))
(.f64 1/4 (.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 4))
(.f64 (+.f64 (.f64 y 1/2) (*.f64 (pow.f64 y 3) -1/12)) (+.f64 z z))
(.f64 (/.f64 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 4) 4)
(.f64 (+.f64 (+.f64 y y) (.f64 (pow.f64 y 3) -1/3)) (*.f64 z 1/2))
(/.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 1)
(/.f64 (.f64 z (.f64 2 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)))) 2)
(/.f64 (.f64 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 4) 4)
(/.f64 (.f64 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 8) 8)
(/.f64 (.f64 2 (.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 8)))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 8))))) 128)
(pow.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 1)
(+.f64 (.f64 z (.f64 (pow.f64 y 3) -1/6)) 0)
(+.f64 0 (.f64 z (.f64 (pow.f64 y 3) -1/6)))
(+.f64 (.f64 z (.f64 (pow.f64 y 3) -1/12)) (.f64 z (.f64 (pow.f64 y 3) -1/12)))
(-.f64 (.f64 z (.f64 (pow.f64 y 3) -1/6)) 0)
(/.f64 (.f64 z (.f64 (pow.f64 y 3) -1/6)) 1)
(/.f64 (.f64 (.f64 z (pow.f64 y 3)) -1/3) 2)
(/.f64 (.f64 z (.f64 -2/3 (pow.f64 y 3))) 4)
(/.f64 (.f64 -4/3 (.f64 z (pow.f64 y 3))) 8)
(/.f64 (.f64 2 (.f64 -4/3 (*.f64 z (pow.f64 y 3)))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 -4/3 (.f64 z (pow.f64 y 3))))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 -4/3 (*.f64 z (pow.f64 y 3)))))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 -4/3 (.f64 z (pow.f64 y 3)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 -4/3 (.f64 z (pow.f64 y 3))))))) 128)
(pow.f64 (.f64 z (.f64 (pow.f64 y 3) -1/6)) 1)
(+.f64 (*.f64 z -1/6) 0)
(+.f64 0 (*.f64 z -1/6))
(+.f64 (.f64 z -1/12) (.f64 z -1/12))
(-.f64 (*.f64 z -1/6) 0)
(/.f64 (*.f64 z -1/6) 1)
(/.f64 (*.f64 z -1/3) 2)
(/.f64 (*.f64 z -2/3) 4)
(/.f64 (.f64 (.f64 z -1/6) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 z -1/6) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 z -1/6) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 z -1/6) 8)))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 z -1/6) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 z -1/6) 8))))) 128)
(pow.f64 (*.f64 z -1/6) 1)

Outputs
(*.f64 y z)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (*.f64 y z))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (*.f64 y z))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (*.f64 y z))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (+.f64 (.f64 -1/6 (pow.f64 y 3)) y) z)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 -1 (.f64 (+.f64 (.f64 -1 y) (.f64 1/6 (pow.f64 y 3))) z))
(.f64 (+.f64 (.f64 y -1) (.f64 (pow.f64 y 3) 1/6)) (.f64 z -1))
(.f64 (+.f64 (neg.f64 y) (.f64 (pow.f64 y 3) 1/6)) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 (.f64 -1 y) (.f64 1/6 (pow.f64 y 3))) z))
(.f64 (+.f64 (.f64 y -1) (.f64 (pow.f64 y 3) 1/6)) (.f64 z -1))
(.f64 (+.f64 (neg.f64 y) (.f64 (pow.f64 y 3) 1/6)) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 (.f64 -1 y) (.f64 1/6 (pow.f64 y 3))) z))
(.f64 (+.f64 (.f64 y -1) (.f64 (pow.f64 y 3) 1/6)) (.f64 z -1))
(.f64 (+.f64 (neg.f64 y) (.f64 (pow.f64 y 3) 1/6)) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 (.f64 -1 y) (.f64 1/6 (pow.f64 y 3))) z))
(.f64 (+.f64 (.f64 y -1) (.f64 (pow.f64 y 3) 1/6)) (.f64 z -1))
(.f64 (+.f64 (neg.f64 y) (.f64 (pow.f64 y 3) 1/6)) (neg.f64 z))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(.f64 -1/6 (.f64 (pow.f64 y 3) z))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(*.f64 -1/6 z)
(*.f64 z -1/6)
(*.f64 -1/6 z)
(*.f64 z -1/6)
(*.f64 -1/6 z)
(*.f64 z -1/6)
(*.f64 -1/6 z)
(*.f64 z -1/6)
(*.f64 -1/6 z)
(*.f64 z -1/6)
(*.f64 -1/6 z)
(*.f64 z -1/6)
(*.f64 -1/6 z)
(*.f64 z -1/6)
(*.f64 -1/6 z)
(*.f64 z -1/6)
(*.f64 -1/6 z)
(*.f64 z -1/6)
(*.f64 -1/6 z)
(*.f64 z -1/6)
(*.f64 -1/6 z)
(*.f64 z -1/6)
(*.f64 -1/6 z)
(*.f64 z -1/6)
(-.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 0)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6)))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 1)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 1 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 2 (.f64 z (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12))))
(.f64 z (.f64 (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12)) 2))
(.f64 z (.f64 2 (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12))))
(.f64 2 (.f64 (.f64 (+.f64 y (.f64 (pow.f64 y 3) -1/6)) 1/2) z))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (.f64 z (.f64 2 (+.f64 y (.f64 (pow.f64 y 3) -1/6)))) 1/2)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (+.f64 z z) (.f64 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)) 1/2))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (+.f64 z z) (+.f64 (.f64 y 1/2) (*.f64 (pow.f64 y 3) -1/12)))
(.f64 z (.f64 (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12)) 2))
(.f64 z (.f64 2 (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12))))
(.f64 (+.f64 y (.f64 (pow.f64 y 3) -1/6)) z)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 4 (/.f64 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 4))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 4 (.f64 (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12)) (*.f64 z 1/2)))
(.f64 z (.f64 (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12)) 2))
(.f64 z (.f64 2 (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12))))
(.f64 (.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 4) 1/4)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (.f64 2 (+.f64 y (.f64 (pow.f64 y 3) -1/6))) (.f64 z 1/2))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 1/2 (.f64 z (.f64 2 (+.f64 y (.f64 (pow.f64 y 3) -1/6)))))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (.f64 z 1/2) (.f64 2 (+.f64 y (.f64 (pow.f64 y 3) -1/6))))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (.f64 z 1/2) (+.f64 (+.f64 y y) (*.f64 (pow.f64 y 3) -1/3)))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (.f64 z (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12))) 2)
(.f64 z (.f64 (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12)) 2))
(.f64 z (.f64 2 (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12))))
(.f64 (.f64 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)) 1/2) (+.f64 z z))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 1/4 (.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 4))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (+.f64 (.f64 y 1/2) (*.f64 (pow.f64 y 3) -1/12)) (+.f64 z z))
(.f64 z (.f64 (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12)) 2))
(.f64 z (.f64 2 (+.f64 (.f64 y 1/2) (.f64 (pow.f64 y 3) -1/12))))
(.f64 (/.f64 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 4) 4)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(.f64 (+.f64 (+.f64 y y) (.f64 (pow.f64 y 3) -1/3)) (*.f64 z 1/2))
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(/.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 1)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(/.f64 (.f64 z (.f64 2 (+.f64 y (*.f64 (pow.f64 y 3) -1/6)))) 2)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(/.f64 (.f64 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 4) 4)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(/.f64 (.f64 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 8) 8)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(/.f64 (.f64 2 (.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 8)) 16)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 z (+.f64 y (*.f64 (pow.f64 y 3) -1/6))) 8))) 32)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 8)))) 64)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 8))))) 128)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(pow.f64 (.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6))) 1)
(+.f64 (.f64 y z) (.f64 z (*.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(+.f64 (.f64 z (.f64 (pow.f64 y 3) -1/6)) 0)
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(+.f64 0 (.f64 z (.f64 (pow.f64 y 3) -1/6)))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(+.f64 (.f64 z (.f64 (pow.f64 y 3) -1/12)) (.f64 z (.f64 (pow.f64 y 3) -1/12)))
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(-.f64 (.f64 z (.f64 (pow.f64 y 3) -1/6)) 0)
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(/.f64 (.f64 z (.f64 (pow.f64 y 3) -1/6)) 1)
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(/.f64 (.f64 (.f64 z (pow.f64 y 3)) -1/3) 2)
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(/.f64 (.f64 z (.f64 -2/3 (pow.f64 y 3))) 4)
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(/.f64 (.f64 -4/3 (.f64 z (pow.f64 y 3))) 8)
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(/.f64 (.f64 2 (.f64 -4/3 (*.f64 z (pow.f64 y 3)))) 16)
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(/.f64 (.f64 2 (.f64 2 (.f64 -4/3 (.f64 z (pow.f64 y 3))))) 32)
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 -4/3 (*.f64 z (pow.f64 y 3)))))) 64)
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 -4/3 (.f64 z (pow.f64 y 3)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 -4/3 (.f64 z (pow.f64 y 3))))))) 128)
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(pow.f64 (.f64 z (.f64 (pow.f64 y 3) -1/6)) 1)
(.f64 z (.f64 -1/6 (pow.f64 y 3)))
(.f64 (pow.f64 y 3) (.f64 z -1/6))
(+.f64 (*.f64 z -1/6) 0)
(*.f64 z -1/6)
(+.f64 0 (*.f64 z -1/6))
(*.f64 z -1/6)
(+.f64 (.f64 z -1/12) (.f64 z -1/12))
(*.f64 z -1/6)
(-.f64 (*.f64 z -1/6) 0)
(*.f64 z -1/6)
(/.f64 (*.f64 z -1/6) 1)
(*.f64 z -1/6)
(/.f64 (*.f64 z -1/3) 2)
(*.f64 z -1/6)
(/.f64 (*.f64 z -2/3) 4)
(*.f64 z -1/6)
(/.f64 (.f64 (.f64 z -1/6) 8) 8)
(*.f64 z -1/6)
(/.f64 (.f64 2 (.f64 (*.f64 z -1/6) 8)) 16)
(*.f64 z -1/6)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 z -1/6) 8))) 32)
(*.f64 z -1/6)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 z -1/6) 8)))) 64)
(*.f64 z -1/6)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 z -1/6) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 z -1/6) 8))))) 128)
(*.f64 z -1/6)
(pow.f64 (*.f64 z -1/6) 1)
(*.f64 z -1/6)

eval29.0ms (0.4%)

Compiler: Compiled 1428 to 1000 computations (30% saved)

prune17.0ms (0.2%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	1	1
Picked	0	1	1
Done	0	7	7
Total	104	9	113

Error

0.1b

Counts

113 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	53.3b	(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))
✓	30.4b	(+.f64 (*.f64 y z) x)
✓	0.1b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
✓	22.4b	(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))
✓	14.4b	(+.f64 x (*.f64 z (sin.f64 y)))
✓	25.4b	(*.f64 (cos.f64 y) x)
✓	37.5b	(*.f64 z (sin.f64 y))
✓	52.8b	(*.f64 y z)
	39.2b	x

Compiler

Compiled 78 to 53 computations (32.1% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune3.0ms (0%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	8	8
Total	9	9

Error

0.1b

Counts

9 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	53.3b	(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))
✓	30.4b	(+.f64 (*.f64 y z) x)
✓	0.1b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
✓	22.4b	(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))
✓	14.4b	(+.f64 x (*.f64 z (sin.f64 y)))
✓	25.4b	(*.f64 (cos.f64 y) x)
✓	37.5b	(*.f64 z (sin.f64 y))
✓	52.8b	(*.f64 y z)
	39.2b	x

Compiler

Compiled 78 to 53 computations (32.1% saved)

regimes30.0ms (0.4%)

Counts

11 → 1

Calls

Call 1

Inputs
x
(*.f64 y z)
(+.f64 (*.f64 y z) x)
(*.f64 z (sin.f64 y))
(*.f64 (cos.f64 y) x)
(+.f64 x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))
(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
(+.f64 (.f64 x (cos.f64 y)) (+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (.f64 z -1/6))))

Outputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

Calls

4 calls:

7.0ms	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
7.0ms	y
6.0ms	z
6.0ms	x

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`y`
0.1b	1	`z`
0.1b	1	`(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))`

Compiler

Compiled 107 to 50 computations (53.3% saved)

regimes60.0ms (0.7%)

Counts

9 → 3

Calls

Call 1

Inputs
x
(*.f64 y z)
(+.f64 (*.f64 y z) x)
(*.f64 z (sin.f64 y))
(*.f64 (cos.f64 y) x)
(+.f64 x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 x (cos.f64 y)) (.f64 y z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 3) (*.f64 z -1/6)))
(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))

Outputs
(*.f64 (cos.f64 y) x)
(+.f64 x (*.f64 z (sin.f64 y)))
(*.f64 (cos.f64 y) x)

Calls

3 calls:

21.0ms	y
21.0ms	x
16.0ms	z

Results

Error	Segments	Branch
6.9b	3	`x`
11.3b	4	`y`
8.2b	3	`z`

Compiler

Compiled 70 to 34 computations (51.4% saved)

bsearch59.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
27.0ms	8.478496100007928e+70	3.4829408182109826e+72
32.0ms	-1.2102920610788774e+58	-1.793936314357886e+55

Results

26.0ms	162×	body	256	valid
24.0ms	55×	body	1024	valid
7.0ms	23×	body	512	valid

Compiler

Compiled 288 to 208 computations (27.8% saved)

regimes69.0ms (0.8%)

Counts

5 → 5

Calls

Call 1

Inputs
x
(*.f64 y z)
(+.f64 (*.f64 y z) x)
(*.f64 z (sin.f64 y))
(*.f64 (cos.f64 y) x)

Outputs
(*.f64 (cos.f64 y) x)
(*.f64 z (sin.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 z (sin.f64 y))
(*.f64 (cos.f64 y) x)

Calls

3 calls:

31.0ms	z
21.0ms	x
16.0ms	y

Results

Error	Segments	Branch
13.3b	5	`x`
13.6b	4	`y`
14.3b	7	`z`

Compiler

Compiled 32 to 18 computations (43.8% saved)

bsearch135.0ms (1.6%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
16.0ms	1.976570577158719e-47	3.789679070202936e-47
39.0ms	-3.8552837519229005e-164	-4.975375740072496e-174
41.0ms	-6.109039838387108e-136	-4.250482026497548e-150
39.0ms	-6.007478642736262e+29	-488059385797.23065

Results

58.0ms	371×	body	256	valid
56.0ms	127×	body	1024	valid
14.0ms	46×	body	512	valid

Compiler

Compiled 562 to 421 computations (25.1% saved)

regimes56.0ms (0.7%)

Counts

4 → 3

Calls

Call 1

Inputs
x
(*.f64 y z)
(+.f64 (*.f64 y z) x)
(*.f64 z (sin.f64 y))

Outputs
(*.f64 z (sin.f64 y))
(+.f64 (*.f64 y z) x)
(*.f64 z (sin.f64 y))

Calls

3 calls:

30.0ms	z
14.0ms	x
11.0ms	y

Results

Error	Segments	Branch
23.5b	3	`x`
15.8b	3	`y`
23.0b	7	`z`

Compiler

Compiled 28 to 16 computations (42.9% saved)

bsearch39.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
19.0ms	1.969592726353809e-11	1.8181478503177607e-9
20.0ms	-1.8378045173420437e-6	-2.2976810138158545e-8

Results

36.0ms

224×

body

256

valid

Compiler

Compiled 256 to 181 computations (29.3% saved)

regimes12.0ms (0.1%)

Counts

3 → 1

Calls

Call 1

Inputs
x
(*.f64 y z)
(+.f64 (*.f64 y z) x)

Outputs
(+.f64 (*.f64 y z) x)

Calls

3 calls:

4.0ms	x
3.0ms	z
3.0ms	y

Results

Error	Segments	Branch
30.4b	1	`x`
30.4b	1	`y`
30.4b	1	`z`

Compiler

Compiled 24 to 14 computations (41.7% saved)

regimes34.0ms (0.4%)

Accuracy

Total -26.3b remaining (-73.3%)

Threshold costs -26.3b (-73.3%)

Counts

2 → 4

Calls

Call 1

Inputs
x
(*.f64 y z)

Outputs
(*.f64 y z)
x
(*.f64 y z)
x

Calls

3 calls:

14.0ms	x
12.0ms	z
8.0ms	y

Results

Error	Segments	Branch
36.4b	5	`x`
37.9b	3	`y`
35.9b	4	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch99.0ms (1.2%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
38.0ms	1.6737048060993788e+259	1.0220975247887561e+268
33.0ms	2.1980936879836637e+99	9.631666167265475e+101
28.0ms	-9.56363986477895e+176	-1.1818280691353857e+175

Results

41.0ms	94×	body	1024	valid
37.0ms	236×	body	256	valid
16.0ms	54×	body	512	valid

Compiler

Compiled 306 to 229 computations (25.2% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	285

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
(if (<=.f64 x -35000000000000001038792079556176217163814573337173032960) (.f64 (cos.f64 y) x) (if (<=.f64 x 89999999999999998865351570008186869562518561116641057902943303075102720) (+.f64 x (.f64 z (sin.f64 y))) (*.f64 (cos.f64 y) x)))
(if (<=.f64 x -500000000000) (.f64 (cos.f64 y) x) (if (<=.f64 x -4054061198538765/921377545122446619199598286374089084696513969828232526459034741270904336521520715841339532514076847544303802497745079321233052888165232576308943909041185557531590656) (.f64 z (sin.f64 y)) (if (<=.f64 x -599734672064831/16209045190941378744189093217543598246142368094697019140608036444104112544581672446873855659949624196438272994575393707743731058888327247296433104820757670652582741419537146576896) (.f64 (cos.f64 y) x) (if (<=.f64 x 1799770609570069/51422017416287688817342786954917203280710495801049370729644032) (.f64 z (sin.f64 y)) (*.f64 (cos.f64 y) x)))))
(if (<=.f64 y -8500259669165361/4722366482869645213696) (.f64 z (sin.f64 y)) (if (<=.f64 y 4352132950612665/2417851639229258349412352) (+.f64 (.f64 y z) x) (*.f64 z (sin.f64 y))))
(+.f64 (*.f64 y z) x)
(if (<=.f64 z -55000000000000001815604488408836463657603005273942793876560689241544139729716005255703837160404847687165822550619048404955183433779817251072564450603361788855470633375187861504) (.f64 y z) (if (<=.f64 z 24499999999999998349818495352102467682048978816971087430437071511735707677414403373143501999880273920) x (if (<=.f64 z 224999999999999999751381375881043384706198462987603042027933167631238347793789988218372792077876286897465415880099844653659212375205152076608500842759230819319832796341261598194233702253445519527781243299992931193533366888602805221869455399892478509092038822009503744) (.f64 y z) x)))
x

Outputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
(if (<=.f64 x -35000000000000001038792079556176217163814573337173032960) (.f64 (cos.f64 y) x) (if (<=.f64 x 89999999999999998865351570008186869562518561116641057902943303075102720) (+.f64 x (.f64 z (sin.f64 y))) (*.f64 (cos.f64 y) x)))
(if (<=.f64 x -500000000000) (.f64 (cos.f64 y) x) (if (<=.f64 x -4054061198538765/921377545122446619199598286374089084696513969828232526459034741270904336521520715841339532514076847544303802497745079321233052888165232576308943909041185557531590656) (.f64 z (sin.f64 y)) (if (<=.f64 x -599734672064831/16209045190941378744189093217543598246142368094697019140608036444104112544581672446873855659949624196438272994575393707743731058888327247296433104820757670652582741419537146576896) (.f64 (cos.f64 y) x) (if (<=.f64 x 1799770609570069/51422017416287688817342786954917203280710495801049370729644032) (.f64 z (sin.f64 y)) (*.f64 (cos.f64 y) x)))))
(if (<=.f64 y -8500259669165361/4722366482869645213696) (.f64 z (sin.f64 y)) (if (<=.f64 y 4352132950612665/2417851639229258349412352) (+.f64 (.f64 y z) x) (*.f64 z (sin.f64 y))))
(+.f64 (*.f64 y z) x)
(if (<=.f64 z -55000000000000001815604488408836463657603005273942793876560689241544139729716005255703837160404847687165822550619048404955183433779817251072564450603361788855470633375187861504) (.f64 y z) (if (<=.f64 z 24499999999999998349818495352102467682048978816971087430437071511735707677414403373143501999880273920) x (if (<=.f64 z 224999999999999999751381375881043384706198462987603042027933167631238347793789988218372792077876286897465415880099844653659212375205152076608500842759230819319832796341261598194233702253445519527781243299992931193533366888602805221869455399892478509092038822009503744) (.f64 y z) x)))
x

Compiler

Compiled 135 to 75 computations (44.4% saved)

soundness0.0ms (0%)

end46.0ms (0.6%)

Compiler: Compiled 117 to 45 computations (61.5% saved)

Details

analyze360.0ms (4.3%)

sample3.5s (41.9%)

preprocess166.0ms (2%)

simplify183.0ms (2.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize11.0ms (0.1%)

series7.0ms (0.1%)

rewrite95.0ms (1.1%)

simplify237.0ms (2.8%)

eval21.0ms (0.2%)

prune17.0ms (0.2%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite85.0ms (1%)

simplify224.0ms (2.7%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite180.0ms (2.2%)

simplify758.0ms (9.1%)

localize5.0ms (0.1%)

localize9.0ms (0.1%)

series1.0ms (0%)

rewrite162.0ms (1.9%)

simplify308.0ms (3.7%)

localize19.0ms (0.2%)

series5.0ms (0.1%)

rewrite122.0ms (1.5%)

simplify254.0ms (3.1%)

eval62.0ms (0.7%)

prune42.0ms (0.5%)

localize3.0ms (0%)

localize5.0ms (0.1%)

series0.0ms (0%)

rewrite117.0ms (1.4%)

simplify381.0ms (4.6%)

localize14.0ms (0.2%)

series4.0ms (0.1%)

rewrite115.0ms (1.4%)

simplify162.0ms (1.9%)

eval29.0ms (0.4%)

prune17.0ms (0.2%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes30.0ms (0.4%)

regimes60.0ms (0.7%)

bsearch59.0ms (0.7%)

regimes69.0ms (0.8%)

bsearch135.0ms (1.6%)

regimes56.0ms (0.7%)

bsearch39.0ms (0.5%)

regimes12.0ms (0.1%)

regimes34.0ms (0.4%)

bsearch99.0ms (1.2%)

simplify5.0ms (0.1%)

soundness0.0ms (0%)

end46.0ms (0.6%)

Profiling