Details

analyze246.0ms (9.3%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.6%	25%	72.5%	0.1%	2.3%	0%	0%	9
36.7%	34.3%	59.3%	0.1%	6.2%	0%	0%	10
44.2%	40.6%	51.3%	0.1%	8%	0%	0%	11
52%	46.8%	43.2%	0.1%	9.8%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample865.0ms (32.8%)

Results

752.0ms	8256×	body	256	valid
99.0ms	1135×	body	256	infinite

Bogosity

preprocess23.0ms (0.9%)

Algorithm

2×	egg-herbie

Rules

328×	`fma-def`
58×	`*-commutative`
58×	`+-commutative`
34×	`associate-r`
34×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	76
1	42	60
2	104	60
3	151	60
4	171	60
5	197	60
6	227	60
7	306	60
8	374	60
9	385	60
10	389	60
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify16.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

96×	`fma-def`
34×	`*-commutative`
32×	`associate-r`
32×	`associate-l`
18×	`+-commutative`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	17	15
2	28	15
3	41	15
4	51	15
5	58	15
6	66	15
7	85	15
8	113	15
9	127	15
10	153	15
11	158	15
12	159	15

Stop Event

1×

saturated

Counts

1 → 3

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 23 to 10 computations (56.5% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	1	2	3
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	3	4

Error

0.0b

Counts

4 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 19 to 11 computations (42.1% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series5.0ms (0.2%)

Counts

1 → 36

Calls

9 calls:

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

rewrite68.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1004×	`associate-*r/`
994×	`*-commutative`
828×	`distribute-lft-in`
798×	`distribute-rgt-in`
744×	`associate-*l/`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	183	15
2	2717	15

Stop Event

1×	node limit

Counts

1 → 78

Calls

Call 1

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

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

Outputs

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

simplify72.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1842×	`associate-*l/`
1664×	`associate-/r*`
594×	`associate-/r/`
506×	`associate-/l/`
424×	`+-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	233	5026
1	679	4834
2	3143	4822

Stop Event

1×	node limit

Counts

114 → 143

Calls

Call 1

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

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

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 15 to 5 computations (66.7% saved)

series3.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite77.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1844×	`add-sqr-sqrt`
1828×	`*-un-lft-identity`
1700×	`add-cube-cbrt`
1680×	`add-cbrt-cube`
180×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	168	15
2	2211	15

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

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

Outputs

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

simplify69.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

988×	`distribute-lft-in`
958×	`distribute-rgt-in`
856×	`*-commutative`
810×	`associate-+r-`
740×	`+-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	76	903
1	186	903
2	810	891
3	4133	891
4	7521	891

Stop Event

1×	node limit

Counts

59 → 40

Calls

Call 1

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

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

eval64.0ms (2.4%)

Compiler: Compiled 4452 to 1267 computations (71.5% saved)

prune27.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	177	6	183
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	178	7	185

Error

Counts

185 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(-.f64 (.f64 y z) (.f64 x (-.f64 -1 y)))
▶	26.7b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
▶	26.8b	(*.f64 (+.f64 1 y) x)
▶	26.0b	(*.f64 y (+.f64 z x))
▶	36.8b	(*.f64 y z)
	37.5b	x

Compiler

Compiled 98 to 65 computations (33.7% saved)

localize10.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 27 to 14 computations (48.1% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite51.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1516×	`add-sqr-sqrt`
1500×	`*-un-lft-identity`
1396×	`add-cube-cbrt`
1380×	`add-cbrt-cube`
1368×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	148	13
2	1825	13

Stop Event

1×	node limit

Counts

1 → 18

Calls

Call 1

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

Outputs

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

simplify46.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

960×	`associate-r`
928×	`distribute-lft-neg-out`
876×	`associate-l`
852×	`distribute-rgt-neg-out`
806×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	64	770
1	158	630
2	496	622
3	3221	622

Stop Event

1×	node limit

Counts

42 → 32

Calls

Call 1

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

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

localize3.0ms (0.1%)

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

localize6.0ms (0.2%)

Compiler: Compiled 14 to 5 computations (64.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

6 calls:

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

rewrite49.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1422×	`add-sqr-sqrt`
1406×	`*-un-lft-identity`
1310×	`add-cube-cbrt`
1294×	`add-cbrt-cube`
1282×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	141	13
2	1744	13

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

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

Outputs

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

simplify68.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1428×	`associate--r+`
974×	`associate-/r*`
902×	`+-commutative`
806×	`*-commutative`
768×	`fma-def`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	56	408
1	139	400
2	407	384
3	1950	384
4	3527	384
5	5978	384

Stop Event

1×	node limit

Counts

32 → 33

Calls

Call 1

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

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

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 5 computations (61.5% saved)

series2.0ms (0.1%)

Counts

1 → 15

Calls

6 calls:

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

rewrite53.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1496×	`add-sqr-sqrt`
1480×	`*-un-lft-identity`
1382×	`add-cube-cbrt`
1368×	`add-cbrt-cube`
1358×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	133	9
2	1832	9

Stop Event

1×	node limit

Counts

1 → 41

Calls

Call 1

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

Outputs

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

simplify57.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

808×	`associate-+r+`
764×	`*-commutative`
592×	`associate-+l+`
476×	`associate-/l/`
470×	`fma-def`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	105	1184
1	253	966
2	950	966
3	3390	956

Stop Event

1×	node limit

Counts

56 → 53

Calls

Call 1

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

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

eval21.0ms (0.8%)

Compiler: Compiled 1289 to 573 computations (55.5% saved)

prune18.0ms (0.7%)

Pruning

9 alts after pruning (3 fresh and 6 done)

	Pruned	Kept	Total
New	116	2	118
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	116	9	125

Error

Counts

125 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (.f64 y z) (.f64 x (-.f64 -1 y)))
▶	11.5b	(-.f64 (*.f64 y z) (neg.f64 x))
✓	26.7b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	26.8b	(*.f64 (+.f64 1 y) x)
✓	26.0b	(*.f64 y (+.f64 z x))
✓	36.8b	(*.f64 y z)
▶	51.9b	(*.f64 y x)
	37.5b	x

Compiler

Compiled 71 to 47 computations (33.8% saved)

localize4.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 (*.f64 y z) (neg.f64 x))

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 z) (neg.f64 x))
0.0ms	y	@	-inf	(-.f64 (*.f64 y z) (neg.f64 x))
0.0ms	z	@	inf	(-.f64 (*.f64 y z) (neg.f64 x))
0.0ms	x	@	0	(-.f64 (*.f64 y z) (neg.f64 x))
0.0ms	z	@	-inf	(-.f64 (*.f64 y z) (neg.f64 x))

rewrite54.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1784×	`add-sqr-sqrt`
1768×	`*-un-lft-identity`
1644×	`add-cube-cbrt`
1626×	`add-cbrt-cube`
200×	`pow1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	192	9
2	2618	9

Stop Event

1×	node limit

Counts

1 → 39

Calls

Call 1

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

Outputs

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

simplify53.0ms (2%)

Algorithm

1×	egg-herbie

Rules

940×	`associate-/l*`
814×	`associate-/r*`
642×	`fma-def`
596×	`*-commutative`
504×	`distribute-lft-neg-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	98	989
1	220	941
2	1067	937
3	5221	931

Stop Event

1×	node limit

Counts

75 → 50

Calls

Call 1

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

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

eval9.0ms (0.3%)

Compiler: Compiled 569 to 214 computations (62.4% saved)

prune9.0ms (0.3%)

Pruning

9 alts after pruning (2 fresh and 7 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	1	1
Picked	1	0	1
Done	0	7	7
Total	50	9	59

Error

Counts

59 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (.f64 y z) (.f64 x (-.f64 -1 y)))
▶	11.5b	(+.f64 (*.f64 y z) x)
✓	26.7b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	26.8b	(*.f64 (+.f64 1 y) x)
✓	26.0b	(*.f64 y (+.f64 z x))
✓	36.8b	(*.f64 y z)
✓	51.9b	(*.f64 y x)
	37.5b	x

Compiler

Compiled 70 to 46 computations (34.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series2.0ms (0.1%)

Counts

1 → 9

Calls

9 calls:

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

rewrite54.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1644×	`add-sqr-sqrt`
1628×	`*-un-lft-identity`
1516×	`add-cube-cbrt`
1500×	`add-cbrt-cube`
160×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	150	9
2	2000	9

Stop Event

1×	node limit

Counts

1 → 37

Calls

Call 1

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

Outputs

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

simplify53.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1370×	`associate-r`
1226×	`associate-l`
770×	`associate-+r+`
664×	`distribute-lft-neg-in`
622×	`distribute-rgt-neg-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	92	916
1	220	866
2	832	866
3	4911	866

Stop Event

1×	node limit

Counts

46 → 45

Calls

Call 1

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

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

eval8.0ms (0.3%)

Compiler: Compiled 547 to 198 computations (63.8% saved)

prune8.0ms (0.3%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	1	1
Picked	0	1	1
Done	0	7	7
Total	45	9	54

Error

Counts

54 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (.f64 y z) (.f64 x (-.f64 -1 y)))
✓	11.5b	(+.f64 (*.f64 y z) x)
✓	26.7b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	26.8b	(*.f64 (+.f64 1 y) x)
✓	26.0b	(*.f64 y (+.f64 z x))
✓	36.8b	(*.f64 y z)
✓	51.9b	(*.f64 y x)
	37.5b	x

Compiler

Compiled 70 to 46 computations (34.3% saved)

regimes27.0ms (1%)

Counts

11 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 80 to 36 computations (55% saved)

regimes26.0ms (1%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

4 calls:

6.0ms	z
6.0ms	x
6.0ms	y
6.0ms	(+.f64 x (*.f64 y (+.f64 z x)))

Results

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

Compiler

Compiled 74 to 34 computations (54.1% saved)

regimes57.0ms (2.2%)

Counts

8 → 3

Calls

Call 1

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

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

Calls

3 calls:

23.0ms	x
18.0ms	z
14.0ms	y

Results

Error	Segments	Branch
6.7b	5	`x`
0.9b	3	`y`
4.9b	3	`z`

Compiler

Compiled 48 to 23 computations (52.1% saved)

bsearch25.0ms (0.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
11.0ms	0.010545826132662242	2.169421267676768
14.0ms	-43751.45694632546	-0.6514202407900272

Results

22.0ms

256×

body

256

valid

Compiler

Compiled 304 to 203 computations (33.2% saved)

regimes51.0ms (1.9%)

Counts

6 → 3

Calls

Call 1

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

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

Calls

3 calls:

18.0ms	z
16.0ms	y
16.0ms	x

Results

Error	Segments	Branch
14.8b	3	`x`
11.1b	3	`y`
13.3b	3	`z`

Compiler

Compiled 37 to 20 computations (45.9% saved)

bsearch22.0ms (0.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
10.0ms	7.576449917857732e-49	8.961180908141191e-48
13.0ms	-7.937045664917615e-67	-4.899436587444416e-70

Results

19.0ms

224×

body

256

valid

Compiler

Compiled 212 to 151 computations (28.8% saved)

regimes56.0ms (2.1%)

Counts

3 → 4

Calls

Call 1

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

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

Calls

3 calls:

25.0ms	z
18.0ms	x
12.0ms	y

Results

Error	Segments	Branch
24.6b	5	`x`
20.6b	4	`y`
22.3b	7	`z`

Compiler

Compiled 22 to 14 computations (36.4% saved)

bsearch39.0ms (1.5%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
17.0ms	1.4937263216656262e+120	1.8456971258108365e+124
10.0ms	7.576449917857732e-49	8.961180908141191e-48
12.0ms	-7.937045664917615e-67	-4.899436587444416e-70

Results

31.0ms	352×	body	256	valid
4.0ms	53×	body	256	infinite

Compiler

Compiled 296 to 217 computations (26.7% saved)

regimes25.0ms (0.9%)

Accuracy

Total -34.3b remaining (-124.1%)

Threshold costs -34.3b (-124.1%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)

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

Calls

3 calls:

13.0ms	z
8.0ms	y
3.0ms	x

Results

Error	Segments	Branch
37.5b	1	`x`
27.6b	3	`y`
35.2b	5	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch23.0ms (0.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
10.0ms	0.010545826132662242	2.169421267676768
13.0ms	-32584924789483770.0	-786750792292.6477

Results

21.0ms	240×	body	256	valid
0.0ms	3×	body	256	infinite

Compiler

Compiled 196 to 146 computations (25.5% saved)

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative`
6×	`if-if-or-not`
6×	`*-commutative`
2×	`1-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	207
1	61	207

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(fma.f64 y (+.f64 x z) x)
(+.f64 x (*.f64 y (+.f64 z x)))
(if (<=.f64 y -1) (.f64 y (+.f64 z x)) (if (<=.f64 y 1) (+.f64 (.f64 y z) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -4856672230564323/60708402882054033466233184588234965832575213720379360039119137804340758912662765568) (.f64 y (+.f64 z x)) (if (<=.f64 y 5759265950624221/1645504557321206042154969182557350504982735865633579863348609024) x (.f64 y (+.f64 z x))))
(if (<=.f64 y -5463756259384863/7588550360256754183279148073529370729071901715047420004889892225542594864082845696) (.f64 y z) (if (<=.f64 y 1892330240919387/1645504557321206042154969182557350504982735865633579863348609024) x (if (<=.f64 y 25999999999999998906715523034731352820683711189800486273763608815529801845915937015353806286058601416119539677176581324800) (.f64 y z) (*.f64 y x))))
(if (<=.f64 y -800000000000) (.f64 y x) (if (<=.f64 y 1) x (.f64 y x)))
x

Outputs
(fma.f64 y (+.f64 x z) x)
(+.f64 x (*.f64 y (+.f64 z x)))
(+.f64 x (*.f64 y (+.f64 x z)))
(if (<=.f64 y -1) (.f64 y (+.f64 z x)) (if (<=.f64 y 1) (+.f64 (.f64 y z) x) (*.f64 y (+.f64 z x))))
(if (or (<=.f64 y -1) (not (<=.f64 y 1))) (.f64 y (+.f64 x z)) (+.f64 x (.f64 y z)))
(if (<=.f64 y -4856672230564323/60708402882054033466233184588234965832575213720379360039119137804340758912662765568) (.f64 y (+.f64 z x)) (if (<=.f64 y 5759265950624221/1645504557321206042154969182557350504982735865633579863348609024) x (.f64 y (+.f64 z x))))
(if (or (<=.f64 y -4856672230564323/60708402882054033466233184588234965832575213720379360039119137804340758912662765568) (not (<=.f64 y 5759265950624221/1645504557321206042154969182557350504982735865633579863348609024))) (*.f64 y (+.f64 x z)) x)
(if (<=.f64 y -5463756259384863/7588550360256754183279148073529370729071901715047420004889892225542594864082845696) (.f64 y z) (if (<=.f64 y 1892330240919387/1645504557321206042154969182557350504982735865633579863348609024) x (if (<=.f64 y 25999999999999998906715523034731352820683711189800486273763608815529801845915937015353806286058601416119539677176581324800) (.f64 y z) (*.f64 y x))))
(if (<=.f64 y -800000000000) (.f64 y x) (if (<=.f64 y 1) x (.f64 y x)))
x

Compiler

Compiled 106 to 64 computations (39.6% saved)

soundness17.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

96×	`fma-def`
34×	`*-commutative`
32×	`associate-r`
32×	`associate-l`
18×	`+-commutative`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	17	15
2	28	15
3	41	15
4	51	15
5	58	15
6	66	15
7	85	15
8	113	15
9	127	15
10	153	15
11	158	15
12	159	15

Stop Event

1×

saturated

Compiler

Compiled 29 to 10 computations (65.5% saved)

end42.0ms (1.6%)

Compiler: Compiled 88 to 39 computations (55.7% saved)

Iter	Nodes	Cost
0	17	76
1	42	60
2	104	60
3	151	60
4	171	60
5	197	60
6	227	60
7	306	60
8	374	60
9	385	60
10	389	60
0	3	3

Iter	Nodes	Cost
0	8	19
1	17	15
2	28	15
3	41	15
4	51	15
5	58	15
6	66	15
7	85	15
8	113	15
9	127	15
10	153	15
11	158	15
12	159	15

Iter	Nodes	Cost
0	8	19
1	17	15
2	28	15
3	41	15
4	51	15
5	58	15
6	66	15
7	85	15
8	113	15
9	127	15
10	153	15
11	158	15
12	159	15

Iter	Nodes	Cost
0	17	76
1	42	60
2	104	60
3	151	60
4	171	60
5	197	60
6	227	60
7	306	60
8	374	60
9	385	60
10	389	60
0	3	3

Iter	Nodes	Cost
0	8	19
1	17	15
2	28	15
3	41	15
4	51	15
5	58	15
6	66	15
7	85	15
8	113	15
9	127	15
10	153	15
11	158	15
12	159	15

Iter	Nodes	Cost
0	8	19
1	17	15
2	28	15
3	41	15
4	51	15
5	58	15
6	66	15
7	85	15
8	113	15
9	127	15
10	153	15
11	158	15
12	159	15

Details

analyze246.0ms (9.3%)

sample865.0ms (32.8%)

preprocess23.0ms (0.9%)

simplify16.0ms (0.6%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series5.0ms (0.2%)

rewrite68.0ms (2.6%)

simplify72.0ms (2.7%)

localize5.0ms (0.2%)

series3.0ms (0.1%)

rewrite77.0ms (2.9%)

simplify69.0ms (2.6%)

eval64.0ms (2.4%)

prune27.0ms (1%)

localize10.0ms (0.4%)

series4.0ms (0.1%)

rewrite51.0ms (1.9%)

simplify46.0ms (1.8%)

localize3.0ms (0.1%)

localize6.0ms (0.2%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite49.0ms (1.9%)

simplify68.0ms (2.6%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite53.0ms (2%)

simplify57.0ms (2.2%)

eval21.0ms (0.8%)

prune18.0ms (0.7%)

localize4.0ms (0.1%)

localize6.0ms (0.2%)

series2.0ms (0.1%)

rewrite54.0ms (2.1%)

simplify53.0ms (2%)

eval9.0ms (0.3%)

prune9.0ms (0.3%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite54.0ms (2.1%)

simplify53.0ms (2%)

eval8.0ms (0.3%)

prune8.0ms (0.3%)

regimes27.0ms (1%)

regimes26.0ms (1%)

regimes57.0ms (2.2%)

bsearch25.0ms (0.9%)

regimes51.0ms (1.9%)

bsearch22.0ms (0.9%)

regimes56.0ms (2.1%)

bsearch39.0ms (1.5%)

regimes25.0ms (0.9%)

bsearch23.0ms (0.9%)

simplify7.0ms (0.3%)

soundness17.0ms (0.6%)

end42.0ms (1.6%)

Profiling

Iter	Nodes	Cost
0	17	76
1	42	60
2	104	60
3	151	60
4	171	60
5	197	60
6	227	60
7	306	60
8	374	60
9	385	60
10	389	60
0	3	3

Iter	Nodes	Cost
0	8	19
1	17	15
2	28	15
3	41	15
4	51	15
5	58	15
6	66	15
7	85	15
8	113	15
9	127	15
10	153	15
11	158	15
12	159	15

Iter	Nodes	Cost
0	8	19
1	17	15
2	28	15
3	41	15
4	51	15
5	58	15
6	66	15
7	85	15
8	113	15
9	127	15
10	153	15
11	158	15
12	159	15