Details

analyze216.0ms (5.8%)

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
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
28.1%	28.1%	71.8%	0.1%	0%	0%	0%	9
37.6%	34.3%	56.9%	0.1%	8.6%	0%	0%	10
44.8%	40.6%	49.9%	0.1%	9.4%	0%	0%	11
53.4%	48%	41.9%	0.1%	9.9%	0%	0%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample1.2s (31.7%)

Results

1.1s	8254×	body	256	valid
106.0ms	1061×	body	256	infinite
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Bogosity

preprocess169.0ms (4.5%)

Algorithm

2×	egg-herbie

Rules

1773×	`fma-neg_binary64`
1050×	`fma-def_binary64`
360×	`unsub-neg_binary64`
348×	`distribute-rgt-in_binary64`
333×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	40
1	30	40
2	82	40
3	226	40
4	705	40
5	1931	40
6	3353	40
7	5221	40
8	5753	40
9	5861	40
10	5861	40
11	5972	40
12	5972	40
13	7115	40
14	7115	40
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
0
2

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify54.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

673×	`fma-neg_binary64`
459×	`fma-def_binary64`
156×	`cancel-sign-sub-inv_binary64`
136×	`distribute-rgt-in_binary64`
117×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	14	10
2	32	10
3	82	10
4	261	10
5	701	10
6	1215	10
7	1945	10
8	2505	10
9	2838	10
10	2873	10
11	2873	10

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 10 to 7 computations (30% 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.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 (+.f64 x y) (-.f64 1 z))

Compiler

Compiled 10 to 7 computations (30% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 20 to 10 computations (50% saved)

series4.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite56.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

974×	`pow1_binary64`
905×	`add-log-exp_binary64`
905×	`log1p-expm1-u_binary64`
905×	`expm1-log1p-u_binary64`
90×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	171	10
2	2363	10

Stop Event

1×	node limit

Counts

1 → 36

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x y) (.f64 (neg.f64 z) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x y) (.f64 (+.f64 x y) (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (-.f64 1 z)) (.f64 y (-.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (-.f64 1 z)) (.f64 x (-.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 1 z) x) (.f64 (-.f64 1 z) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 1 z) y) (.f64 (-.f64 1 z) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (+.f64 x y) (-.f64 1 z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (pow.f64 z 3))) (.f64 (fma.f64 x x (.f64 y (-.f64 y x))) (+.f64 1 (fma.f64 z z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 x x) (.f64 y y)) (-.f64 1 (pow.f64 z 3))) (.f64 (-.f64 x y) (+.f64 1 (fma.f64 z z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (.f64 z z))) (.f64 (fma.f64 x x (.f64 y (-.f64 y x))) (+.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 x x) (.f64 y y)) (-.f64 1 (.f64 z z))) (.f64 (-.f64 x y) (+.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (.f64 (+.f64 1 (fma.f64 z z z)) (fma.f64 x x (.f64 y (-.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 1 (.f64 z z)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (.f64 (+.f64 1 z) (fma.f64 x x (.f64 y (-.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 1 (pow.f64 z 3)) (-.f64 (.f64 x x) (.f64 y y))) (.f64 (+.f64 1 (fma.f64 z z z)) (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 1 (.f64 z z)) (-.f64 (.f64 x x) (.f64 y y))) (.f64 (+.f64 1 z) (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 z)) (fma.f64 x x (.f64 y (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 x x) (.f64 y y)) (-.f64 1 z)) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 x y)) (+.f64 1 (fma.f64 z z z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 1 (.f64 z z)) (+.f64 x y)) (+.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 1 (fma.f64 z z z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x y) (-.f64 1 (.f64 z z))) (+.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 1 z) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (.f64 y (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 1 z) (-.f64 (.f64 x x) (.f64 y y))) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (+.f64 x y) (-.f64 1 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (+.f64 x y) (-.f64 1 z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (+.f64 x y) (-.f64 1 z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (+.f64 x y) (-.f64 1 z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (+.f64 x y) (-.f64 1 z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (+.f64 x y)) (-.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (+.f64 x y) (-.f64 1 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (+.f64 x y) (-.f64 1 z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (-.f64 1 z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (+.f64 x y) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (+.f64 x y) (-.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (+.f64 x y) (-.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (+.f64 x y) (-.f64 1 z))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x y) (*.f64 (neg.f64 z) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x y) (*.f64 (+.f64 x y) (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (-.f64 1 z)) (*.f64 y (-.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (-.f64 1 z)) (*.f64 x (-.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 1 z) x) (*.f64 (-.f64 1 z) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 1 z) y) (*.f64 (-.f64 1 z) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x y) (-.f64 1 z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (pow.f64 z 3))) (*.f64 (fma.f64 x x (*.f64 y (-.f64 y x))) (+.f64 1 (fma.f64 z z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 (pow.f64 z 3))) (*.f64 (-.f64 x y) (+.f64 1 (fma.f64 z z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (*.f64 z z))) (*.f64 (fma.f64 x x (*.f64 y (-.f64 y x))) (+.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 (*.f64 z z))) (*.f64 (-.f64 x y) (+.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (+.f64 1 (fma.f64 z z z)) (fma.f64 x x (*.f64 y (-.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (*.f64 z z)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (+.f64 1 z) (fma.f64 x x (*.f64 y (-.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (pow.f64 z 3)) (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 1 (fma.f64 z z z)) (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (*.f64 z z)) (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 1 z) (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 z)) (fma.f64 x x (*.f64 y (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z)) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 x y)) (+.f64 1 (fma.f64 z z z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (*.f64 z z)) (+.f64 x y)) (+.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 1 (fma.f64 z z z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x y) (-.f64 1 (*.f64 z z))) (+.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 z) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (*.f64 y (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 z) (-.f64 (*.f64 x x) (*.f64 y y))) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) (-.f64 1 z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (+.f64 x y) (-.f64 1 z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (+.f64 x y)) (-.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x y) (-.f64 1 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (-.f64 1 z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (+.f64 x y) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (+.f64 x y) (-.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (+.f64 x y) (-.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (+.f64 x y) (-.f64 1 z))))))))

simplify50.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

623×	`distribute-rgt-in_binary64`
622×	`associate-l_binary64`
617×	`distribute-lft-in_binary64`
582×	`associate-r_binary64`
378×	`log-prod_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	119	1012
1	369	1012
2	1262	958
3	7415	958

Stop Event

1×	node limit

Counts

72 → 72

Calls

Call 1

Inputs
(*.f64 y (-.f64 1 z))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(*.f64 (-.f64 1 z) x)
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(*.f64 (-.f64 1 z) x)
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(*.f64 (-.f64 1 z) x)
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(*.f64 y (-.f64 1 z))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(*.f64 y (-.f64 1 z))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(+.f64 y x)
(+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) (+.f64 y x))
(+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) (+.f64 y x))
(+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) (+.f64 y x))
(.f64 -1 (.f64 (+.f64 y x) z))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(.f64 -1 (.f64 (+.f64 y x) z))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(+.f64 (+.f64 x y) (*.f64 (neg.f64 z) (+.f64 x y)))
(+.f64 (+.f64 x y) (*.f64 (+.f64 x y) (neg.f64 z)))
(+.f64 (.f64 x (-.f64 1 z)) (.f64 y (-.f64 1 z)))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 x (-.f64 1 z)))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 (-.f64 1 z) y))
(+.f64 (.f64 (-.f64 1 z) y) (.f64 (-.f64 1 z) x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x y) (-.f64 1 z)))) 1)
(/.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (pow.f64 z 3))) (.f64 (fma.f64 x x (*.f64 y (-.f64 y x))) (+.f64 1 (fma.f64 z z z))))
(/.f64 (.f64 (-.f64 (.f64 x x) (.f64 y y)) (-.f64 1 (pow.f64 z 3))) (.f64 (-.f64 x y) (+.f64 1 (fma.f64 z z z))))
(/.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (.f64 z z))) (.f64 (fma.f64 x x (.f64 y (-.f64 y x))) (+.f64 1 z)))
(/.f64 (.f64 (-.f64 (.f64 x x) (.f64 y y)) (-.f64 1 (.f64 z z))) (*.f64 (-.f64 x y) (+.f64 1 z)))
(/.f64 (.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (.f64 (+.f64 1 (fma.f64 z z z)) (fma.f64 x x (*.f64 y (-.f64 y x)))))
(/.f64 (.f64 (-.f64 1 (.f64 z z)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (.f64 (+.f64 1 z) (fma.f64 x x (.f64 y (-.f64 y x)))))
(/.f64 (.f64 (-.f64 1 (pow.f64 z 3)) (-.f64 (.f64 x x) (.f64 y y))) (.f64 (+.f64 1 (fma.f64 z z z)) (-.f64 x y)))
(/.f64 (.f64 (-.f64 1 (.f64 z z)) (-.f64 (.f64 x x) (.f64 y y))) (*.f64 (+.f64 1 z) (-.f64 x y)))
(/.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 z)) (fma.f64 x x (.f64 y (-.f64 y x))))
(/.f64 (.f64 (-.f64 (.f64 x x) (*.f64 y y)) (-.f64 1 z)) (-.f64 x y))
(/.f64 (*.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 x y)) (+.f64 1 (fma.f64 z z z)))
(/.f64 (.f64 (-.f64 1 (.f64 z z)) (+.f64 x y)) (+.f64 1 z))
(/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 1 (fma.f64 z z z)))
(/.f64 (.f64 (+.f64 x y) (-.f64 1 (.f64 z z))) (+.f64 1 z))
(/.f64 (.f64 (-.f64 1 z) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (.f64 y (-.f64 y x))))
(/.f64 (.f64 (-.f64 1 z) (-.f64 (.f64 x x) (*.f64 y y))) (-.f64 x y))
(pow.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) 1)
(pow.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) 3) 1/3)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) (-.f64 1 z))) 3)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x y) (-.f64 1 z))) 2)
(sqrt.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 x y)) (-.f64 1 z)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x y) (-.f64 1 z)))))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) 3))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (-.f64 1 z) 3)))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (+.f64 x y) 3)))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 x y) (-.f64 1 z))))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x y) (-.f64 1 z))))
(exp.f64 (log.f64 (*.f64 (+.f64 x y) (-.f64 1 z))))

Outputs
(*.f64 y (-.f64 1 z))
(fma.f64 (neg.f64 y) z y)
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 (-.f64 1 z) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(*.f64 y (-.f64 1 z))
(fma.f64 (neg.f64 y) z y)
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(*.f64 y (-.f64 1 z))
(fma.f64 (neg.f64 y) z y)
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 y (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 y x)
(+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) (+.f64 y x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) (+.f64 y x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) (+.f64 y x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 z (neg.f64 (+.f64 y x)))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 z (neg.f64 (+.f64 y x)))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (+.f64 x y) (*.f64 (neg.f64 z) (+.f64 x y)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (+.f64 x y) (*.f64 (+.f64 x y) (neg.f64 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 x (-.f64 1 z)) (.f64 y (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 y (-.f64 1 z)) (.f64 x (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (-.f64 1 z) x) (.f64 (-.f64 1 z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (-.f64 1 z) y) (.f64 (-.f64 1 z) x))
(*.f64 (-.f64 1 z) (+.f64 y x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x y) (-.f64 1 z)))) 1)
(*.f64 (-.f64 1 z) (+.f64 y x))
(/.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (pow.f64 z 3))) (.f64 (fma.f64 x x (*.f64 y (-.f64 y x))) (+.f64 1 (fma.f64 z z z))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (.f64 y (-.f64 y x)))) (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (fma.f64 z z z))))
(.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 (-.f64 1 (pow.f64 z 3)) (.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) (+.f64 1 (fma.f64 z z z)))))
(/.f64 (.f64 (-.f64 (.f64 x x) (.f64 y y)) (-.f64 1 (pow.f64 z 3))) (.f64 (-.f64 x y) (+.f64 1 (fma.f64 z z z))))
(.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (fma.f64 z z z))) (/.f64 (-.f64 (.f64 x x) (*.f64 y y)) (-.f64 x y)))
(*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (fma.f64 z z z))) (/.f64 (+.f64 y x) (/.f64 (-.f64 x y) (-.f64 x y))))
(*.f64 (-.f64 1 (pow.f64 z 3)) (/.f64 (/.f64 (+.f64 y x) 1) (+.f64 1 (fma.f64 z z z))))
(/.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (.f64 z z))) (.f64 (fma.f64 x x (.f64 y (-.f64 y x))) (+.f64 1 z)))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (.f64 y (-.f64 y x)))) (/.f64 (-.f64 1 (*.f64 z z)) (+.f64 1 z)))
(.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 (-.f64 1 (.f64 z z)) (.f64 (fma.f64 y (-.f64 y x) (.f64 x x)) (+.f64 1 z))))
(/.f64 (.f64 (-.f64 (.f64 x x) (.f64 y y)) (-.f64 1 (.f64 z z))) (*.f64 (-.f64 x y) (+.f64 1 z)))
(/.f64 (-.f64 1 (.f64 z z)) (/.f64 (.f64 (-.f64 x y) (+.f64 1 z)) (-.f64 (.f64 x x) (.f64 y y))))
(.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y y)) (.f64 (-.f64 x y) (+.f64 1 z))) (-.f64 1 (*.f64 z z)))
(.f64 (-.f64 1 (.f64 z z)) (*.f64 1 (/.f64 (+.f64 y x) (+.f64 1 z))))
(/.f64 (.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (.f64 (+.f64 1 (fma.f64 z z z)) (fma.f64 x x (*.f64 y (-.f64 y x)))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (.f64 y (-.f64 y x)))) (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (fma.f64 z z z))))
(.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 (-.f64 1 (pow.f64 z 3)) (.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) (+.f64 1 (fma.f64 z z z)))))
(/.f64 (.f64 (-.f64 1 (.f64 z z)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (.f64 (+.f64 1 z) (fma.f64 x x (.f64 y (-.f64 y x)))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (.f64 y (-.f64 y x)))) (/.f64 (-.f64 1 (*.f64 z z)) (+.f64 1 z)))
(.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 (-.f64 1 (.f64 z z)) (.f64 (fma.f64 y (-.f64 y x) (.f64 x x)) (+.f64 1 z))))
(/.f64 (.f64 (-.f64 1 (pow.f64 z 3)) (-.f64 (.f64 x x) (.f64 y y))) (.f64 (+.f64 1 (fma.f64 z z z)) (-.f64 x y)))
(.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (fma.f64 z z z))) (/.f64 (-.f64 (.f64 x x) (*.f64 y y)) (-.f64 x y)))
(*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (fma.f64 z z z))) (/.f64 (+.f64 y x) (/.f64 (-.f64 x y) (-.f64 x y))))
(*.f64 (-.f64 1 (pow.f64 z 3)) (/.f64 (/.f64 (+.f64 y x) 1) (+.f64 1 (fma.f64 z z z))))
(/.f64 (.f64 (-.f64 1 (.f64 z z)) (-.f64 (.f64 x x) (.f64 y y))) (*.f64 (+.f64 1 z) (-.f64 x y)))
(/.f64 (-.f64 1 (.f64 z z)) (/.f64 (.f64 (-.f64 x y) (+.f64 1 z)) (-.f64 (.f64 x x) (.f64 y y))))
(.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y y)) (.f64 (-.f64 x y) (+.f64 1 z))) (-.f64 1 (*.f64 z z)))
(.f64 (-.f64 1 (.f64 z z)) (*.f64 1 (/.f64 (+.f64 y x) (+.f64 1 z))))
(/.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 z)) (fma.f64 x x (.f64 y (-.f64 y x))))
(/.f64 (-.f64 1 z) (/.f64 (fma.f64 x x (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 x 3) (pow.f64 y 3))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (.f64 y (-.f64 y x)))) (-.f64 1 z))
(.f64 (-.f64 1 z) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 y (-.f64 y x) (.f64 x x))))
(/.f64 (.f64 (-.f64 (.f64 x x) (*.f64 y y)) (-.f64 1 z)) (-.f64 x y))
(/.f64 (-.f64 1 z) (/.f64 (-.f64 x y) (-.f64 (.f64 x x) (.f64 y y))))
(*.f64 (/.f64 (+.f64 y x) (/.f64 (-.f64 x y) (-.f64 x y))) (-.f64 1 z))
(*.f64 (-.f64 1 z) (/.f64 (+.f64 y x) 1))
(/.f64 (*.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 x y)) (+.f64 1 (fma.f64 z z z)))
(/.f64 (+.f64 y x) (/.f64 (+.f64 1 (fma.f64 z z z)) (-.f64 1 (pow.f64 z 3))))
(*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (fma.f64 z z z))) (+.f64 y x))
(*.f64 (+.f64 y x) (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (fma.f64 z z z))))
(/.f64 (.f64 (-.f64 1 (.f64 z z)) (+.f64 x y)) (+.f64 1 z))
(/.f64 (+.f64 y x) (/.f64 (+.f64 1 z) (-.f64 1 (*.f64 z z))))
(.f64 (/.f64 (+.f64 y x) (+.f64 1 z)) (-.f64 1 (.f64 z z)))
(.f64 (+.f64 y x) (/.f64 (-.f64 1 (.f64 z z)) (+.f64 1 z)))
(/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 1 (fma.f64 z z z)))
(/.f64 (+.f64 y x) (/.f64 (+.f64 1 (fma.f64 z z z)) (-.f64 1 (pow.f64 z 3))))
(*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (fma.f64 z z z))) (+.f64 y x))
(*.f64 (+.f64 y x) (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (fma.f64 z z z))))
(/.f64 (.f64 (+.f64 x y) (-.f64 1 (.f64 z z))) (+.f64 1 z))
(/.f64 (+.f64 y x) (/.f64 (+.f64 1 z) (-.f64 1 (*.f64 z z))))
(.f64 (/.f64 (+.f64 y x) (+.f64 1 z)) (-.f64 1 (.f64 z z)))
(.f64 (+.f64 y x) (/.f64 (-.f64 1 (.f64 z z)) (+.f64 1 z)))
(/.f64 (.f64 (-.f64 1 z) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (.f64 y (-.f64 y x))))
(/.f64 (-.f64 1 z) (/.f64 (fma.f64 x x (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 x 3) (pow.f64 y 3))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (.f64 y (-.f64 y x)))) (-.f64 1 z))
(.f64 (-.f64 1 z) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 y (-.f64 y x) (.f64 x x))))
(/.f64 (.f64 (-.f64 1 z) (-.f64 (.f64 x x) (*.f64 y y))) (-.f64 x y))
(/.f64 (-.f64 1 z) (/.f64 (-.f64 x y) (-.f64 (.f64 x x) (.f64 y y))))
(*.f64 (/.f64 (+.f64 y x) (/.f64 (-.f64 x y) (-.f64 x y))) (-.f64 1 z))
(*.f64 (-.f64 1 z) (/.f64 (+.f64 y x) 1))
(pow.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) 1)
(*.f64 (-.f64 1 z) (+.f64 y x))
(pow.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) 3) 1/3)
(*.f64 (-.f64 1 z) (+.f64 y x))
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) (-.f64 1 z))) 3)
(*.f64 (-.f64 1 z) (+.f64 y x))
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x y) (-.f64 1 z))) 2)
(*.f64 (-.f64 1 z) (+.f64 y x))
(sqrt.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) 2))
(*.f64 (-.f64 1 z) (+.f64 y x))
(log.f64 (pow.f64 (exp.f64 (+.f64 x y)) (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x y) (-.f64 1 z)))))
(*.f64 (-.f64 1 z) (+.f64 y x))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) 3))
(*.f64 (-.f64 1 z) (+.f64 y x))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (-.f64 1 z) 3)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (+.f64 x y) 3)))
(*.f64 (-.f64 1 z) (+.f64 y x))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 x y) (-.f64 1 z))))
(*.f64 (-.f64 1 z) (+.f64 y x))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x y) (-.f64 1 z))))
(*.f64 (-.f64 1 z) (+.f64 y x))
(exp.f64 (log.f64 (*.f64 (+.f64 x y) (-.f64 1 z))))
(*.f64 (-.f64 1 z) (+.f64 y x))

eval16.0ms (0.4%)

Compiler: Compiled 1055 to 499 computations (52.7% saved)

prune13.0ms (0.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	67	5	72
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	67	6	73

Error

Counts

73 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	29.9b	(-.f64 x (*.f64 z x))
▶	0.0b	(+.f64 (+.f64 x y) (*.f64 (+.f64 x y) (neg.f64 z)))
▶	23.9b	(+.f64 y x)
▶	39.4b	(*.f64 (+.f64 y x) (neg.f64 z))
✓	0.0b	(*.f64 (+.f64 x y) (-.f64 1 z))
▶	33.2b	(*.f64 y (-.f64 1 z))

Compiler

Compiled 98 to 63 computations (35.7% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 7 computations (74.1% saved)

series8.0ms (0.2%)

Counts

2 → 72

Calls

18 calls:

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

rewrite58.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1003×	`pow1_binary64`
935×	`add-log-exp_binary64`
934×	`log1p-expm1-u_binary64`
934×	`expm1-log1p-u_binary64`
101×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	24
1	185	17
2	2924	17

Stop Event

1×	node limit

Counts

2 → 71

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x z) (.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y z) (.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 z x) (.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 z y) (.f64 z x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 (+.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (+.f64 x y) z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) z) (fma.f64 x x (.f64 y (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 x x) (.f64 y y)) z) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (.f64 y (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (-.f64 (.f64 x x) (.f64 y y))) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (+.f64 x y) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (+.f64 x y) z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (+.f64 x y) z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (+.f64 x y) z) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (+.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (+.f64 x y) z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 z) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (+.f64 x y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (+.f64 x y) z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (+.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (+.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (+.f64 x y) z)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x y) (.f64 (+.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (+.f64 x y) (+.f64 1 z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (+.f64 x y) 2) (.f64 (+.f64 x y) (+.f64 1 z))) (/.f64 (pow.f64 (.f64 (+.f64 x y) z) 2) (.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x y) (+.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x y) (+.f64 z 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x y) (-.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x y) (+.f64 1 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 (+.f64 x y) (+.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (/.f64 1 (.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))) (pow.f64 (cbrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))) 2) (cbrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))) (sqrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3)) (/.f64 1 (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (.f64 (pow.f64 (+.f64 x y) 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (.f64 (+.f64 x y) z))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (.f64 (+.f64 x y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 z 1) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (.f64 (pow.f64 (+.f64 x y) 2) z)) (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (.f64 (+.f64 x y) (+.f64 1 z)) (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (.f64 (+.f64 x y) (+.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3)) (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (.f64 (pow.f64 (+.f64 x y) 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3)) (+.f64 (pow.f64 (.f64 (+.f64 x y) z) 2) (-.f64 (pow.f64 (+.f64 x y) 2) (.f64 (pow.f64 (+.f64 x y) 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3))) (neg.f64 (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (.f64 (pow.f64 (+.f64 x y) 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2)) (neg.f64 (.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3)) (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (.f64 (pow.f64 (+.f64 x y) 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 3) (pow.f64 (+.f64 y (.f64 (+.f64 x y) z)) 3)) (+.f64 (.f64 x x) (-.f64 (.f64 (+.f64 y (.f64 (+.f64 x y) z)) (+.f64 y (.f64 (+.f64 x y) z))) (.f64 x (+.f64 y (.f64 (+.f64 x y) z))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 x x) (.f64 (+.f64 y (.f64 (+.f64 x y) z)) (+.f64 y (.f64 (+.f64 x y) z)))) (-.f64 x (+.f64 y (.f64 (+.f64 x y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (.f64 (+.f64 x y) z) 2) (pow.f64 (+.f64 x y) 2)) (-.f64 (.f64 (+.f64 x y) z) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (+.f64 x y) (+.f64 1 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (exp.f64 (+.f64 x y)) (pow.f64 (exp.f64 z) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x y) z (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 z (+.f64 x y) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (+.f64 y (.f64 (+.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 x y) (.f64 (+.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 (+.f64 x y) z) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (+.f64 y (.f64 (+.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x y) z)) 2) (cbrt.f64 (.f64 (+.f64 x y) z)) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (cbrt.f64 (+.f64 x y)) (.f64 (+.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (sqrt.f64 x) (+.f64 y (.f64 (+.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 (+.f64 x y) z)) (sqrt.f64 (.f64 (+.f64 x y) z)) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)) (*.f64 (+.f64 x y) z))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x z) (*.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y z) (*.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z x) (*.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z y) (*.f64 z x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 (+.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x y) z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) z) (fma.f64 x x (*.f64 y (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) z) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (*.f64 y (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 (*.f64 x x) (*.f64 y y))) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 x y) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (+.f64 x y) z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (+.f64 x y) z) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (+.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (+.f64 x y) z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 z) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (+.f64 x y) z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (+.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (+.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (+.f64 x y) z)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x y) (*.f64 (+.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x y) (+.f64 1 z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (+.f64 x y) 2) (*.f64 (+.f64 x y) (+.f64 1 z))) (/.f64 (pow.f64 (*.f64 (+.f64 x y) z) 2) (*.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x y) (+.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x y) (+.f64 z 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x y) (-.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (+.f64 x y) (+.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 2) (/.f64 1 (*.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))) 2) (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))) (sqrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 (+.f64 x y) z) 3)) (/.f64 1 (-.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 (+.f64 x y) z))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 (+.f64 x y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 z 1) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z)) (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 (+.f64 x y) z) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 2) (*.f64 (+.f64 x y) (+.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 (+.f64 x y) z) 3)) (-.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 (+.f64 x y) z) 3)) (+.f64 (pow.f64 (*.f64 (+.f64 x y) z) 2) (-.f64 (pow.f64 (+.f64 x y) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 (+.f64 x y) z) 3))) (neg.f64 (-.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 2)) (neg.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 (+.f64 x y) z) 3)) (-.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 3) (pow.f64 (+.f64 y (*.f64 (+.f64 x y) z)) 3)) (+.f64 (*.f64 x x) (-.f64 (*.f64 (+.f64 y (*.f64 (+.f64 x y) z)) (+.f64 y (*.f64 (+.f64 x y) z))) (*.f64 x (+.f64 y (*.f64 (+.f64 x y) z))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x x) (*.f64 (+.f64 y (*.f64 (+.f64 x y) z)) (+.f64 y (*.f64 (+.f64 x y) z)))) (-.f64 x (+.f64 y (*.f64 (+.f64 x y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 (+.f64 x y) z) 2) (pow.f64 (+.f64 x y) 2)) (-.f64 (*.f64 (+.f64 x y) z) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x y) (+.f64 1 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (exp.f64 (+.f64 x y)) (pow.f64 (exp.f64 z) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x y) z (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 z (+.f64 x y) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (+.f64 y (*.f64 (+.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 x y) (*.f64 (+.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 (+.f64 x y) z) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (+.f64 y (*.f64 (+.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) z)) 2) (cbrt.f64 (*.f64 (+.f64 x y) z)) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (cbrt.f64 (+.f64 x y)) (*.f64 (+.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (sqrt.f64 x) (+.f64 y (*.f64 (+.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 (+.f64 x y) z)) (sqrt.f64 (*.f64 (+.f64 x y) z)) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)) (*.f64 (+.f64 x y) z))))))

simplify59.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

356×	`unswap-sqr_binary64`
340×	`cancel-sign-sub-inv_binary64`
279×	`associate-+r+_binary64`
270×	`fma-neg_binary64`
255×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	192	1839
1	553	1663
2	2350	1612

Stop Event

1×	node limit

Counts

143 → 124

Calls

Call 1

Inputs
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(.f64 -1 (.f64 z x))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(.f64 -1 (.f64 z x))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(.f64 -1 (.f64 z x))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(+.f64 (.f64 -1 (.f64 y z)) y)
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) x) (+.f64 y (.f64 -1 (.f64 y z))))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) x) (+.f64 y (.f64 -1 (.f64 y z))))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) x) (+.f64 y (.f64 -1 (.f64 y z))))
(.f64 (+.f64 (.f64 -1 z) 1) x)
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) x) (+.f64 y (.f64 -1 (.f64 y z))))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) x) (+.f64 y (.f64 -1 (.f64 y z))))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) x) (+.f64 y (.f64 -1 (.f64 y z))))
(.f64 -1 (.f64 (-.f64 z 1) x))
(+.f64 y (+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 (-.f64 z 1) x))))
(+.f64 y (+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 (-.f64 z 1) x))))
(+.f64 y (+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 (-.f64 z 1) x))))
(+.f64 (.f64 -1 (.f64 z x)) x)
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) y) (+.f64 (.f64 -1 (.f64 z x)) x))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) y) (+.f64 (.f64 -1 (.f64 z x)) x))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) y) (+.f64 (.f64 -1 (.f64 z x)) x))
(.f64 (+.f64 (.f64 -1 z) 1) y)
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) y) (+.f64 (.f64 -1 (.f64 z x)) x))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) y) (+.f64 (.f64 -1 (.f64 z x)) x))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) y) (+.f64 (.f64 -1 (.f64 z x)) x))
(.f64 -1 (.f64 (-.f64 z 1) y))
(+.f64 (.f64 -1 (.f64 (-.f64 z 1) y)) (+.f64 (.f64 -1 (.f64 z x)) x))
(+.f64 (.f64 -1 (.f64 (-.f64 z 1) y)) (+.f64 (.f64 -1 (.f64 z x)) x))
(+.f64 (.f64 -1 (.f64 (-.f64 z 1) y)) (+.f64 (.f64 -1 (.f64 z x)) x))
(+.f64 y x)
(+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) (+.f64 y x))
(+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) (+.f64 y x))
(+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) (+.f64 y x))
(.f64 -1 (.f64 (+.f64 y x) z))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(.f64 -1 (.f64 (+.f64 y x) z))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(+.f64 (.f64 x z) (.f64 y z))
(+.f64 (.f64 y z) (.f64 x z))
(+.f64 (.f64 z x) (.f64 z y))
(+.f64 (.f64 z y) (.f64 z x))
(-.f64 0 (*.f64 (+.f64 x y) z))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x y) z))) 1)
(/.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) z) (fma.f64 x x (.f64 y (-.f64 y x))))
(/.f64 (.f64 (-.f64 (.f64 x x) (*.f64 y y)) z) (-.f64 x y))
(/.f64 (.f64 z (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (.f64 y (-.f64 y x))))
(/.f64 (.f64 z (-.f64 (.f64 x x) (*.f64 y y))) (-.f64 x y))
(pow.f64 (*.f64 (+.f64 x y) z) 1)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) z)) 3)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x y) z)) 2)
(pow.f64 (pow.f64 (*.f64 (+.f64 x y) z) 3) 1/3)
(neg.f64 (*.f64 (+.f64 x y) z))
(sqrt.f64 (pow.f64 (*.f64 (+.f64 x y) z) 2))
(log.f64 (pow.f64 (exp.f64 z) (+.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x y) z))))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 x y) z) 3))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 x y) z)))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x y) z)))
(exp.f64 (log.f64 (*.f64 (+.f64 x y) z)))
(-.f64 (+.f64 x y) (*.f64 (+.f64 x y) z))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x y) (+.f64 1 z)))) 1)
(-.f64 (/.f64 (pow.f64 (+.f64 x y) 2) (.f64 (+.f64 x y) (+.f64 1 z))) (/.f64 (pow.f64 (.f64 (+.f64 x y) z) 2) (*.f64 (+.f64 x y) (+.f64 1 z))))
(*.f64 (+.f64 x y) (+.f64 1 z))
(*.f64 (+.f64 x y) (+.f64 z 1))
(*.f64 (+.f64 x y) (-.f64 1 z))
(.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 1)
(.f64 1 (.f64 (+.f64 x y) (+.f64 1 z)))
(.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (/.f64 1 (*.f64 (+.f64 x y) (+.f64 1 z))))
(.f64 (cbrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))) 2) (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))
(.f64 (sqrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))) (sqrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))
(.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3)) (/.f64 1 (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (.f64 (pow.f64 (+.f64 x y) 2) z))))
(.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (.f64 (+.f64 x y) z))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 (+.f64 x y) z))))
(*.f64 (+.f64 z 1) (+.f64 x y))
(/.f64 1 (/.f64 (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (.f64 (pow.f64 (+.f64 x y) 2) z)) (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 (+.f64 x y) z) 3))))
(/.f64 1 (/.f64 (.f64 (+.f64 x y) (+.f64 1 z)) (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2)))
(/.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (.f64 (+.f64 x y) (+.f64 1 z)))
(/.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3)) (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z)))
(/.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3)) (+.f64 (pow.f64 (.f64 (+.f64 x y) z) 2) (-.f64 (pow.f64 (+.f64 x y) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3))) (neg.f64 (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z))))
(/.f64 (neg.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2)) (neg.f64 (.f64 (+.f64 x y) (+.f64 1 z))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3)) (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z)))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (+.f64 y (.f64 (+.f64 x y) z)) 3)) (+.f64 (.f64 x x) (-.f64 (.f64 (+.f64 y (.f64 (+.f64 x y) z)) (+.f64 y (.f64 (+.f64 x y) z))) (.f64 x (+.f64 y (*.f64 (+.f64 x y) z))))))
(/.f64 (-.f64 (.f64 x x) (.f64 (+.f64 y (.f64 (+.f64 x y) z)) (+.f64 y (.f64 (+.f64 x y) z)))) (-.f64 x (+.f64 y (*.f64 (+.f64 x y) z))))
(/.f64 (-.f64 (pow.f64 (.f64 (+.f64 x y) z) 2) (pow.f64 (+.f64 x y) 2)) (-.f64 (.f64 (+.f64 x y) z) (+.f64 x y)))
(pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 1)
(pow.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 3) 1/3)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))) 3)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))) 2)
(sqrt.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 2))
(log.f64 (exp.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x y) (+.f64 1 z)))))
(log.f64 (/.f64 (exp.f64 (+.f64 x y)) (pow.f64 (exp.f64 z) (+.f64 x y))))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 3))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))
(exp.f64 (log.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))
(fma.f64 (+.f64 x y) z (+.f64 x y))
(fma.f64 z (+.f64 x y) (+.f64 x y))
(fma.f64 1 x (+.f64 y (*.f64 (+.f64 x y) z)))
(fma.f64 1 (+.f64 x y) (*.f64 (+.f64 x y) z))
(fma.f64 1 (*.f64 (+.f64 x y) z) (+.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (+.f64 y (*.f64 (+.f64 x y) z)))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x y) z)) 2) (cbrt.f64 (.f64 (+.f64 x y) z)) (+.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (cbrt.f64 (+.f64 x y)) (*.f64 (+.f64 x y) z))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (+.f64 y (*.f64 (+.f64 x y) z)))
(fma.f64 (sqrt.f64 (.f64 (+.f64 x y) z)) (sqrt.f64 (.f64 (+.f64 x y) z)) (+.f64 x y))
(fma.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)) (*.f64 (+.f64 x y) z))

Outputs
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 z x))
(*.f64 (neg.f64 z) x)
(*.f64 x (neg.f64 z))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 z x))
(*.f64 (neg.f64 z) x)
(*.f64 x (neg.f64 z))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 z x))
(*.f64 (neg.f64 z) x)
(*.f64 x (neg.f64 z))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 (.f64 -1 (.f64 y z)) y)
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(fma.f64 (neg.f64 y) z y)
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) x) (+.f64 y (.f64 -1 (.f64 y z))))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) x) (+.f64 y (.f64 -1 (.f64 y z))))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) x) (+.f64 y (.f64 -1 (.f64 y z))))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(.f64 (+.f64 (.f64 -1 z) 1) x)
(*.f64 x (-.f64 1 z))
(fma.f64 (neg.f64 z) x x)
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) x) (+.f64 y (.f64 -1 (.f64 y z))))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) x) (+.f64 y (.f64 -1 (.f64 y z))))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) x) (+.f64 y (.f64 -1 (.f64 y z))))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(.f64 -1 (.f64 (-.f64 z 1) x))
(*.f64 x (-.f64 1 z))
(fma.f64 (neg.f64 z) x x)
(+.f64 y (+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 (-.f64 z 1) x))))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 y (+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 (-.f64 z 1) x))))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 y (+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 (-.f64 z 1) x))))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 x (-.f64 1 z))
(fma.f64 (neg.f64 z) x x)
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) y) (+.f64 (.f64 -1 (.f64 z x)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) y) (+.f64 (.f64 -1 (.f64 z x)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) y) (+.f64 (.f64 -1 (.f64 z x)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(.f64 (+.f64 (.f64 -1 z) 1) y)
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(fma.f64 (neg.f64 y) z y)
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) y) (+.f64 (.f64 -1 (.f64 z x)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) y) (+.f64 (.f64 -1 (.f64 z x)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 (+.f64 (.f64 -1 z) 1) y) (+.f64 (.f64 -1 (.f64 z x)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(.f64 -1 (.f64 (-.f64 z 1) y))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(fma.f64 (neg.f64 y) z y)
(+.f64 (.f64 -1 (.f64 (-.f64 z 1) y)) (+.f64 (.f64 -1 (.f64 z x)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 -1 (.f64 (-.f64 z 1) y)) (+.f64 (.f64 -1 (.f64 z x)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 -1 (.f64 (-.f64 z 1) y)) (+.f64 (.f64 -1 (.f64 z x)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 y x)
(+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) (+.f64 y x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) (+.f64 y x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) (+.f64 y x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 y (+.f64 (.f64 -1 (.f64 (+.f64 y x) z)) x))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(+.f64 (.f64 x z) (.f64 y z))
(*.f64 z (+.f64 y x))
(+.f64 (.f64 y z) (.f64 x z))
(*.f64 z (+.f64 y x))
(+.f64 (.f64 z x) (.f64 z y))
(*.f64 z (+.f64 y x))
(+.f64 (.f64 z y) (.f64 z x))
(*.f64 z (+.f64 y x))
(-.f64 0 (*.f64 (+.f64 x y) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x y) z))) 1)
(*.f64 z (+.f64 y x))
(/.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) z) (fma.f64 x x (.f64 y (-.f64 y x))))
(/.f64 z (/.f64 (fma.f64 x x (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 x 3) (pow.f64 y 3))))
(.f64 (/.f64 z (fma.f64 x x (.f64 y (-.f64 y x)))) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 z (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (.f64 y (-.f64 y x)))))
(/.f64 (.f64 (-.f64 (.f64 x x) (*.f64 y y)) z) (-.f64 x y))
(/.f64 (.f64 z (fma.f64 x x (neg.f64 (.f64 y y)))) (-.f64 x y))
(.f64 (/.f64 z (-.f64 x y)) (-.f64 (.f64 x x) (*.f64 y y)))
(/.f64 z (/.f64 (-.f64 x y) (-.f64 (.f64 x x) (.f64 y y))))
(/.f64 (.f64 z (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (.f64 y (-.f64 y x))))
(/.f64 z (/.f64 (fma.f64 x x (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 x 3) (pow.f64 y 3))))
(.f64 (/.f64 z (fma.f64 x x (.f64 y (-.f64 y x)))) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 z (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (.f64 y (-.f64 y x)))))
(/.f64 (.f64 z (-.f64 (.f64 x x) (*.f64 y y))) (-.f64 x y))
(/.f64 (.f64 z (fma.f64 x x (neg.f64 (.f64 y y)))) (-.f64 x y))
(.f64 (/.f64 z (-.f64 x y)) (-.f64 (.f64 x x) (*.f64 y y)))
(/.f64 z (/.f64 (-.f64 x y) (-.f64 (.f64 x x) (.f64 y y))))
(pow.f64 (*.f64 (+.f64 x y) z) 1)
(*.f64 z (+.f64 y x))
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) z)) 3)
(*.f64 z (+.f64 y x))
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x y) z)) 2)
(*.f64 z (+.f64 y x))
(pow.f64 (pow.f64 (*.f64 (+.f64 x y) z) 3) 1/3)
(*.f64 z (+.f64 y x))
(neg.f64 (*.f64 (+.f64 x y) z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (neg.f64 z) (+.f64 y x))
(*.f64 z (-.f64 (neg.f64 x) y))
(sqrt.f64 (pow.f64 (*.f64 (+.f64 x y) z) 2))
(*.f64 z (+.f64 y x))
(log.f64 (pow.f64 (exp.f64 z) (+.f64 x y)))
(*.f64 z (+.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x y) z))))
(*.f64 z (+.f64 y x))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 x y) z) 3))
(*.f64 z (+.f64 y x))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 x y) z)))
(*.f64 z (+.f64 y x))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x y) z)))
(*.f64 z (+.f64 y x))
(exp.f64 (log.f64 (*.f64 (+.f64 x y) z)))
(*.f64 z (+.f64 y x))
(-.f64 (+.f64 x y) (*.f64 (+.f64 x y) z))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x y) (+.f64 1 z)))) 1)
(*.f64 (+.f64 y x) (+.f64 z 1))
(-.f64 (/.f64 (pow.f64 (+.f64 x y) 2) (.f64 (+.f64 x y) (+.f64 1 z))) (/.f64 (pow.f64 (.f64 (+.f64 x y) z) 2) (*.f64 (+.f64 x y) (+.f64 1 z))))
(-.f64 (/.f64 (pow.f64 (+.f64 y x) 2) (.f64 (+.f64 y x) (+.f64 z 1))) (/.f64 (pow.f64 (.f64 z (+.f64 y x)) 2) (*.f64 (+.f64 y x) (+.f64 z 1))))
(-.f64 (/.f64 (+.f64 y x) (+.f64 z 1)) (/.f64 (pow.f64 (.f64 z (+.f64 y x)) 2) (.f64 (+.f64 y x) (+.f64 z 1))))
(*.f64 (+.f64 x y) (+.f64 1 z))
(*.f64 (+.f64 y x) (+.f64 z 1))
(*.f64 (+.f64 x y) (+.f64 z 1))
(*.f64 (+.f64 y x) (+.f64 z 1))
(*.f64 (+.f64 x y) (-.f64 1 z))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 1)
(*.f64 (+.f64 y x) (+.f64 z 1))
(.f64 1 (.f64 (+.f64 x y) (+.f64 1 z)))
(*.f64 (+.f64 y x) (+.f64 z 1))
(.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (/.f64 1 (*.f64 (+.f64 x y) (+.f64 1 z))))
(*.f64 (+.f64 y x) (+.f64 z 1))
(.f64 (cbrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))) 2))
(*.f64 (+.f64 y x) (+.f64 z 1))
(.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))) 2) (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))
(*.f64 (+.f64 y x) (+.f64 z 1))
(.f64 (sqrt.f64 (.f64 (+.f64 x y) (+.f64 1 z))) (sqrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))
(*.f64 (+.f64 y x) (+.f64 z 1))
(.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3)) (/.f64 1 (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (.f64 (pow.f64 (+.f64 x y) 2) z))))
(.f64 (+.f64 (pow.f64 (.f64 z (+.f64 y x)) 3) (pow.f64 (+.f64 y x) 3)) (/.f64 1 (-.f64 (pow.f64 (.f64 (+.f64 y x) (+.f64 z 1)) 2) (.f64 z (pow.f64 (+.f64 y x) 2)))))
(/.f64 (+.f64 (pow.f64 (.f64 z (+.f64 y x)) 3) (pow.f64 (+.f64 y x) 3)) (-.f64 (pow.f64 (.f64 (+.f64 y x) (+.f64 z 1)) 2) (*.f64 z (pow.f64 (+.f64 y x) 2))))
(/.f64 (.f64 (+.f64 (pow.f64 z 3) 1) (pow.f64 (+.f64 y x) 3)) (.f64 (pow.f64 (+.f64 y x) 2) (-.f64 (*.f64 (+.f64 z 1) (+.f64 z 1)) z)))
(.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (.f64 (+.f64 x y) z))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 (+.f64 x y) z))))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(*.f64 (+.f64 z 1) (+.f64 x y))
(*.f64 (+.f64 y x) (+.f64 z 1))
(/.f64 1 (/.f64 (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (.f64 (pow.f64 (+.f64 x y) 2) z)) (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 (+.f64 x y) z) 3))))
(.f64 (+.f64 (pow.f64 (.f64 z (+.f64 y x)) 3) (pow.f64 (+.f64 y x) 3)) (/.f64 1 (-.f64 (pow.f64 (.f64 (+.f64 y x) (+.f64 z 1)) 2) (.f64 z (pow.f64 (+.f64 y x) 2)))))
(/.f64 (+.f64 (pow.f64 (.f64 z (+.f64 y x)) 3) (pow.f64 (+.f64 y x) 3)) (-.f64 (pow.f64 (.f64 (+.f64 y x) (+.f64 z 1)) 2) (*.f64 z (pow.f64 (+.f64 y x) 2))))
(/.f64 (.f64 (+.f64 (pow.f64 z 3) 1) (pow.f64 (+.f64 y x) 3)) (.f64 (pow.f64 (+.f64 y x) 2) (-.f64 (*.f64 (+.f64 z 1) (+.f64 z 1)) z)))
(/.f64 1 (/.f64 (.f64 (+.f64 x y) (+.f64 1 z)) (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2)))
(*.f64 (+.f64 y x) (+.f64 z 1))
(/.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (.f64 (+.f64 x y) (+.f64 1 z)))
(*.f64 (+.f64 y x) (+.f64 z 1))
(/.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3)) (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z)))
(.f64 (+.f64 (pow.f64 (.f64 z (+.f64 y x)) 3) (pow.f64 (+.f64 y x) 3)) (/.f64 1 (-.f64 (pow.f64 (.f64 (+.f64 y x) (+.f64 z 1)) 2) (.f64 z (pow.f64 (+.f64 y x) 2)))))
(/.f64 (+.f64 (pow.f64 (.f64 z (+.f64 y x)) 3) (pow.f64 (+.f64 y x) 3)) (-.f64 (pow.f64 (.f64 (+.f64 y x) (+.f64 z 1)) 2) (*.f64 z (pow.f64 (+.f64 y x) 2))))
(/.f64 (.f64 (+.f64 (pow.f64 z 3) 1) (pow.f64 (+.f64 y x) 3)) (.f64 (pow.f64 (+.f64 y x) 2) (-.f64 (*.f64 (+.f64 z 1) (+.f64 z 1)) z)))
(/.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3)) (+.f64 (pow.f64 (.f64 (+.f64 x y) z) 2) (-.f64 (pow.f64 (+.f64 x y) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z))))
(/.f64 (+.f64 (pow.f64 (.f64 z (+.f64 y x)) 3) (pow.f64 (+.f64 y x) 3)) (+.f64 (pow.f64 (.f64 z (+.f64 y x)) 2) (-.f64 (pow.f64 (+.f64 y x) 2) (*.f64 z (pow.f64 (+.f64 y x) 2)))))
(/.f64 (.f64 (+.f64 (pow.f64 z 3) 1) (pow.f64 (+.f64 y x) 3)) (-.f64 (pow.f64 (+.f64 y x) 2) (.f64 (pow.f64 (+.f64 y x) 2) (-.f64 z (*.f64 z z)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3))) (neg.f64 (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z))))
(.f64 (+.f64 (pow.f64 (.f64 z (+.f64 y x)) 3) (pow.f64 (+.f64 y x) 3)) (/.f64 1 (-.f64 (pow.f64 (.f64 (+.f64 y x) (+.f64 z 1)) 2) (.f64 z (pow.f64 (+.f64 y x) 2)))))
(/.f64 (+.f64 (pow.f64 (.f64 z (+.f64 y x)) 3) (pow.f64 (+.f64 y x) 3)) (-.f64 (pow.f64 (.f64 (+.f64 y x) (+.f64 z 1)) 2) (*.f64 z (pow.f64 (+.f64 y x) 2))))
(/.f64 (.f64 (+.f64 (pow.f64 z 3) 1) (pow.f64 (+.f64 y x) 3)) (.f64 (pow.f64 (+.f64 y x) 2) (-.f64 (*.f64 (+.f64 z 1) (+.f64 z 1)) z)))
(/.f64 (neg.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2)) (neg.f64 (.f64 (+.f64 x y) (+.f64 1 z))))
(*.f64 (+.f64 y x) (+.f64 z 1))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (.f64 (+.f64 x y) z) 3)) (-.f64 (pow.f64 (.f64 (+.f64 x y) (+.f64 1 z)) 2) (*.f64 (pow.f64 (+.f64 x y) 2) z)))
(/.f64 (-.f64 (pow.f64 (+.f64 y x) 3) (pow.f64 (.f64 z (+.f64 y x)) 3)) (-.f64 (pow.f64 (.f64 (+.f64 y x) (+.f64 z 1)) 2) (*.f64 z (pow.f64 (+.f64 y x) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 y x) 3) (pow.f64 (.f64 z (+.f64 y x)) 3)) (.f64 (pow.f64 (+.f64 y x) 2) (-.f64 (*.f64 (+.f64 z 1) (+.f64 z 1)) z)))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (+.f64 y (.f64 (+.f64 x y) z)) 3)) (+.f64 (.f64 x x) (-.f64 (.f64 (+.f64 y (.f64 (+.f64 x y) z)) (+.f64 y (.f64 (+.f64 x y) z))) (.f64 x (+.f64 y (*.f64 (+.f64 x y) z))))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (+.f64 y (.f64 z (+.f64 y x))) 3)) (fma.f64 x x (.f64 (+.f64 y (.f64 z (+.f64 y x))) (-.f64 (+.f64 y (.f64 z (+.f64 y x))) x))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (fma.f64 z (+.f64 y x) y) 3)) (fma.f64 (fma.f64 z (+.f64 y x) y) (-.f64 (fma.f64 z (+.f64 y x) y) x) (*.f64 x x)))
(/.f64 (-.f64 (.f64 x x) (.f64 (+.f64 y (.f64 (+.f64 x y) z)) (+.f64 y (.f64 (+.f64 x y) z)))) (-.f64 x (+.f64 y (*.f64 (+.f64 x y) z))))
(*.f64 (+.f64 y x) (+.f64 z 1))
(/.f64 (-.f64 (pow.f64 (.f64 (+.f64 x y) z) 2) (pow.f64 (+.f64 x y) 2)) (-.f64 (.f64 (+.f64 x y) z) (+.f64 x y)))
(/.f64 (-.f64 (pow.f64 (.f64 z (+.f64 y x)) 2) (pow.f64 (+.f64 y x) 2)) (-.f64 (.f64 z (+.f64 y x)) (+.f64 y x)))
(/.f64 (.f64 (pow.f64 (+.f64 y x) 2) (+.f64 (.f64 z z) -1)) (*.f64 (+.f64 y x) (+.f64 -1 z)))
(pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 1)
(*.f64 (+.f64 y x) (+.f64 z 1))
(pow.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 3) 1/3)
(*.f64 (+.f64 y x) (+.f64 z 1))
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))) 3)
(*.f64 (+.f64 y x) (+.f64 z 1))
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x y) (+.f64 1 z))) 2)
(*.f64 (+.f64 y x) (+.f64 z 1))
(sqrt.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 2))
(*.f64 (+.f64 y x) (+.f64 z 1))
(log.f64 (exp.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))
(*.f64 (+.f64 y x) (+.f64 z 1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x y) (+.f64 1 z)))))
(*.f64 (+.f64 y x) (+.f64 z 1))
(log.f64 (/.f64 (exp.f64 (+.f64 x y)) (pow.f64 (exp.f64 z) (+.f64 x y))))
(fma.f64 (-.f64 1 z) x (fma.f64 -1 (*.f64 y z) y))
(*.f64 (-.f64 1 z) (+.f64 y x))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 x y) (+.f64 1 z)) 3))
(*.f64 (+.f64 y x) (+.f64 z 1))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))
(*.f64 (+.f64 y x) (+.f64 z 1))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))
(*.f64 (+.f64 y x) (+.f64 z 1))
(exp.f64 (log.f64 (*.f64 (+.f64 x y) (+.f64 1 z))))
(*.f64 (+.f64 y x) (+.f64 z 1))
(fma.f64 (+.f64 x y) z (+.f64 x y))
(*.f64 (+.f64 y x) (+.f64 z 1))
(fma.f64 z (+.f64 x y) (+.f64 x y))
(*.f64 (+.f64 y x) (+.f64 z 1))
(fma.f64 1 x (+.f64 y (*.f64 (+.f64 x y) z)))
(*.f64 (+.f64 y x) (+.f64 z 1))
(fma.f64 1 (+.f64 x y) (*.f64 (+.f64 x y) z))
(*.f64 (+.f64 y x) (+.f64 z 1))
(fma.f64 1 (*.f64 (+.f64 x y) z) (+.f64 x y))
(*.f64 (+.f64 y x) (+.f64 z 1))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (+.f64 y (*.f64 (+.f64 x y) z)))
(*.f64 (+.f64 y x) (+.f64 z 1))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x y) z)) 2) (cbrt.f64 (.f64 (+.f64 x y) z)) (+.f64 x y))
(*.f64 (+.f64 y x) (+.f64 z 1))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (cbrt.f64 (+.f64 x y)) (*.f64 (+.f64 x y) z))
(*.f64 (+.f64 y x) (+.f64 z 1))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (+.f64 y (*.f64 (+.f64 x y) z)))
(*.f64 (+.f64 y x) (+.f64 z 1))
(fma.f64 (sqrt.f64 (.f64 (+.f64 x y) z)) (sqrt.f64 (.f64 (+.f64 x y) z)) (+.f64 x y))
(*.f64 (+.f64 y x) (+.f64 z 1))
(fma.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)) (*.f64 (+.f64 x y) z))
(*.f64 (+.f64 y x) (+.f64 z 1))

localize3.0ms (0.1%)

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

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 y (-.f64 1 z))

Compiler

Compiled 14 to 9 computations (35.7% saved)

series3.0ms (0.1%)

Counts

1 → 12

Calls

6 calls:

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

rewrite51.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

617×	`pow1_binary64`
572×	`add-log-exp_binary64`
572×	`log1p-expm1-u_binary64`
572×	`expm1-log1p-u_binary64`
561×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	122	7
2	1510	7

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

Inputs
(*.f64 y (-.f64 1 z))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 y (*.f64 (neg.f64 z) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 y (*.f64 y (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 y (-.f64 1 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (pow.f64 z 3)) y) (+.f64 1 (fma.f64 z z z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (*.f64 z z)) y) (+.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (-.f64 1 (pow.f64 z 3))) (+.f64 1 (fma.f64 z z z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (-.f64 1 (*.f64 z z))) (+.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (-.f64 1 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (-.f64 1 z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (-.f64 1 z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 y (-.f64 1 z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y (-.f64 1 z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (-.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (-.f64 1 z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (-.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (-.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (-.f64 1 z))))))))

simplify36.0ms (1%)

Algorithm

1×	egg-herbie

Rules

540×	`log-prod_binary64`
467×	`fma-def_binary64`
372×	`distribute-rgt-neg-out_binary64`
360×	`distribute-lft-neg-out_binary64`
255×	`fma-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	55	261
1	132	239
2	394	239
3	1967	239
4	4812	239

Stop Event

1×	node limit

Counts

29 → 32

Calls

Call 1

Inputs
y
(+.f64 (.f64 -1 (.f64 y z)) y)
(+.f64 (.f64 -1 (.f64 y z)) y)
(+.f64 (.f64 -1 (.f64 y z)) y)
(.f64 -1 (.f64 y z))
(+.f64 y (.f64 -1 (.f64 y z)))
(+.f64 y (.f64 -1 (.f64 y z)))
(+.f64 y (.f64 -1 (.f64 y z)))
(.f64 -1 (.f64 y z))
(+.f64 y (.f64 -1 (.f64 y z)))
(+.f64 y (.f64 -1 (.f64 y z)))
(+.f64 y (.f64 -1 (.f64 y z)))
(+.f64 y (*.f64 (neg.f64 z) y))
(+.f64 y (*.f64 y (neg.f64 z)))
(-.f64 (+.f64 1 (*.f64 y (-.f64 1 z))) 1)
(/.f64 (*.f64 (-.f64 1 (pow.f64 z 3)) y) (+.f64 1 (fma.f64 z z z)))
(/.f64 (.f64 (-.f64 1 (.f64 z z)) y) (+.f64 1 z))
(/.f64 (*.f64 y (-.f64 1 (pow.f64 z 3))) (+.f64 1 (fma.f64 z z z)))
(/.f64 (.f64 y (-.f64 1 (.f64 z z))) (+.f64 1 z))
(pow.f64 (*.f64 y (-.f64 1 z)) 1)
(pow.f64 (pow.f64 (*.f64 y (-.f64 1 z)) 3) 1/3)
(pow.f64 (cbrt.f64 (*.f64 y (-.f64 1 z))) 3)
(pow.f64 (sqrt.f64 (*.f64 y (-.f64 1 z))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (-.f64 1 z)) 2))
(log.f64 (pow.f64 (exp.f64 y) (-.f64 1 z)))
(cbrt.f64 (pow.f64 (*.f64 y (-.f64 1 z)) 3))
(expm1.f64 (log1p.f64 (*.f64 y (-.f64 1 z))))
(log1p.f64 (expm1.f64 (*.f64 y (-.f64 1 z))))
(exp.f64 (log.f64 (*.f64 y (-.f64 1 z))))

Outputs
y
(+.f64 (.f64 -1 (.f64 y z)) y)
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) y)
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) y)
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 y (.f64 -1 (.f64 y z)))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(+.f64 y (.f64 -1 (.f64 y z)))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(+.f64 y (.f64 -1 (.f64 y z)))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 y (.f64 -1 (.f64 y z)))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(+.f64 y (.f64 -1 (.f64 y z)))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(+.f64 y (.f64 -1 (.f64 y z)))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(+.f64 y (*.f64 (neg.f64 z) y))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(+.f64 y (*.f64 y (neg.f64 z)))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(-.f64 (+.f64 1 (*.f64 y (-.f64 1 z))) 1)
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(/.f64 (*.f64 (-.f64 1 (pow.f64 z 3)) y) (+.f64 1 (fma.f64 z z z)))
(/.f64 y (/.f64 (+.f64 1 (fma.f64 z z z)) (-.f64 1 (pow.f64 z 3))))
(*.f64 (/.f64 y (+.f64 1 (fma.f64 z z z))) (-.f64 1 (pow.f64 z 3)))
(/.f64 (-.f64 1 (pow.f64 z 3)) (/.f64 (+.f64 1 (fma.f64 z z z)) y))
(*.f64 y (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 z (fma.f64 z z 1))))
(/.f64 (.f64 (-.f64 1 (.f64 z z)) y) (+.f64 1 z))
(/.f64 (-.f64 1 (*.f64 z z)) (/.f64 (+.f64 z 1) y))
(.f64 (/.f64 y (+.f64 z 1)) (-.f64 1 (.f64 z z)))
(.f64 (-.f64 1 (.f64 z z)) (/.f64 y (+.f64 z 1)))
(/.f64 (*.f64 y (-.f64 1 (pow.f64 z 3))) (+.f64 1 (fma.f64 z z z)))
(/.f64 y (/.f64 (+.f64 1 (fma.f64 z z z)) (-.f64 1 (pow.f64 z 3))))
(*.f64 (/.f64 y (+.f64 1 (fma.f64 z z z))) (-.f64 1 (pow.f64 z 3)))
(/.f64 (-.f64 1 (pow.f64 z 3)) (/.f64 (+.f64 1 (fma.f64 z z z)) y))
(*.f64 y (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 z (fma.f64 z z 1))))
(/.f64 (.f64 y (-.f64 1 (.f64 z z))) (+.f64 1 z))
(/.f64 (-.f64 1 (*.f64 z z)) (/.f64 (+.f64 z 1) y))
(.f64 (/.f64 y (+.f64 z 1)) (-.f64 1 (.f64 z z)))
(.f64 (-.f64 1 (.f64 z z)) (/.f64 y (+.f64 z 1)))
(pow.f64 (*.f64 y (-.f64 1 z)) 1)
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(pow.f64 (pow.f64 (*.f64 y (-.f64 1 z)) 3) 1/3)
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(pow.f64 (cbrt.f64 (*.f64 y (-.f64 1 z))) 3)
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(pow.f64 (sqrt.f64 (*.f64 y (-.f64 1 z))) 2)
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(sqrt.f64 (pow.f64 (*.f64 y (-.f64 1 z)) 2))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(log.f64 (pow.f64 (exp.f64 y) (-.f64 1 z)))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(cbrt.f64 (pow.f64 (*.f64 y (-.f64 1 z)) 3))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(expm1.f64 (log1p.f64 (*.f64 y (-.f64 1 z))))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(log1p.f64 (expm1.f64 (*.f64 y (-.f64 1 z))))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))
(exp.f64 (log.f64 (*.f64 y (-.f64 1 z))))
(fma.f64 -1 (*.f64 y z) y)
(-.f64 y (*.f64 y z))

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 5 computations (61.5% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite59.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

651×	`pow1_binary64`
606×	`add-log-exp_binary64`
606×	`log1p-expm1-u_binary64`
606×	`expm1-log1p-u_binary64`
593×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	113	7
2	1654	7

Stop Event

1×	node limit

Counts

1 → 40

Calls

Call 1

Inputs
(-.f64 x (*.f64 z x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 x (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 (*.f64 x (neg.f64 z)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (*.f64 x z)) (fma.f64 (neg.f64 z) x (*.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (*.f64 x z)) (fma.f64 (neg.f64 x) z (*.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (*.f64 x z)) (fma.f64 (*.f64 x (neg.f64 z)) 1 (*.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (*.f64 x z)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x z))) (pow.f64 (cbrt.f64 (*.f64 x z)) 2) (*.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (*.f64 x z)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 x z))) (sqrt.f64 (*.f64 x z)) (*.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (neg.f64 z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 1 (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 x (*.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 x (*.f64 x z))) (pow.f64 (cbrt.f64 (-.f64 x (*.f64 x z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 x (*.f64 x z))) 2) (cbrt.f64 (-.f64 x (*.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 x (*.f64 x z))) (sqrt.f64 (-.f64 x (*.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 x z) 3)) (/.f64 1 (fma.f64 x x (*.f64 (*.f64 x z) (+.f64 x (*.f64 x z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x x) (pow.f64 (*.f64 x z) 2)) (/.f64 1 (+.f64 x (*.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (*.f64 x z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (*.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (neg.f64 z) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 x x (*.f64 (*.f64 x z) (+.f64 x (*.f64 x z)))) (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 x z) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 x (*.f64 x z)) (-.f64 (*.f64 x x) (pow.f64 (*.f64 x z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 x z) 3)) (fma.f64 x x (*.f64 (*.f64 x z) (+.f64 x (*.f64 x z)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x x) (pow.f64 (*.f64 x z) 2)) (+.f64 x (*.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 x z) 3))) (neg.f64 (fma.f64 x x (*.f64 (*.f64 x z) (+.f64 x (*.f64 x z))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 x x) (pow.f64 (*.f64 x z) 2))) (neg.f64 (+.f64 x (*.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 x (neg.f64 z)) 3)) (+.f64 (*.f64 x x) (-.f64 (*.f64 (*.f64 x (neg.f64 z)) (*.f64 x (neg.f64 z))) (*.f64 x (*.f64 x (neg.f64 z))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 x (neg.f64 z)) (*.f64 x (neg.f64 z)))) (-.f64 x (*.f64 x (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 x (*.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 x (*.f64 x z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 x (*.f64 x z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 x (*.f64 x z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 x (*.f64 x z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 x (*.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 x (*.f64 x z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 x (*.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 x (*.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 x (*.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (*.f64 x (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 x (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 x (neg.f64 z)))))))

simplify46.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

894×	`fma-neg_binary64`
526×	`fma-def_binary64`
320×	`times-frac_binary64`
215×	`associate-/l*_binary64`
181×	`unswap-sqr_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	113	580
1	305	550
2	1160	550
3	5706	550

Stop Event

1×	node limit

Counts

64 → 51

Calls

Call 1

Inputs
(*.f64 (-.f64 1 z) x)
(*.f64 (-.f64 1 z) x)
(*.f64 (-.f64 1 z) x)
(*.f64 (-.f64 1 z) x)
(*.f64 (-.f64 1 z) x)
(*.f64 (-.f64 1 z) x)
(*.f64 (-.f64 1 z) x)
(*.f64 (-.f64 1 z) x)
(.f64 (+.f64 (.f64 -1 z) 1) x)
(.f64 (+.f64 (.f64 -1 z) 1) x)
(.f64 (+.f64 (.f64 -1 z) 1) x)
(.f64 (+.f64 (.f64 -1 z) 1) x)
x
(+.f64 (.f64 -1 (.f64 z x)) x)
(+.f64 (.f64 -1 (.f64 z x)) x)
(+.f64 (.f64 -1 (.f64 z x)) x)
(.f64 -1 (.f64 z x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(+.f64 (.f64 -1 (.f64 z x)) x)
(+.f64 (.f64 -1 (.f64 z x)) x)
(.f64 -1 (.f64 z x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(+.f64 (.f64 -1 (.f64 z x)) x)
(+.f64 (.f64 -1 (.f64 z x)) x)
(+.f64 x (*.f64 x (neg.f64 z)))
(+.f64 x (.f64 (.f64 x (neg.f64 z)) 1))
(+.f64 (-.f64 x (.f64 x z)) (fma.f64 (neg.f64 z) x (.f64 x z)))
(+.f64 (-.f64 x (.f64 x z)) (fma.f64 (neg.f64 x) z (.f64 x z)))
(+.f64 (-.f64 x (.f64 x z)) (fma.f64 (.f64 x (neg.f64 z)) 1 (*.f64 x z)))
(+.f64 (-.f64 x (.f64 x z)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x z))) (pow.f64 (cbrt.f64 (.f64 x z)) 2) (.f64 x z)))
(+.f64 (-.f64 x (.f64 x z)) (fma.f64 (neg.f64 (sqrt.f64 (.f64 x z))) (sqrt.f64 (.f64 x z)) (.f64 x z)))
(+.f64 (*.f64 x (neg.f64 z)) x)
(*.f64 x (-.f64 1 z))
(*.f64 x (+.f64 1 (neg.f64 z)))
(.f64 (-.f64 x (.f64 x z)) 1)
(.f64 1 (-.f64 x (.f64 x z)))
(.f64 (cbrt.f64 (-.f64 x (.f64 x z))) (pow.f64 (cbrt.f64 (-.f64 x (*.f64 x z))) 2))
(.f64 (pow.f64 (cbrt.f64 (-.f64 x (.f64 x z))) 2) (cbrt.f64 (-.f64 x (*.f64 x z))))
(.f64 (sqrt.f64 (-.f64 x (.f64 x z))) (sqrt.f64 (-.f64 x (*.f64 x z))))
(.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 x z) 3)) (/.f64 1 (fma.f64 x x (.f64 (.f64 x z) (+.f64 x (*.f64 x z))))))
(.f64 (-.f64 (.f64 x x) (pow.f64 (.f64 x z) 2)) (/.f64 1 (+.f64 x (.f64 x z))))
(.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (*.f64 x z))))
(*.f64 (+.f64 (neg.f64 z) 1) x)
(/.f64 1 (/.f64 (fma.f64 x x (.f64 (.f64 x z) (+.f64 x (.f64 x z)))) (-.f64 (pow.f64 x 3) (pow.f64 (.f64 x z) 3))))
(/.f64 1 (/.f64 (+.f64 x (.f64 x z)) (-.f64 (.f64 x x) (pow.f64 (*.f64 x z) 2))))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 x z) 3)) (fma.f64 x x (.f64 (.f64 x z) (+.f64 x (.f64 x z)))))
(/.f64 (-.f64 (.f64 x x) (pow.f64 (.f64 x z) 2)) (+.f64 x (*.f64 x z)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 x z) 3))) (neg.f64 (fma.f64 x x (.f64 (.f64 x z) (+.f64 x (.f64 x z))))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (pow.f64 (.f64 x z) 2))) (neg.f64 (+.f64 x (*.f64 x z))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 x (neg.f64 z)) 3)) (+.f64 (.f64 x x) (-.f64 (.f64 (.f64 x (neg.f64 z)) (.f64 x (neg.f64 z))) (.f64 x (*.f64 x (neg.f64 z))))))
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 x (neg.f64 z)) (.f64 x (neg.f64 z)))) (-.f64 x (*.f64 x (neg.f64 z))))
(pow.f64 (-.f64 x (*.f64 x z)) 1)
(pow.f64 (pow.f64 (-.f64 x (*.f64 x z)) 3) 1/3)
(pow.f64 (cbrt.f64 (-.f64 x (*.f64 x z))) 3)
(pow.f64 (sqrt.f64 (-.f64 x (*.f64 x z))) 2)
(sqrt.f64 (pow.f64 (-.f64 x (*.f64 x z)) 2))
(log.f64 (exp.f64 (-.f64 x (*.f64 x z))))
(cbrt.f64 (pow.f64 (-.f64 x (*.f64 x z)) 3))
(expm1.f64 (log1p.f64 (-.f64 x (*.f64 x z))))
(log1p.f64 (expm1.f64 (-.f64 x (*.f64 x z))))
(exp.f64 (log.f64 (-.f64 x (*.f64 x z))))
(fma.f64 1 x (*.f64 x (neg.f64 z)))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 x (neg.f64 z)))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 x (neg.f64 z)))

Outputs
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 (+.f64 (.f64 -1 z) 1) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 (+.f64 (.f64 -1 z) 1) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 (+.f64 (.f64 -1 z) 1) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 (+.f64 (.f64 -1 z) 1) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
x
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 -1 (.f64 z x))
(*.f64 x (neg.f64 z))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 -1 (.f64 z x))
(*.f64 x (neg.f64 z))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 x (*.f64 x (neg.f64 z)))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 x (.f64 (.f64 x (neg.f64 z)) 1))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (-.f64 x (.f64 x z)) (fma.f64 (neg.f64 z) x (.f64 x z)))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (-.f64 x (.f64 x z)) (fma.f64 (neg.f64 x) z (.f64 x z)))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (-.f64 x (.f64 x z)) (fma.f64 (.f64 x (neg.f64 z)) 1 (*.f64 x z)))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (-.f64 x (.f64 x z)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x z))) (pow.f64 (cbrt.f64 (.f64 x z)) 2) (.f64 x z)))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (-.f64 x (.f64 x z)) (fma.f64 (neg.f64 (sqrt.f64 (.f64 x z))) (sqrt.f64 (.f64 x z)) (.f64 x z)))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(+.f64 (*.f64 x (neg.f64 z)) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(*.f64 x (-.f64 1 z))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(*.f64 x (+.f64 1 (neg.f64 z)))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 (-.f64 x (.f64 x z)) 1)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 1 (-.f64 x (.f64 x z)))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 (cbrt.f64 (-.f64 x (.f64 x z))) (pow.f64 (cbrt.f64 (-.f64 x (*.f64 x z))) 2))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 (pow.f64 (cbrt.f64 (-.f64 x (.f64 x z))) 2) (cbrt.f64 (-.f64 x (*.f64 x z))))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 (sqrt.f64 (-.f64 x (.f64 x z))) (sqrt.f64 (-.f64 x (*.f64 x z))))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 x z) 3)) (/.f64 1 (fma.f64 x x (.f64 (.f64 x z) (+.f64 x (*.f64 x z))))))
(/.f64 1 (/.f64 (fma.f64 x x (.f64 x (.f64 z (+.f64 x (.f64 z x))))) (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3))))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3)) (.f64 x (+.f64 x (*.f64 z (fma.f64 z x x)))))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3)) x) (+.f64 x (.f64 z (fma.f64 z x x))))
(.f64 (-.f64 (.f64 x x) (pow.f64 (.f64 x z) 2)) (/.f64 1 (+.f64 x (.f64 x z))))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (*.f64 x z))))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(*.f64 (+.f64 (neg.f64 z) 1) x)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(/.f64 1 (/.f64 (fma.f64 x x (.f64 (.f64 x z) (+.f64 x (.f64 x z)))) (-.f64 (pow.f64 x 3) (pow.f64 (.f64 x z) 3))))
(/.f64 1 (/.f64 (fma.f64 x x (.f64 x (.f64 z (+.f64 x (.f64 z x))))) (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3))))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3)) (.f64 x (+.f64 x (*.f64 z (fma.f64 z x x)))))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3)) x) (+.f64 x (.f64 z (fma.f64 z x x))))
(/.f64 1 (/.f64 (+.f64 x (.f64 x z)) (-.f64 (.f64 x x) (pow.f64 (*.f64 x z) 2))))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 x z) 3)) (fma.f64 x x (.f64 (.f64 x z) (+.f64 x (.f64 x z)))))
(/.f64 1 (/.f64 (fma.f64 x x (.f64 x (.f64 z (+.f64 x (.f64 z x))))) (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3))))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3)) (.f64 x (+.f64 x (*.f64 z (fma.f64 z x x)))))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3)) x) (+.f64 x (.f64 z (fma.f64 z x x))))
(/.f64 (-.f64 (.f64 x x) (pow.f64 (.f64 x z) 2)) (+.f64 x (*.f64 x z)))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 x z) 3))) (neg.f64 (fma.f64 x x (.f64 (.f64 x z) (+.f64 x (.f64 x z))))))
(/.f64 1 (/.f64 (fma.f64 x x (.f64 x (.f64 z (+.f64 x (.f64 z x))))) (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3))))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3)) (.f64 x (+.f64 x (*.f64 z (fma.f64 z x x)))))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3)) x) (+.f64 x (.f64 z (fma.f64 z x x))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (pow.f64 (.f64 x z) 2))) (neg.f64 (+.f64 x (*.f64 x z))))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 x (neg.f64 z)) 3)) (+.f64 (.f64 x x) (-.f64 (.f64 (.f64 x (neg.f64 z)) (.f64 x (neg.f64 z))) (.f64 x (*.f64 x (neg.f64 z))))))
(/.f64 1 (/.f64 (fma.f64 x x (.f64 x (.f64 z (+.f64 x (.f64 z x))))) (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3))))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3)) (.f64 x (+.f64 x (*.f64 z (fma.f64 z x x)))))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (.f64 z x) 3)) x) (+.f64 x (.f64 z (fma.f64 z x x))))
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 x (neg.f64 z)) (.f64 x (neg.f64 z)))) (-.f64 x (*.f64 x (neg.f64 z))))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(pow.f64 (-.f64 x (*.f64 x z)) 1)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(pow.f64 (pow.f64 (-.f64 x (*.f64 x z)) 3) 1/3)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(pow.f64 (cbrt.f64 (-.f64 x (*.f64 x z))) 3)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(pow.f64 (sqrt.f64 (-.f64 x (*.f64 x z))) 2)
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(sqrt.f64 (pow.f64 (-.f64 x (*.f64 x z)) 2))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(log.f64 (exp.f64 (-.f64 x (*.f64 x z))))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(cbrt.f64 (pow.f64 (-.f64 x (*.f64 x z)) 3))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(expm1.f64 (log1p.f64 (-.f64 x (*.f64 x z))))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(log1p.f64 (expm1.f64 (-.f64 x (*.f64 x z))))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(exp.f64 (log.f64 (-.f64 x (*.f64 x z))))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(fma.f64 1 x (*.f64 x (neg.f64 z)))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 x (neg.f64 z)))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 x (neg.f64 z)))
(*.f64 (-.f64 1 z) x)
(-.f64 x (*.f64 z x))

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 17 to 6 computations (64.7% saved)

series2.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite69.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

748×	`pow1_binary64`
694×	`add-log-exp_binary64`
693×	`log1p-expm1-u_binary64`
693×	`expm1-log1p-u_binary64`
679×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	153	7
2	2176	7

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y z) (*.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x z) (*.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z y) (*.f64 z x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z x) (*.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 (+.f64 y x) z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (+.f64 y x) z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) z) (fma.f64 y y (*.f64 x (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 y y) (*.f64 x x)) z) (-.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 y y (*.f64 x (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))) (-.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 y x) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (+.f64 y x) z) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (+.f64 y x) z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (+.f64 y x) z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (+.f64 y x) z))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (+.f64 y x) z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 z) (+.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (+.f64 y x) z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (+.f64 y x) 3) (pow.f64 z 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 z 3) (pow.f64 (+.f64 y x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (+.f64 y x) z)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (+.f64 y x) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (+.f64 y x) z)))))))

simplify51.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

638×	`log-prod_binary64`
599×	`fma-def_binary64`
386×	`associate-l_binary64`
325×	`associate-r_binary64`
221×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	509
1	186	509
2	610	509
3	3219	509
4	6258	509

Stop Event

1×	node limit

Counts

59 → 35

Calls

Call 1

Inputs
(.f64 -1 (.f64 z x))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(.f64 -1 (.f64 z x))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(.f64 -1 (.f64 z x))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(.f64 -1 (.f64 (+.f64 y x) z))
(+.f64 (.f64 y z) (.f64 x z))
(+.f64 (.f64 x z) (.f64 y z))
(+.f64 (.f64 z y) (.f64 z x))
(+.f64 (.f64 z x) (.f64 z y))
(-.f64 0 (*.f64 (+.f64 y x) z))
(-.f64 (+.f64 1 (*.f64 (+.f64 y x) z)) 1)
(/.f64 (.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) z) (fma.f64 y y (.f64 x (-.f64 x y))))
(/.f64 (.f64 (-.f64 (.f64 y y) (*.f64 x x)) z) (-.f64 y x))
(/.f64 (.f64 z (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 y y (.f64 x (-.f64 x y))))
(/.f64 (.f64 z (-.f64 (.f64 y y) (*.f64 x x))) (-.f64 y x))
(pow.f64 (*.f64 (+.f64 y x) z) 1)
(pow.f64 (pow.f64 (*.f64 (+.f64 y x) z) 3) 1/3)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 y x) z)) 3)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 y x) z)) 2)
(neg.f64 (*.f64 (+.f64 y x) z))
(sqrt.f64 (pow.f64 (*.f64 (+.f64 y x) z) 2))
(log.f64 (pow.f64 (exp.f64 z) (+.f64 y x)))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 y x) z) 3))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 y x) 3) (pow.f64 z 3)))
(cbrt.f64 (*.f64 (pow.f64 z 3) (pow.f64 (+.f64 y x) 3)))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 y x) z)))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 y x) z)))
(exp.f64 (log.f64 (*.f64 (+.f64 y x) z)))

Outputs
(.f64 -1 (.f64 z x))
(neg.f64 (*.f64 z x))
(*.f64 x (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 z y))
(*.f64 z (neg.f64 y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 z y))
(*.f64 z (neg.f64 y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 z y))
(*.f64 z (neg.f64 y))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 z x))
(neg.f64 (*.f64 z x))
(*.f64 x (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 z x))
(neg.f64 (*.f64 z x))
(*.f64 x (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (.f64 -1 (.f64 z x)))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(.f64 -1 (.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(+.f64 (.f64 y z) (.f64 x z))
(*.f64 z (+.f64 x y))
(+.f64 (.f64 x z) (.f64 y z))
(*.f64 z (+.f64 x y))
(+.f64 (.f64 z y) (.f64 z x))
(*.f64 z (+.f64 x y))
(+.f64 (.f64 z x) (.f64 z y))
(*.f64 z (+.f64 x y))
(-.f64 0 (*.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(-.f64 (+.f64 1 (*.f64 (+.f64 y x) z)) 1)
(*.f64 z (+.f64 x y))
(/.f64 (.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) z) (fma.f64 y y (.f64 x (-.f64 x y))))
(/.f64 (.f64 z (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 y y (.f64 x (-.f64 x y))))
(.f64 (/.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 y y (.f64 x (-.f64 x y)))) z)
(.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) (/.f64 z (fma.f64 x (-.f64 x y) (.f64 y y))))
(/.f64 (.f64 (-.f64 (.f64 y y) (*.f64 x x)) z) (-.f64 y x))
(*.f64 z (+.f64 x y))
(/.f64 (.f64 z (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 y y (.f64 x (-.f64 x y))))
(.f64 (/.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 y y (.f64 x (-.f64 x y)))) z)
(.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) (/.f64 z (fma.f64 x (-.f64 x y) (.f64 y y))))
(/.f64 (.f64 z (-.f64 (.f64 y y) (*.f64 x x))) (-.f64 y x))
(*.f64 z (+.f64 x y))
(pow.f64 (*.f64 (+.f64 y x) z) 1)
(*.f64 z (+.f64 x y))
(pow.f64 (pow.f64 (*.f64 (+.f64 y x) z) 3) 1/3)
(*.f64 z (+.f64 x y))
(pow.f64 (cbrt.f64 (*.f64 (+.f64 y x) z)) 3)
(*.f64 z (+.f64 x y))
(pow.f64 (sqrt.f64 (*.f64 (+.f64 y x) z)) 2)
(*.f64 z (+.f64 x y))
(neg.f64 (*.f64 (+.f64 y x) z))
(*.f64 (+.f64 x y) (neg.f64 z))
(sqrt.f64 (pow.f64 (*.f64 (+.f64 y x) z) 2))
(*.f64 z (+.f64 x y))
(log.f64 (pow.f64 (exp.f64 z) (+.f64 y x)))
(*.f64 z (+.f64 x y))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 y x) z) 3))
(*.f64 z (+.f64 x y))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 y x) 3) (pow.f64 z 3)))
(*.f64 z (+.f64 x y))
(cbrt.f64 (*.f64 (pow.f64 z 3) (pow.f64 (+.f64 y x) 3)))
(*.f64 z (+.f64 x y))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 y x) z)))
(*.f64 z (+.f64 x y))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 y x) z)))
(*.f64 z (+.f64 x y))
(exp.f64 (log.f64 (*.f64 (+.f64 y x) z)))
(*.f64 z (+.f64 x y))

eval90.0ms (2.4%)

Compiler: Compiled 3053 to 1194 computations (60.9% saved)

prune70.0ms (1.9%)

Pruning

10 alts after pruning (5 fresh and 5 done)

	Pruned	Kept	Total
New	237	5	242
Fresh	0	0	0
Picked	0	1	1
Done	1	4	5
Total	238	10	248

Error

Counts

248 → 10

Alt Table

Click to see full alt table

Status	Error	Program
▶	33.2b	(-.f64 y (*.f64 y z))
✓	29.9b	(-.f64 x (*.f64 z x))
✓	23.9b	(+.f64 y x)
✓	39.4b	(*.f64 (+.f64 y x) (neg.f64 z))
✓	0.0b	(*.f64 (+.f64 x y) (-.f64 1 z))
▶	50.6b	(*.f64 z (neg.f64 y))
▶	51.4b	(*.f64 z (neg.f64 x))
✓	33.2b	(*.f64 y (-.f64 1 z))
	45.2b	y
	41.3b	x

Compiler

Compiled 71 to 49 computations (31% saved)

localize5.0ms (0.1%)

Compiler: Compiled 11 to 5 computations (54.5% saved)

localize5.0ms (0.1%)

Compiler: Compiled 11 to 5 computations (54.5% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 5 computations (61.5% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite38.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

649×	`pow1_binary64`
604×	`add-log-exp_binary64`
604×	`log1p-expm1-u_binary64`
604×	`expm1-log1p-u_binary64`
591×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	113	7
2	1650	7

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

Inputs
(-.f64 y (*.f64 y z))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 y (*.f64 y (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 y (*.f64 (*.f64 y (neg.f64 z)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 y (*.f64 y z)) (fma.f64 (neg.f64 z) y (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 y (*.f64 y z)) (fma.f64 (neg.f64 y) z (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 y (*.f64 y z)) (fma.f64 (*.f64 y (neg.f64 z)) 1 (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 y (*.f64 y z)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y z))) (pow.f64 (cbrt.f64 (*.f64 y z)) 2) (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 y (*.f64 y z)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 y z))) (sqrt.f64 (*.f64 y z)) (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (neg.f64 z)) y)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (-.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 y (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 y (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 y (*.f64 y z))) (pow.f64 (cbrt.f64 (-.f64 y (*.f64 y z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 y (*.f64 y z))) 2) (cbrt.f64 (-.f64 y (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 y (*.f64 y z))) (sqrt.f64 (-.f64 y (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 y 3) (pow.f64 (*.f64 y z) 3)) (/.f64 1 (fma.f64 y y (*.f64 (*.f64 y z) (+.f64 y (*.f64 y z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 y y) (pow.f64 (*.f64 y z) 2)) (/.f64 1 (+.f64 y (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 y y (*.f64 (*.f64 y z) (+.f64 y (*.f64 y z)))) (-.f64 (pow.f64 y 3) (pow.f64 (*.f64 y z) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 y (*.f64 y z)) (-.f64 (*.f64 y y) (pow.f64 (*.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 y 3) (pow.f64 (*.f64 y z) 3)) (fma.f64 y y (*.f64 (*.f64 y z) (+.f64 y (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 y y) (pow.f64 (*.f64 y z) 2)) (+.f64 y (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 y 3) (pow.f64 (*.f64 y z) 3))) (neg.f64 (fma.f64 y y (*.f64 (*.f64 y z) (+.f64 y (*.f64 y z))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 y y) (pow.f64 (*.f64 y z) 2))) (neg.f64 (+.f64 y (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 y 3) (pow.f64 (*.f64 y (neg.f64 z)) 3)) (+.f64 (*.f64 y y) (-.f64 (*.f64 (*.f64 y (neg.f64 z)) (*.f64 y (neg.f64 z))) (*.f64 y (*.f64 y (neg.f64 z))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 y y) (*.f64 (*.f64 y (neg.f64 z)) (*.f64 y (neg.f64 z)))) (-.f64 y (*.f64 y (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 y (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 y (*.f64 y z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 y (*.f64 y z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 y (*.f64 y z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 y (*.f64 y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 y (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 y (*.f64 y z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 y (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 y (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 y (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 y (*.f64 y (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y) (*.f64 y (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 y) (sqrt.f64 y) (*.f64 y (neg.f64 z)))))))

simplify47.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

856×	`fma-neg_binary64`
533×	`fma-def_binary64`
320×	`times-frac_binary64`
217×	`associate-/l*_binary64`
187×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	108	566
1	296	536
2	1143	536
3	5665	536

Stop Event

1×	node limit

Counts

62 → 49

Calls

Call 1

Inputs
(*.f64 y (-.f64 1 z))
(*.f64 y (-.f64 1 z))
(*.f64 y (-.f64 1 z))
(*.f64 y (-.f64 1 z))
(*.f64 y (-.f64 1 z))
(*.f64 y (-.f64 1 z))
(*.f64 y (-.f64 1 z))
(*.f64 y (-.f64 1 z))
(.f64 (+.f64 (.f64 -1 z) 1) y)
(.f64 (+.f64 (.f64 -1 z) 1) y)
(.f64 (+.f64 (.f64 -1 z) 1) y)
(.f64 (+.f64 (.f64 -1 z) 1) y)
y
(+.f64 (.f64 -1 (.f64 y z)) y)
(+.f64 (.f64 -1 (.f64 y z)) y)
(+.f64 (.f64 -1 (.f64 y z)) y)
(.f64 -1 (.f64 y z))
(+.f64 y (.f64 -1 (.f64 y z)))
(+.f64 y (.f64 -1 (.f64 y z)))
(+.f64 y (.f64 -1 (.f64 y z)))
(.f64 -1 (.f64 y z))
(+.f64 y (.f64 -1 (.f64 y z)))
(+.f64 y (.f64 -1 (.f64 y z)))
(+.f64 y (.f64 -1 (.f64 y z)))
(+.f64 y (*.f64 y (neg.f64 z)))
(+.f64 y (.f64 (.f64 y (neg.f64 z)) 1))
(+.f64 (-.f64 y (.f64 y z)) (fma.f64 (neg.f64 z) y (.f64 y z)))
(+.f64 (-.f64 y (.f64 y z)) (fma.f64 (neg.f64 y) z (.f64 y z)))
(+.f64 (-.f64 y (.f64 y z)) (fma.f64 (.f64 y (neg.f64 z)) 1 (*.f64 y z)))
(+.f64 (-.f64 y (.f64 y z)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 y z))) (pow.f64 (cbrt.f64 (.f64 y z)) 2) (.f64 y z)))
(+.f64 (-.f64 y (.f64 y z)) (fma.f64 (neg.f64 (sqrt.f64 (.f64 y z))) (sqrt.f64 (.f64 y z)) (.f64 y z)))
(+.f64 (*.f64 y (neg.f64 z)) y)
(*.f64 y (-.f64 1 z))
(.f64 (-.f64 y (.f64 y z)) 1)
(.f64 1 (-.f64 y (.f64 y z)))
(.f64 (cbrt.f64 (-.f64 y (.f64 y z))) (pow.f64 (cbrt.f64 (-.f64 y (*.f64 y z))) 2))
(.f64 (pow.f64 (cbrt.f64 (-.f64 y (.f64 y z))) 2) (cbrt.f64 (-.f64 y (*.f64 y z))))
(.f64 (sqrt.f64 (-.f64 y (.f64 y z))) (sqrt.f64 (-.f64 y (*.f64 y z))))
(.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (/.f64 1 (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (*.f64 y z))))))
(.f64 (-.f64 (.f64 y y) (pow.f64 (.f64 y z) 2)) (/.f64 1 (+.f64 y (.f64 y z))))
(.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 (.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 y z))))
(/.f64 1 (/.f64 (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (.f64 y z)))) (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3))))
(/.f64 1 (/.f64 (+.f64 y (.f64 y z)) (-.f64 (.f64 y y) (pow.f64 (*.f64 y z) 2))))
(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (.f64 y z)))))
(/.f64 (-.f64 (.f64 y y) (pow.f64 (.f64 y z) 2)) (+.f64 y (*.f64 y z)))
(/.f64 (neg.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3))) (neg.f64 (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (.f64 y z))))))
(/.f64 (neg.f64 (-.f64 (.f64 y y) (pow.f64 (.f64 y z) 2))) (neg.f64 (+.f64 y (*.f64 y z))))
(/.f64 (+.f64 (pow.f64 y 3) (pow.f64 (.f64 y (neg.f64 z)) 3)) (+.f64 (.f64 y y) (-.f64 (.f64 (.f64 y (neg.f64 z)) (.f64 y (neg.f64 z))) (.f64 y (*.f64 y (neg.f64 z))))))
(/.f64 (-.f64 (.f64 y y) (.f64 (.f64 y (neg.f64 z)) (.f64 y (neg.f64 z)))) (-.f64 y (*.f64 y (neg.f64 z))))
(pow.f64 (-.f64 y (*.f64 y z)) 1)
(pow.f64 (pow.f64 (-.f64 y (*.f64 y z)) 3) 1/3)
(pow.f64 (cbrt.f64 (-.f64 y (*.f64 y z))) 3)
(pow.f64 (sqrt.f64 (-.f64 y (*.f64 y z))) 2)
(sqrt.f64 (pow.f64 (-.f64 y (*.f64 y z)) 2))
(log.f64 (exp.f64 (-.f64 y (*.f64 y z))))
(cbrt.f64 (pow.f64 (-.f64 y (*.f64 y z)) 3))
(expm1.f64 (log1p.f64 (-.f64 y (*.f64 y z))))
(log1p.f64 (expm1.f64 (-.f64 y (*.f64 y z))))
(exp.f64 (log.f64 (-.f64 y (*.f64 y z))))
(fma.f64 1 y (*.f64 y (neg.f64 z)))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y) (*.f64 y (neg.f64 z)))
(fma.f64 (sqrt.f64 y) (sqrt.f64 y) (*.f64 y (neg.f64 z)))

Outputs
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 (+.f64 (.f64 -1 z) 1) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 (+.f64 (.f64 -1 z) 1) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 (+.f64 (.f64 -1 z) 1) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 (+.f64 (.f64 -1 z) 1) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
y
(+.f64 (.f64 -1 (.f64 y z)) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 (.f64 -1 (.f64 y z)) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 (.f64 -1 (.f64 y z)) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 y (.f64 -1 (.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 y (.f64 -1 (.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 y (.f64 -1 (.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 y (.f64 -1 (.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 y (.f64 -1 (.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 y (.f64 -1 (.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 y (*.f64 y (neg.f64 z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 y (.f64 (.f64 y (neg.f64 z)) 1))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 (-.f64 y (.f64 y z)) (fma.f64 (neg.f64 z) y (.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 (-.f64 y (.f64 y z)) (fma.f64 (neg.f64 y) z (.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 (-.f64 y (.f64 y z)) (fma.f64 (.f64 y (neg.f64 z)) 1 (*.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 (-.f64 y (.f64 y z)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 y z))) (pow.f64 (cbrt.f64 (.f64 y z)) 2) (.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 (-.f64 y (.f64 y z)) (fma.f64 (neg.f64 (sqrt.f64 (.f64 y z))) (sqrt.f64 (.f64 y z)) (.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(+.f64 (*.f64 y (neg.f64 z)) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 (-.f64 y (.f64 y z)) 1)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 1 (-.f64 y (.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 (cbrt.f64 (-.f64 y (.f64 y z))) (pow.f64 (cbrt.f64 (-.f64 y (*.f64 y z))) 2))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 (pow.f64 (cbrt.f64 (-.f64 y (.f64 y z))) 2) (cbrt.f64 (-.f64 y (*.f64 y z))))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 (sqrt.f64 (-.f64 y (.f64 y z))) (sqrt.f64 (-.f64 y (*.f64 y z))))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (/.f64 1 (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (*.f64 y z))))))
(/.f64 (.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) 1) (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (*.f64 y z)))))
(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (.f64 y (+.f64 y (*.f64 z (fma.f64 y z y)))))
(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (.f64 y (+.f64 y (*.f64 y (fma.f64 z z z)))))
(.f64 (-.f64 (.f64 y y) (pow.f64 (.f64 y z) 2)) (/.f64 1 (+.f64 y (.f64 y z))))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 (.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 y z))))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(/.f64 1 (/.f64 (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (.f64 y z)))) (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3))))
(/.f64 (.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) 1) (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (*.f64 y z)))))
(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (.f64 y (+.f64 y (*.f64 z (fma.f64 y z y)))))
(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (.f64 y (+.f64 y (*.f64 y (fma.f64 z z z)))))
(/.f64 1 (/.f64 (+.f64 y (.f64 y z)) (-.f64 (.f64 y y) (pow.f64 (*.f64 y z) 2))))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (.f64 y z)))))
(/.f64 (.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) 1) (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (*.f64 y z)))))
(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (.f64 y (+.f64 y (*.f64 z (fma.f64 y z y)))))
(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (.f64 y (+.f64 y (*.f64 y (fma.f64 z z z)))))
(/.f64 (-.f64 (.f64 y y) (pow.f64 (.f64 y z) 2)) (+.f64 y (*.f64 y z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(/.f64 (neg.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3))) (neg.f64 (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (.f64 y z))))))
(/.f64 (.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) 1) (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (*.f64 y z)))))
(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (.f64 y (+.f64 y (*.f64 z (fma.f64 y z y)))))
(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (.f64 y (+.f64 y (*.f64 y (fma.f64 z z z)))))
(/.f64 (neg.f64 (-.f64 (.f64 y y) (pow.f64 (.f64 y z) 2))) (neg.f64 (+.f64 y (*.f64 y z))))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(/.f64 (+.f64 (pow.f64 y 3) (pow.f64 (.f64 y (neg.f64 z)) 3)) (+.f64 (.f64 y y) (-.f64 (.f64 (.f64 y (neg.f64 z)) (.f64 y (neg.f64 z))) (.f64 y (*.f64 y (neg.f64 z))))))
(/.f64 (.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) 1) (fma.f64 y y (.f64 (.f64 y z) (+.f64 y (*.f64 y z)))))
(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (.f64 y (+.f64 y (*.f64 z (fma.f64 y z y)))))
(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 (.f64 y z) 3)) (.f64 y (+.f64 y (*.f64 y (fma.f64 z z z)))))
(/.f64 (-.f64 (.f64 y y) (.f64 (.f64 y (neg.f64 z)) (.f64 y (neg.f64 z)))) (-.f64 y (*.f64 y (neg.f64 z))))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(pow.f64 (-.f64 y (*.f64 y z)) 1)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(pow.f64 (pow.f64 (-.f64 y (*.f64 y z)) 3) 1/3)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(pow.f64 (cbrt.f64 (-.f64 y (*.f64 y z))) 3)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(pow.f64 (sqrt.f64 (-.f64 y (*.f64 y z))) 2)
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(sqrt.f64 (pow.f64 (-.f64 y (*.f64 y z)) 2))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(log.f64 (exp.f64 (-.f64 y (*.f64 y z))))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(cbrt.f64 (pow.f64 (-.f64 y (*.f64 y z)) 3))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(expm1.f64 (log1p.f64 (-.f64 y (*.f64 y z))))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(log1p.f64 (expm1.f64 (-.f64 y (*.f64 y z))))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(exp.f64 (log.f64 (-.f64 y (*.f64 y z))))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(fma.f64 1 y (*.f64 y (neg.f64 z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y) (*.f64 y (neg.f64 z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)
(fma.f64 (sqrt.f64 y) (sqrt.f64 y) (*.f64 y (neg.f64 z)))
(*.f64 y (-.f64 1 z))
(-.f64 y (*.f64 y z))
(fma.f64 z (neg.f64 y) y)

eval11.0ms (0.3%)

Compiler: Compiled 600 to 192 computations (68% saved)

prune9.0ms (0.2%)

Pruning

10 alts after pruning (2 fresh and 8 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	2	2
Picked	0	1	1
Done	0	7	7
Total	49	10	59

Error

Counts

59 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	33.2b	(-.f64 y (*.f64 y z))
✓	29.9b	(-.f64 x (*.f64 z x))
✓	23.9b	(+.f64 y x)
✓	39.4b	(*.f64 (+.f64 y x) (neg.f64 z))
✓	0.0b	(*.f64 (+.f64 x y) (-.f64 1 z))
✓	50.6b	(*.f64 z (neg.f64 y))
✓	51.4b	(*.f64 z (neg.f64 x))
✓	33.2b	(*.f64 y (-.f64 1 z))
	45.2b	y
	41.3b	x

Compiler

Compiled 71 to 49 computations (31% saved)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

10 alts after pruning (2 fresh and 8 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	0	0
Done	8	8
Total	10	10

Error

Counts

10 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	33.2b	(-.f64 y (*.f64 y z))
✓	29.9b	(-.f64 x (*.f64 z x))
✓	23.9b	(+.f64 y x)
✓	39.4b	(*.f64 (+.f64 y x) (neg.f64 z))
✓	0.0b	(*.f64 (+.f64 x y) (-.f64 1 z))
✓	50.6b	(*.f64 z (neg.f64 y))
✓	51.4b	(*.f64 z (neg.f64 x))
✓	33.2b	(*.f64 y (-.f64 1 z))
	45.2b	y
	41.3b	x

Compiler

Compiled 71 to 49 computations (31% saved)

regimes90.0ms (2.4%)

Counts

11 → 1

Calls

Call 1

Inputs
x
y
(+.f64 y x)
(*.f64 z (neg.f64 x))
(*.f64 z (neg.f64 y))
(*.f64 y (-.f64 1 z))
(-.f64 x (*.f64 z x))
(-.f64 y (*.f64 y z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (+.f64 x y) (-.f64 1 z))
(+.f64 (+.f64 x y) (*.f64 (+.f64 x y) (neg.f64 z)))

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

Calls

7 calls:

40.0ms	(+.f64 x y)
7.0ms	z
7.0ms	y
6.0ms	(*.f64 (+.f64 x y) (-.f64 1 z))
6.0ms	x

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`z`
0.0b	1	`(*.f64 (+.f64 x y) (-.f64 1 z))`
0.0b	1	`(+.f64 x y)`
0.0b	1	`(-.f64 1 z)`
0.0b	1	`(-.f64 1 z)`

Compiler

Compiled 94 to 53 computations (43.6% saved)

regimes40.0ms (1.1%)

Counts

10 → 1

Calls

Call 1

Inputs
x
y
(+.f64 y x)
(*.f64 z (neg.f64 x))
(*.f64 z (neg.f64 y))
(*.f64 y (-.f64 1 z))
(-.f64 x (*.f64 z x))
(-.f64 y (*.f64 y z))
(*.f64 (+.f64 y x) (neg.f64 z))
(*.f64 (+.f64 x y) (-.f64 1 z))

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

Calls

6 calls:

7.0ms	y
7.0ms	(*.f64 (+.f64 x y) (-.f64 1 z))
7.0ms	(-.f64 1 z)
6.0ms	(+.f64 x y)
6.0ms	x

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`z`
0.0b	1	`(*.f64 (+.f64 x y) (-.f64 1 z))`
0.0b	1	`(+.f64 x y)`
0.0b	1	`(-.f64 1 z)`

Compiler

Compiled 78 to 46 computations (41% saved)

regimes128.0ms (3.4%)

Counts

9 → 3

Calls

Call 1

Inputs
x
y
(+.f64 y x)
(*.f64 z (neg.f64 x))
(*.f64 z (neg.f64 y))
(*.f64 y (-.f64 1 z))
(-.f64 x (*.f64 z x))
(-.f64 y (*.f64 y z))
(*.f64 (+.f64 y x) (neg.f64 z))

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

Calls

5 calls:

38.0ms	y
31.0ms	(-.f64 1 z)
26.0ms	z
20.0ms	x
9.0ms	(-.f64 1 z)

Results

Error	Segments	Branch
9.0b	4	`x`
7.4b	4	`y`
1.6b	3	`z`
1.6b	3	`(-.f64 1 z)`
1.6b	3	`(-.f64 1 z)`

Compiler

Compiled 61 to 36 computations (41% saved)

bsearch30.0ms (0.8%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	3.5130327403522804e-6	962.7348812707085
14.0ms	-173694.69967602147	-0.032369669215366575

Results

26.0ms	288×	body	256	valid
0.0ms	2×	body	256	infinite

Compiler

Compiled 322 to 228 computations (29.2% saved)

regimes197.0ms (5.3%)

Counts

8 → 4

Calls

Call 1

Inputs
x
y
(+.f64 y x)
(*.f64 z (neg.f64 x))
(*.f64 z (neg.f64 y))
(*.f64 y (-.f64 1 z))
(-.f64 x (*.f64 z x))
(-.f64 y (*.f64 y z))

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

Calls

5 calls:

66.0ms	z
41.0ms	(-.f64 1 z)
38.0ms	y
36.0ms	x
14.0ms	(-.f64 1 z)

Results

Error	Segments	Branch
10.1b	2	`x`
7.4b	4	`y`
9.6b	6	`z`
10.8b	4	`(-.f64 1 z)`
10.8b	4	`(-.f64 1 z)`

Compiler

Compiled 55 to 34 computations (38.2% saved)

bsearch55.0ms (1.5%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
18.0ms	5.82510059837392e-63	2.7083689461600956e-52
25.0ms	6.647194591765727e-141	3.483537695711076e-134
12.0ms	9.98503848603406e-176	1.0239262217315611e-172

Results

39.0ms

432×

body

256

valid

Compiler

Compiled 464 to 327 computations (29.5% saved)

regimes89.0ms (2.4%)

Counts

7 → 4

Calls

Call 1

Inputs
x
y
(+.f64 y x)
(*.f64 z (neg.f64 x))
(*.f64 z (neg.f64 y))
(*.f64 y (-.f64 1 z))
(-.f64 x (*.f64 z x))

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

Calls

5 calls:

28.0ms	z
20.0ms	y
15.0ms	(-.f64 1 z)
14.0ms	(-.f64 1 z)
10.0ms	x

Results

Error	Segments	Branch
10.1b	2	`x`
7.4b	4	`y`
9.6b	6	`z`
10.8b	4	`(-.f64 1 z)`
10.8b	4	`(-.f64 1 z)`

Compiler

Compiled 50 to 32 computations (36% saved)

bsearch50.0ms (1.3%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
16.0ms	5.82510059837392e-63	2.7083689461600956e-52
19.0ms	6.647194591765727e-141	3.483537695711076e-134
14.0ms	9.98503848603406e-176	1.0239262217315611e-172

Results

44.0ms

432×

body

256

valid

Compiler

Compiled 464 to 344 computations (25.9% saved)

regimes93.0ms (2.5%)

Counts

6 → 4

Calls

Call 1

Inputs
x
y
(+.f64 y x)
(*.f64 z (neg.f64 x))
(*.f64 z (neg.f64 y))
(*.f64 y (-.f64 1 z))

Outputs
(*.f64 z (neg.f64 x))
(*.f64 y (-.f64 1 z))
(+.f64 y x)
(*.f64 y (-.f64 1 z))

Calls

5 calls:

28.0ms	y
20.0ms	z
17.0ms	x
13.0ms	(-.f64 1 z)
13.0ms	(-.f64 1 z)

Results

Error	Segments	Branch
14.9b	4	`x`
14.1b	6	`y`
11.1b	4	`z`
11.1b	4	`(-.f64 1 z)`
11.1b	4	`(-.f64 1 z)`

Compiler

Compiled 45 to 30 computations (33.3% saved)

bsearch41.0ms (1.1%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
14.0ms	3.5130327403522804e-6	962.7348812707085
10.0ms	-0.032369669215366575	-0.002332464882883846
16.0ms	-2.1909199738656546e+54	-2.4230746102884237e+47

Results

35.0ms	384×	body	256	valid
1.0ms	14×	body	256	infinite

Compiler

Compiled 409 to 309 computations (24.4% saved)

regimes66.0ms (1.8%)

Counts

5 → 4

Calls

Call 1

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

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

Calls

3 calls:

33.0ms	y
16.0ms	z
16.0ms	x

Results

Error	Segments	Branch
21.9b	3	`x`
18.3b	7	`y`
11.7b	4	`z`

Compiler

Compiled 28 to 17 computations (39.3% saved)

bsearch44.0ms (1.2%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
15.0ms	3.5130327403522804e-6	962.7348812707085
14.0ms	-173694.69967602147	-0.032369669215366575
15.0ms	-2.1909199738656546e+54	-2.4230746102884237e+47

Results

38.0ms	432×	body	256	valid
1.0ms	7×	body	256	infinite

Compiler

Compiled 430 to 318 computations (26% saved)

regimes37.0ms (1%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

14.0ms	x
12.0ms	z
10.0ms	y

Results

Error	Segments	Branch
21.9b	3	`x`
22.5b	3	`y`
13.5b	3	`z`

Compiler

Compiled 24 to 15 computations (37.5% saved)

bsearch23.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
14.0ms	3.5130327403522804e-6	962.7348812707085
8.0ms	-480529.8844911679	-173694.69967602147

Results

20.0ms

224×

body

256

valid

Compiler

Compiled 226 to 166 computations (26.5% saved)

regimes11.0ms (0.3%)

Counts

3 → 1

Calls

Call 1

Inputs
x
y
(+.f64 y x)

Outputs
(+.f64 y x)

Calls

3 calls:

4.0ms	x
3.0ms	z
3.0ms	y

Results

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

Compiler

Compiled 20 to 13 computations (35% saved)

regimes51.0ms (1.4%)

Accuracy

Total -33.7b remaining (-118.2%)

Threshold costs -33.7b (-118.2%)

Counts

2 → 4

Calls

Call 1

Inputs
x
y

Outputs
x
y
x
y

Calls

3 calls:

31.0ms	z
11.0ms	y
8.0ms	x

Results

Error	Segments	Branch
28.7b	2	`x`
28.5b	4	`y`
35.4b	9	`z`

Compiler

Compiled 17 to 12 computations (29.4% saved)

bsearch36.0ms (1%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
6.0ms	6.5672334689046044e-77	9.852304590572085e-77
14.0ms	2.279823319148151e-115	9.741561394881166e-107
15.0ms	6.5016034198313615e-162	9.078583545934061e-153

Results

31.0ms

352×

body

256

valid

Compiler

Compiled 236 to 188 computations (20.3% saved)

simplify13.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
12×	`+-commutative_binary64`
10×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	73	282
1	110	280
2	134	280
3	148	280
4	155	280
5	156	280

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 x y) (*.f64 (+.f64 x y) (neg.f64 z)))
(*.f64 (+.f64 x y) (-.f64 1 z))
(if (<=.f64 z -1) (.f64 (+.f64 y x) (neg.f64 z)) (if (<=.f64 z 1) (+.f64 y x) (.f64 (+.f64 y x) (neg.f64 z))))
(if (<=.f64 y 3480865949723965/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608) (-.f64 x (.f64 z x)) (if (<=.f64 y 2917539005555509/429049853758163107186368799942587076079339706258956588087153966199096448962353503257659977541340909686081019461967553627320124249982290238285876768194691072) (-.f64 y (.f64 y z)) (if (<=.f64 y 2358995333375681/13479973333575319897333507543509815336818572211270286240551805124608) (+.f64 y x) (*.f64 y (-.f64 1 z)))))
(if (<=.f64 y 3480865949723965/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608) (-.f64 x (.f64 z x)) (if (<=.f64 y 6521557777124079/858099707516326214372737599885174152158679412517913176174307932398192897924707006515319955082681819372162038923935107254640248499964580476571753536389382144) (.f64 y (-.f64 1 z)) (if (<=.f64 y 7279185600130673/26959946667150639794667015087019630673637144422540572481103610249216) (+.f64 y x) (*.f64 y (-.f64 1 z)))))
(if (<=.f64 z -1049999999999999924343677575419984678682242318336) (.f64 z (neg.f64 x)) (if (<=.f64 z -3804640965202595/1152921504606846976) (.f64 y (-.f64 1 z)) (if (<=.f64 z 3246626956972881/590295810358705651712) (+.f64 y x) (*.f64 y (-.f64 1 z)))))
(if (<=.f64 z -16000000000000000701533488721219157674144762429440) (.f64 z (neg.f64 x)) (if (<=.f64 z -58) (.f64 z (neg.f64 y)) (if (<=.f64 z 1) (+.f64 y x) (*.f64 z (neg.f64 y)))))
(if (<=.f64 z -175000) (.f64 z (neg.f64 x)) (if (<=.f64 z 1) (+.f64 y x) (.f64 z (neg.f64 x))))
(+.f64 y x)
(if (<=.f64 y 2122853863962117/235872651551346334515097161311766805682307576276027526773512893765351510149509303255382920323603672971341773439422740306235661539370299539535089640714543502728087207936) x (if (<=.f64 y 2051775573649403/5545339388241629719156828368286167406872874150751633150340959161229242615611251246079948812208279156194782421922807143657948315648) y (if (<=.f64 y 5475552704387099/65185151242703554760590262029100101153646988597309960020356494379340201592426774597868716032) x y)))
x

Outputs
(+.f64 (+.f64 x y) (*.f64 (+.f64 x y) (neg.f64 z)))
(+.f64 (*.f64 (neg.f64 z) (+.f64 x y)) (+.f64 x y))
(-.f64 (+.f64 x y) (*.f64 z (+.f64 x y)))
(*.f64 (+.f64 x y) (-.f64 1 z))
(*.f64 (-.f64 1 z) (+.f64 x y))
(if (<=.f64 z -1) (.f64 (+.f64 y x) (neg.f64 z)) (if (<=.f64 z 1) (+.f64 y x) (.f64 (+.f64 y x) (neg.f64 z))))
(if (<=.f64 z -1) (.f64 (neg.f64 z) (+.f64 x y)) (if (<=.f64 z 1) (+.f64 x y) (.f64 (neg.f64 z) (+.f64 x y))))
(if (<=.f64 z -1) (.f64 z (neg.f64 (+.f64 x y))) (if (<=.f64 z 1) (+.f64 x y) (.f64 z (neg.f64 (+.f64 x y)))))
(if (<=.f64 z -1) (.f64 z (-.f64 (neg.f64 x) y)) (if (<=.f64 z 1) (+.f64 x y) (.f64 z (-.f64 (neg.f64 x) y))))
(if (<=.f64 y 3480865949723965/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608) (-.f64 x (.f64 z x)) (if (<=.f64 y 2917539005555509/429049853758163107186368799942587076079339706258956588087153966199096448962353503257659977541340909686081019461967553627320124249982290238285876768194691072) (-.f64 y (.f64 y z)) (if (<=.f64 y 2358995333375681/13479973333575319897333507543509815336818572211270286240551805124608) (+.f64 y x) (*.f64 y (-.f64 1 z)))))
(if (<=.f64 y 3480865949723965/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608) (-.f64 x (.f64 x z)) (if (<=.f64 y 2917539005555509/429049853758163107186368799942587076079339706258956588087153966199096448962353503257659977541340909686081019461967553627320124249982290238285876768194691072) (-.f64 y (.f64 y z)) (if (<=.f64 y 2358995333375681/13479973333575319897333507543509815336818572211270286240551805124608) (+.f64 x y) (*.f64 y (-.f64 1 z)))))
(if (<=.f64 y 3480865949723965/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608) (-.f64 x (.f64 z x)) (if (<=.f64 y 6521557777124079/858099707516326214372737599885174152158679412517913176174307932398192897924707006515319955082681819372162038923935107254640248499964580476571753536389382144) (.f64 y (-.f64 1 z)) (if (<=.f64 y 7279185600130673/26959946667150639794667015087019630673637144422540572481103610249216) (+.f64 y x) (*.f64 y (-.f64 1 z)))))
(if (<=.f64 y 3480865949723965/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608) (-.f64 x (.f64 x z)) (if (<=.f64 y 6521557777124079/858099707516326214372737599885174152158679412517913176174307932398192897924707006515319955082681819372162038923935107254640248499964580476571753536389382144) (.f64 y (-.f64 1 z)) (if (<=.f64 y 7279185600130673/26959946667150639794667015087019630673637144422540572481103610249216) (+.f64 x y) (*.f64 y (-.f64 1 z)))))
(if (<=.f64 z -1049999999999999924343677575419984678682242318336) (.f64 z (neg.f64 x)) (if (<=.f64 z -3804640965202595/1152921504606846976) (.f64 y (-.f64 1 z)) (if (<=.f64 z 3246626956972881/590295810358705651712) (+.f64 y x) (*.f64 y (-.f64 1 z)))))
(if (<=.f64 z -1049999999999999924343677575419984678682242318336) (.f64 z (neg.f64 x)) (if (<=.f64 z -3804640965202595/1152921504606846976) (.f64 y (-.f64 1 z)) (if (<=.f64 z 3246626956972881/590295810358705651712) (+.f64 x y) (*.f64 y (-.f64 1 z)))))
(if (<=.f64 z -1049999999999999924343677575419984678682242318336) (.f64 x (neg.f64 z)) (if (<=.f64 z -3804640965202595/1152921504606846976) (.f64 y (-.f64 1 z)) (if (<=.f64 z 3246626956972881/590295810358705651712) (+.f64 x y) (*.f64 y (-.f64 1 z)))))
(if (<=.f64 z -16000000000000000701533488721219157674144762429440) (.f64 z (neg.f64 x)) (if (<=.f64 z -58) (.f64 z (neg.f64 y)) (if (<=.f64 z 1) (+.f64 y x) (*.f64 z (neg.f64 y)))))
(if (<=.f64 z -16000000000000000701533488721219157674144762429440) (.f64 z (neg.f64 x)) (if (<=.f64 z -58) (.f64 z (neg.f64 y)) (if (<=.f64 z 1) (+.f64 x y) (*.f64 z (neg.f64 y)))))
(if (<=.f64 z -16000000000000000701533488721219157674144762429440) (.f64 x (neg.f64 z)) (if (<=.f64 z -58) (.f64 y (neg.f64 z)) (if (<=.f64 z 1) (+.f64 x y) (*.f64 y (neg.f64 z)))))
(if (<=.f64 z -175000) (.f64 z (neg.f64 x)) (if (<=.f64 z 1) (+.f64 y x) (.f64 z (neg.f64 x))))
(if (<=.f64 z -175000) (.f64 z (neg.f64 x)) (if (<=.f64 z 1) (+.f64 x y) (.f64 z (neg.f64 x))))
(if (<=.f64 z -175000) (.f64 x (neg.f64 z)) (if (<=.f64 z 1) (+.f64 x y) (.f64 x (neg.f64 z))))
(+.f64 y x)
(+.f64 x y)
(if (<=.f64 y 2122853863962117/235872651551346334515097161311766805682307576276027526773512893765351510149509303255382920323603672971341773439422740306235661539370299539535089640714543502728087207936) x (if (<=.f64 y 2051775573649403/5545339388241629719156828368286167406872874150751633150340959161229242615611251246079948812208279156194782421922807143657948315648) y (if (<=.f64 y 5475552704387099/65185151242703554760590262029100101153646988597309960020356494379340201592426774597868716032) x y)))
x

Compiler

Compiled 227 to 135 computations (40.5% saved)

soundness30.0ms (0.8%)

end98.0ms (2.6%)

Remove: (sort x y)
Compiler: Compiled 221 to 103 computations (53.4% saved)

Details

analyze216.0ms (5.8%)

sample1.2s (31.7%)

preprocess169.0ms (4.5%)

simplify54.0ms (1.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.2%)

series4.0ms (0.1%)

rewrite56.0ms (1.5%)

simplify50.0ms (1.3%)

eval16.0ms (0.4%)

prune13.0ms (0.4%)

localize8.0ms (0.2%)

series8.0ms (0.2%)

rewrite58.0ms (1.5%)

simplify59.0ms (1.6%)

localize3.0ms (0.1%)

localize6.0ms (0.2%)

series3.0ms (0.1%)

rewrite51.0ms (1.4%)

simplify36.0ms (1%)

localize5.0ms (0.1%)

series2.0ms (0.1%)

rewrite59.0ms (1.6%)

simplify46.0ms (1.2%)

localize6.0ms (0.2%)

series2.0ms (0.1%)

rewrite69.0ms (1.8%)

simplify51.0ms (1.4%)

eval90.0ms (2.4%)

prune70.0ms (1.9%)

localize5.0ms (0.1%)

localize5.0ms (0.1%)

localize5.0ms (0.1%)

series2.0ms (0.1%)

rewrite38.0ms (1%)

simplify47.0ms (1.3%)

eval11.0ms (0.3%)

prune9.0ms (0.2%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes90.0ms (2.4%)

regimes40.0ms (1.1%)

regimes128.0ms (3.4%)

bsearch30.0ms (0.8%)

regimes197.0ms (5.3%)

bsearch55.0ms (1.5%)

regimes89.0ms (2.4%)

bsearch50.0ms (1.3%)

regimes93.0ms (2.5%)

bsearch41.0ms (1.1%)

regimes66.0ms (1.8%)

bsearch44.0ms (1.2%)

regimes37.0ms (1%)

bsearch23.0ms (0.6%)

regimes11.0ms (0.3%)

regimes51.0ms (1.4%)

bsearch36.0ms (1%)

simplify13.0ms (0.4%)

soundness30.0ms (0.8%)

end98.0ms (2.6%)

Profiling