Details

analyze277.0ms (4.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
28.1%	71.8%	0.1%	9
34.3%	56.9%	8.7%	10
40.6%	49.9%	9.5%	11
48%	41.9%	10.1%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample1.7s (28.5%)

Results

1.5s	8252×	body	256	valid
125.0ms	1153×	body	256	invalid
1.0ms	3×	body	1024	valid
0.0ms	1×	body	512	valid

preprocess27.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

522×	`fma-def_binary64`
97×	`distribute-rgt-in_binary64`
78×	`associate-+l+_binary64`
66×	`associate-+r+_binary64`
61×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	40
1	53	40
2	137	40
3	336	40
4	706	40
5	1090	40
6	1156	40
7	1162	40
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
0
2

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

186×	`fma-def_binary64`
32×	`distribute-rgt-in_binary64`
26×	`associate-+l+_binary64`
22×	`associate-+r+_binary64`
20×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	19	10
2	51	10
3	120	10
4	246	10
5	386	10
6	408	10
7	410	10

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 10 to 7 computations (30% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 10 to 7 computations (30% saved)

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 20 to 10 computations (50% saved)

series5.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite98.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

676×	`prod-diff_binary64`
600×	`unpow-prod-down_binary64`
408×	`log-prod_binary64`
324×	`fma-def_binary64`
231×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	176	10
2	2546	10

Stop Event

1×	node limit

Counts

1 → 76

Calls

Call 1

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

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

Outputs

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

simplify21.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

176×	`fma-def_binary64`
37×	`associate-+l+_binary64`
25×	`associate-+r+_binary64`
20×	`distribute-rgt-in_binary64`
15×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	438
1	33	330
2	71	318
3	164	318
4	279	318
5	325	318
6	359	318
7	365	318

Stop Event

1×

saturated

Counts

112 → 86

Calls

Call 1

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

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

eval31.0ms (0.5%)

Compiler: Compiled 1162 to 452 computations (61.1% saved)

prune18.0ms (0.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	80	6	86
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	80	7	87

Error

Counts

87 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	31.6b	(*.f64 (+.f64 1 z) x)
▶	38.8b	(*.f64 (+.f64 y x) z)
▶	25.0b	(+.f64 y x)
▶	31.7b	(*.f64 y (+.f64 1 z))
▶	0.0b	(+.f64 (+.f64 x y) (*.f64 (+.f64 x y) z))
	0.0b	(fma.f64 (+.f64 z 1) y (*.f64 (+.f64 z 1) x))
✓	0.0b	(*.f64 (+.f64 x y) (+.f64 z 1))

Compiler

Compiled 120 to 79 computations (34.2% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 23 to 6 computations (73.9% saved)

series7.0ms (0.1%)

Counts

2 → 72

Calls

18 calls:

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

rewrite76.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

493×	`fma-def_binary64`
412×	`log-prod_binary64`
403×	`prod-exp_binary64`
339×	`pow-prod-down_binary64`
300×	`exp-prod_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	160	17
2	2479	17

Stop Event

1×	node limit

Counts

2 → 135

Calls

Call 1

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

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

Outputs

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

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

simplify101.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

740×	`fma-def_binary64`
623×	`fma-neg_binary64`
153×	`distribute-rgt-in_binary64`
101×	`distribute-lft-in_binary64`
97×	`unsub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	32	638
1	94	579
2	211	552
3	502	552
4	1071	552
5	2010	552
6	2792	552
7	2883	552
8	2883	552

Stop Event

1×

saturated

Counts

207 → 155

Calls

Call 1

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

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

localize3.0ms (0.1%)

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

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series3.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite67.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

643×	`pow1_binary64`
598×	`add-log-exp_binary64`
598×	`log1p-expm1-u_binary64`
598×	`expm1-log1p-u_binary64`
585×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	126	7
2	1666	7

Stop Event

1×	node limit

Counts

1 → 26

Calls

Call 1

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

Outputs

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

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`fma-def_binary64`
4×	`associate-r_binary64`
4×	`associate-l_binary64`
3×	`*-lft-identity_binary64`
3×	`*-rgt-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	54
1	8	54
2	12	54
3	16	54
4	22	54
5	28	54
6	41	54
7	45	54
8	47	54

Stop Event

1×

saturated

Counts

38 → 29

Calls

Call 1

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

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

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite65.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

604×	`pow1_binary64`
560×	`add-log-exp_binary64`
560×	`log1p-expm1-u_binary64`
560×	`expm1-log1p-u_binary64`
549×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	121	7
2	1520	7

Stop Event

1×	node limit

Counts

1 → 19

Calls

Call 1

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

Outputs

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

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`fma-def_binary64`
4×	`associate-r_binary64`
4×	`associate-l_binary64`
3×	`*-lft-identity_binary64`
3×	`*-rgt-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	54
1	11	54
2	16	54
3	22	54
4	28	54
5	41	54
6	45	54
7	47	54

Stop Event

1×

saturated

Counts

31 → 23

Calls

Call 1

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

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

9 calls:

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

rewrite69.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

715×	`pow1_binary64`
663×	`add-log-exp_binary64`
663×	`log1p-expm1-u_binary64`
663×	`expm1-log1p-u_binary64`
648×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	128	7
2	1776	7

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

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

Outputs

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

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
4×	`fma-def_binary64`
2×	`+-commutative_binary64`
2×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	168
1	11	150
2	18	150
3	20	150

Stop Event

1×

saturated

Counts

45 → 26

Calls

Call 1

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

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

eval57.0ms (1%)

Compiler: Compiled 2806 to 979 computations (65.1% saved)

prune50.0ms (0.8%)

Pruning

12 alts after pruning (7 fresh and 5 done)

	Pruned	Kept	Total
New	227	6	233
Fresh	0	1	1
Picked	0	1	1
Done	1	4	5
Total	228	12	240

Error

Counts

240 → 12

Alt Table

Click to see full alt table

Status	Error	Program
	43.8b	y
▶	31.6b	(+.f64 (*.f64 z x) x)
	43.9b	x
▶	0.0b	(fma.f64 (+.f64 z 1) y (*.f64 (+.f64 z 1) x))
✓	31.6b	(*.f64 (+.f64 1 z) x)
✓	38.8b	(*.f64 (+.f64 y x) z)
▶	51.2b	(*.f64 z x)
▶	31.7b	(+.f64 (*.f64 y z) y)
✓	25.0b	(+.f64 y x)
✓	0.0b	(+.f64 (+.f64 x y) (*.f64 (+.f64 x y) z))
✓	0.0b	(*.f64 (+.f64 x y) (+.f64 z 1))
▶	50.4b	(*.f64 z y)

Compiler

Compiled 134 to 88 computations (34.3% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 15 computations (40% saved)

series11.0ms (0.2%)

Counts

2 → 60

Calls

15 calls:

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

rewrite80.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

805×	`pow1_binary64`
743×	`log1p-expm1-u_binary64`
743×	`expm1-log1p-u_binary64`
742×	`add-log-exp_binary64`
726×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	21
1	162	17
2	2023	17

Stop Event

1×	node limit

Counts

2 → 43

Calls

Call 1

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

Outputs

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

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

simplify119.0ms (2%)

Algorithm

1×	egg-herbie

Rules

677×	`fma-def_binary64`
676×	`fma-neg_binary64`
129×	`distribute-rgt-in_binary64`
94×	`cancel-sign-sub-inv_binary64`
88×	`unsub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	23	465
1	65	465
2	158	432
3	425	432
4	992	432
5	2129	432
6	2886	432
7	2931	432
8	2931	432

Stop Event

1×

saturated

Counts

103 → 59

Calls

Call 1

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

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

localize3.0ms (0.1%)

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

localize3.0ms (0.1%)

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

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 5 computations (61.5% saved)

series3.0ms (0.1%)

Counts

1 → 15

Calls

6 calls:

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

rewrite47.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

618×	`pow1_binary64`
575×	`add-log-exp_binary64`
575×	`log1p-expm1-u_binary64`
575×	`expm1-log1p-u_binary64`
562×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	110	5
2	1565	5

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

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

Outputs

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

simplify31.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

62×	`fma-def_binary64`
59×	`fma-neg_binary64`
22×	`associate-l_binary64`
21×	`unsub-neg_binary64`
18×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	93
1	32	93
2	63	69
3	159	69
4	232	69
5	323	69
6	384	69

Stop Event

1×

saturated

Counts

53 → 41

Calls

Call 1

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

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

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 5 computations (61.5% saved)

series5.0ms (0.1%)

Counts

1 → 15

Calls

6 calls:

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

rewrite91.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

633×	`pow1_binary64`
590×	`add-log-exp_binary64`
589×	`log1p-expm1-u_binary64`
589×	`expm1-log1p-u_binary64`
577×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	112	5
2	1610	5

Stop Event

1×	node limit

Counts

1 → 40

Calls

Call 1

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

Outputs

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

simplify48.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

66×	`fma-def_binary64`
53×	`fma-neg_binary64`
20×	`unsub-neg_binary64`
16×	`distribute-lft-in_binary64`
16×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	93
1	27	93
2	58	69
3	139	69
4	236	69
5	334	69
6	394	69

Stop Event

1×

saturated

Counts

55 → 45

Calls

Call 1

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

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

eval83.0ms (1.4%)

Compiler: Compiled 1601 to 710 computations (55.7% saved)

prune94.0ms (1.6%)

Pruning

12 alts after pruning (3 fresh and 9 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	0	2	2
Picked	0	1	1
Done	1	8	9
Total	145	12	157

Error

Counts

157 → 12

Alt Table

Click to see full alt table

Status	Error	Program
✓	51.2b	(*.f64 z x)
▶	20.0b	(fma.f64 (+.f64 z 1) y (*.f64 z x))
	43.8b	y
✓	31.6b	(+.f64 (*.f64 z x) x)
✓	31.6b	(*.f64 (+.f64 1 z) x)
✓	38.8b	(*.f64 (+.f64 y x) z)
✓	31.7b	(+.f64 (*.f64 y z) y)
✓	25.0b	(+.f64 y x)
✓	0.0b	(+.f64 (+.f64 x y) (*.f64 (+.f64 x y) z))
	43.9b	x
✓	0.0b	(*.f64 (+.f64 x y) (+.f64 z 1))
✓	50.4b	(*.f64 z y)

Compiler

Compiled 91 to 59 computations (35.2% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 21 to 10 computations (52.4% saved)

series4.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite104.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

798×	`pow1_binary64`
736×	`log1p-expm1-u_binary64`
736×	`expm1-log1p-u_binary64`
735×	`add-log-exp_binary64`
719×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	162	11
2	2004	11

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

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

Outputs

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

simplify61.0ms (1%)

Algorithm

1×	egg-herbie

Rules

273×	`fma-def_binary64`
258×	`fma-neg_binary64`
64×	`cancel-sign-sub-inv_binary64`
63×	`distribute-rgt-in_binary64`
48×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	318
1	49	264
2	113	258
3	297	258
4	599	258
5	1000	258
6	1306	258
7	1328	258

Stop Event

1×

saturated

Counts

57 → 32

Calls

Call 1

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

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

eval16.0ms (0.3%)

Compiler: Compiled 366 to 191 computations (47.8% saved)

prune22.0ms (0.4%)

Pruning

12 alts after pruning (3 fresh and 9 done)

	Pruned	Kept	Total
New	30	2	32
Fresh	1	1	2
Picked	0	1	1
Done	1	8	9
Total	32	12	44

Error

Counts

44 → 12

Alt Table

Click to see full alt table

Status	Error	Program
✓	51.2b	(*.f64 z x)
✓	20.0b	(fma.f64 (+.f64 z 1) y (*.f64 z x))
✓	0.0b	(*.f64 (+.f64 x y) (+.f64 z 1))
	43.8b	y
✓	31.6b	(*.f64 (+.f64 1 z) x)
✓	38.8b	(*.f64 (+.f64 y x) z)
✓	31.7b	(+.f64 (*.f64 y z) y)
✓	31.6b	(+.f64 (*.f64 z x) x)
✓	25.0b	(+.f64 y x)
	20.0b	(+.f64 y (*.f64 (+.f64 y x) z))
	43.9b	x
✓	50.4b	(*.f64 z y)

Compiler

Compiled 89 to 59 computations (33.7% saved)

regimes125.0ms (2.1%)

Counts

16 → 1

Calls

Call 1

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

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

Calls

7 calls:

20.0ms	(*.f64 (+.f64 x y) (+.f64 z 1))
19.0ms	x
19.0ms	z
18.0ms	(+.f64 x y)
18.0ms	y

Results

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

Compiler

Compiled 121 to 62 computations (48.8% saved)

regimes167.0ms (2.8%)

Counts

13 → 1

Calls

Call 1

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

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

Calls

6 calls:

51.0ms	x
50.0ms	z
17.0ms	(*.f64 (+.f64 x y) (+.f64 z 1))
16.0ms	y
16.0ms	(+.f64 x y)

Results

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

Compiler

Compiled 88 to 46 computations (47.7% saved)

regimes343.0ms (5.8%)

Counts

12 → 3

Calls

Call 1

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

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

Calls

3 calls:

226.0ms	x
70.0ms	y
43.0ms	z

Results

Error	Segments	Branch
7.6b	4	`x`
5.0b	4	`y`
1.6b	3	`z`

Compiler

Compiled 59 to 26 computations (55.9% saved)

bsearch39.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
23.0ms	0.09971435489618234	717315.7439188524
16.0ms	-232907.12960139074	-0.0007529062585643469

Compiler

Compiled 16 to 12 computations (25% saved)

regimes161.0ms (2.7%)

Counts

11 → 3

Calls

Call 1

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

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

Calls

3 calls:

61.0ms	z
52.0ms	x
45.0ms	y

Results

Error	Segments	Branch
11.6b	2	`x`
6.3b	6	`y`
2.0b	3	`z`

Compiler

Compiled 52 to 25 computations (51.9% saved)

bsearch37.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	0.09971435489618234	717315.7439188524
20.0ms	-232907.12960139074	-0.0007529062585643469

Compiler

Compiled 16 to 12 computations (25% saved)

regimes87.0ms (1.5%)

Counts

9 → 6

Calls

Call 1

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

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

Calls

3 calls:

39.0ms	z
34.0ms	y
12.0ms	x

Results

Error	Segments	Branch
11.6b	2	`x`
6.3b	6	`y`
7.7b	7	`z`

Compiler

Compiled 42 to 21 computations (50% saved)

bsearch136.0ms (2.3%)

Algorithm

5×	binary-search

Steps

Time	Left	Right
17.0ms	3.1222481688434846e+41	3.2372921337502776e+46
42.0ms	284912895422498100.0	9827502703753392000.0
17.0ms	9.838964024643599e-68	3.071479006027269e-67
17.0ms	7.911858793683972e-110	2.4155929894102433e-102
44.0ms	1.5114795816327223e-148	3.343625627630482e-139

Compiler

Compiled 16 to 12 computations (25% saved)

regimes119.0ms (2%)

Counts

7 → 7

Calls

Call 1

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

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

Calls

3 calls:

61.0ms	y
35.0ms	z
21.0ms	x

Results

Error	Segments	Branch
18.1b	4	`x`
12.8b	6	`y`
7.8b	7	`z`

Compiler

Compiled 32 to 16 computations (50% saved)

bsearch167.0ms (2.8%)

Algorithm

6×	binary-search

Steps

Time	Left	Right
24.0ms	4.086412871818335e+231	5.170281581746567e+234
20.0ms	5.946325292056102e+26	2.360840373048438e+38
19.0ms	4.0465143978087564e-11	9.192236673365795e-9
20.0ms	-2.522133415164985e-10	-1.5471109891212437e-19
17.0ms	-1276315716.0921998	-286007130.76590586
67.0ms	-2.6296509208010626e+135	-3.617404108547702e+131

Compiler

Compiled 240 to 172 computations (28.3% saved)

regimes92.0ms (1.5%)

Counts

6 → 5

Calls

Call 1

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

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

Calls

3 calls:

42.0ms	y
25.0ms	z
23.0ms	x

Results

Error	Segments	Branch
22.5b	5	`x`
18.9b	9	`y`
10.4b	5	`z`

Compiler

Compiled 27 to 15 computations (44.4% saved)

bsearch77.0ms (1.3%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
16.0ms	4.086412871818335e+231	5.170281581746567e+234
18.0ms	0.09971435489618234	717315.7439188524
17.0ms	-232907.12960139074	-0.0007529062585643469
25.0ms	-2.6296509208010626e+135	-3.617404108547702e+131

Compiler

Compiled 240 to 172 computations (28.3% saved)

regimes130.0ms (2.2%)

Counts

5 → 10

Calls

Call 1

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

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

Calls

3 calls:

51.0ms	y
44.0ms	z
34.0ms	x

Results

Error	Segments	Branch
27.7b	7	`x`
22.7b	10	`y`
25.4b	8	`z`

Compiler

Compiled 24 to 14 computations (41.7% saved)

bsearch241.0ms (4%)

Algorithm

9×	binary-search

Steps

Time	Left	Right
94.0ms	3.777676011209124e+121	2.6661334948872314e+126
19.0ms	3.2372921337502776e+46	1.2387357745525041e+48
19.0ms	284912895422498100.0	9827502703753392000.0
16.0ms	1.3148891024357139e-71	1.9124144330713798e-69
19.0ms	3.1306350735331903e-161	3.7199258751911977e-156
19.0ms	-4.86418918995815e-303	-4.190788402865482e-307
16.0ms	-1.364880366661958e-256	-1.767971979532471e-257
19.0ms	-3.8036145574711574e-130	-4.258518050560297e-135
19.0ms	-5.673606075966539e-54	-1.6740333924673367e-76

Compiler

Compiled 124 to 93 computations (25% saved)

regimes68.0ms (1.1%)

Counts

4 → 6

Calls

Call 1

Inputs
y
y
x
(*.f64 z x)

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

Calls

3 calls:

25.0ms	y
23.0ms	z
19.0ms	x

Results

Error	Segments	Branch
28.9b	5	`x`
26.8b	6	`y`
29.3b	6	`z`

Compiler

Compiled 21 to 13 computations (38.1% saved)

bsearch84.0ms (1.4%)

Algorithm

5×	binary-search

Steps

Time	Left	Right
17.0ms	3.1306350735331903e-161	3.7199258751911977e-156
16.0ms	-4.86418918995815e-303	-4.190788402865482e-307
17.0ms	-1.364880366661958e-256	-1.767971979532471e-257
17.0ms	-3.8036145574711574e-130	-4.258518050560297e-135
17.0ms	-5.673606075966539e-54	-1.6740333924673367e-76

Compiler

Compiled 16 to 12 computations (25% saved)

regimes40.0ms (0.7%)

Counts

3 → 2

Calls

Call 1

Inputs
y
y
x

Outputs
x
y

Calls

3 calls:

18.0ms	z
11.0ms	x
10.0ms	y

Results

Error	Segments	Branch
32.2b	2	`x`
30.1b	2	`y`
40.1b	4	`z`

Compiler

Compiled 18 to 12 computations (33.3% saved)

bsearch59.0ms (1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
58.0ms	3.1306350735331903e-161	3.7199258751911977e-156

Compiler

Compiled 16 to 12 computations (25% saved)

regimes12.0ms (0.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

2 → 1

Calls

Call 1

Inputs
y
y

Outputs
y

Calls

3 calls:

4.0ms	y
3.0ms	x
3.0ms	z

Results

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

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify16.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
5×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	93	399
1	110	399

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 x y) (*.f64 (+.f64 x y) z))
(*.f64 (+.f64 x y) (+.f64 z 1))
(if (<=.f64 z -4001314018572827/17179869184) (+.f64 y (.f64 (+.f64 y x) z)) (if (<=.f64 z 7185176504862979/72057594037927936) (+.f64 y x) (+.f64 y (.f64 (+.f64 y x) z))))
(if (<=.f64 z -4001314018572827/17179869184) (.f64 (+.f64 y x) z) (if (<=.f64 z 7185176504862979/72057594037927936) (+.f64 y x) (.f64 (+.f64 y x) z)))
(if (<=.f64 y 8704020915171627/57586096570152913699974892898380567793532123114264532903689671329431521032595044740083720782129802971518987656109067457577065805510327036019308994315074097345724416) (+.f64 (.f64 z x) x) (if (<=.f64 y 6694632294131719/84615164005151820665845159428194693098035799419427996068435045795123941278247852265624218936283556460491675139202989862944768) (+.f64 (.f64 y z) y) (if (<=.f64 y 2986538959750497/30354201441027016733116592294117482916287606860189680019559568902170379456331382784) (+.f64 y x) (if (<=.f64 y 284912895422498112) (+.f64 (.f64 y z) y) (if (<=.f64 y 312224816884348458932808528444971135533056) (+.f64 (.f64 z x) x) (+.f64 (*.f64 y z) y))))))
(if (<=.f64 z -369999999999999995030859691017893160072883670487774865230924552992919719398340129224557014715131956580182183479660467975980981420032) (.f64 z x) (if (<=.f64 z -2676628056634189/2097152) (.f64 z y) (if (<=.f64 z -4878515529769237/19342813113834066795298816) (+.f64 (.f64 z x) x) (if (<=.f64 z 3130838870370143/77371252455336267181195264) (+.f64 y x) (if (<=.f64 z 594632529205610211679666176) (+.f64 (.f64 z x) x) (if (<=.f64 z 4199999999999999685631499975988804069457810061237465612931062780941682278936888806574834256254149915649026116878793937427087763573755998619975253494660543115251942454170400330973108182228891063720116612151109605197728491314570330112) (.f64 z y) (.f64 z x)))))))
(if (<=.f64 z -369999999999999995030859691017893160072883670487774865230924552992919719398340129224557014715131956580182183479660467975980981420032) (.f64 z x) (if (<=.f64 z -4001314018572827/17179869184) (.f64 z y) (if (<=.f64 z 7185176504862979/72057594037927936) (+.f64 y x) (if (<=.f64 z 4199999999999999685631499975988804069457810061237465612931062780941682278936888806574834256254149915649026116878793937427087763573755998619975253494660543115251942454170400330973108182228891063720116612151109605197728491314570330112) (.f64 z y) (.f64 z x)))))
(if (<=.f64 y -4894723750991351/862718293348820473429344482784628181556388621521298319395315527974912) x (if (<=.f64 y -1187392823074639/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176) (.f64 z x) (if (<=.f64 y -4614776533516505/33810849992682575766549746234657062817206228866311777416189485377707129763630391006362704376810060025259161279568456235448470243808171874384034494621628132922136747775936325386798817131291292227393550906125516057865473810736099951285657401521090334495330469177455231893504) x (if (<=.f64 y -7511313267216427/1544206644495472857303583883048380333324864576447617480139933456630175320190394187102969236003396030389305708803686614314192266367994640173851115417028339461681498903477221384921775113999124270181577817371160469578262386195561925496048762173836971712805252506350393444460551564142078418977251644200485277277433072975872) (.f64 z x) (if (<=.f64 y 991105573891515/31658291388557380359744322690514840324496812684955115509000071179890844813636078997800499335839109758668501942530065835436974724391264154875845907853042325493325666835033489408) x (if (<=.f64 y 6539249039432887/497323236409786642155382248146820840100456150797347717440463976893159497012533375533056) y (if (<=.f64 y 284912895422498112) (.f64 z y) (if (<=.f64 y 32372921337502775864835944503168979983346434048) x (if (<=.f64 y 37999999999999999813506451198497522806119821155608058890309883141639632690239501414392717549460914728186129134412349046784) (.f64 z y) y)))))))))
(if (<=.f64 y -4894723750991351/862718293348820473429344482784628181556388621521298319395315527974912) x (if (<=.f64 y -1187392823074639/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176) (.f64 z x) (if (<=.f64 y -4614776533516505/33810849992682575766549746234657062817206228866311777416189485377707129763630391006362704376810060025259161279568456235448470243808171874384034494621628132922136747775936325386798817131291292227393550906125516057865473810736099951285657401521090334495330469177455231893504) x (if (<=.f64 y -7511313267216427/1544206644495472857303583883048380333324864576447617480139933456630175320190394187102969236003396030389305708803686614314192266367994640173851115417028339461681498903477221384921775113999124270181577817371160469578262386195561925496048762173836971712805252506350393444460551564142078418977251644200485277277433072975872) (.f64 z x) (if (<=.f64 y 991105573891515/31658291388557380359744322690514840324496812684955115509000071179890844813636078997800499335839109758668501942530065835436974724391264154875845907853042325493325666835033489408) x y)))))
(if (<=.f64 y 991105573891515/31658291388557380359744322690514840324496812684955115509000071179890844813636078997800499335839109758668501942530065835436974724391264154875845907853042325493325666835033489408) x y)
y

Outputs
(+.f64 (+.f64 x y) (*.f64 (+.f64 x y) z))
(+.f64 (+.f64 x y) (*.f64 z (+.f64 x y)))
(*.f64 (+.f64 x y) (+.f64 z 1))
(*.f64 (+.f64 z 1) (+.f64 x y))
(if (<=.f64 z -4001314018572827/17179869184) (+.f64 y (.f64 (+.f64 y x) z)) (if (<=.f64 z 7185176504862979/72057594037927936) (+.f64 y x) (+.f64 y (.f64 (+.f64 y x) z))))
(if (<=.f64 z -4001314018572827/17179869184) (+.f64 y (.f64 z (+.f64 x y))) (if (<=.f64 z 7185176504862979/72057594037927936) (+.f64 x y) (+.f64 y (.f64 z (+.f64 x y)))))
(if (<=.f64 z -4001314018572827/17179869184) (.f64 (+.f64 y x) z) (if (<=.f64 z 7185176504862979/72057594037927936) (+.f64 y x) (.f64 (+.f64 y x) z)))
(if (<=.f64 z -4001314018572827/17179869184) (.f64 z (+.f64 x y)) (if (<=.f64 z 7185176504862979/72057594037927936) (+.f64 x y) (.f64 z (+.f64 x y))))
(if (<=.f64 y 8704020915171627/57586096570152913699974892898380567793532123114264532903689671329431521032595044740083720782129802971518987656109067457577065805510327036019308994315074097345724416) (+.f64 (.f64 z x) x) (if (<=.f64 y 6694632294131719/84615164005151820665845159428194693098035799419427996068435045795123941278247852265624218936283556460491675139202989862944768) (+.f64 (.f64 y z) y) (if (<=.f64 y 2986538959750497/30354201441027016733116592294117482916287606860189680019559568902170379456331382784) (+.f64 y x) (if (<=.f64 y 284912895422498112) (+.f64 (.f64 y z) y) (if (<=.f64 y 312224816884348458932808528444971135533056) (+.f64 (.f64 z x) x) (+.f64 (*.f64 y z) y))))))
(if (<=.f64 y 8704020915171627/57586096570152913699974892898380567793532123114264532903689671329431521032595044740083720782129802971518987656109067457577065805510327036019308994315074097345724416) (+.f64 x (.f64 x z)) (if (<=.f64 y 6694632294131719/84615164005151820665845159428194693098035799419427996068435045795123941278247852265624218936283556460491675139202989862944768) (+.f64 y (.f64 y z)) (if (<=.f64 y 2986538959750497/30354201441027016733116592294117482916287606860189680019559568902170379456331382784) (+.f64 x y) (if (<=.f64 y 284912895422498112) (+.f64 y (.f64 y z)) (if (<=.f64 y 312224816884348458932808528444971135533056) (+.f64 x (.f64 x z)) (+.f64 y (*.f64 y z)))))))
(if (<=.f64 z -369999999999999995030859691017893160072883670487774865230924552992919719398340129224557014715131956580182183479660467975980981420032) (.f64 z x) (if (<=.f64 z -2676628056634189/2097152) (.f64 z y) (if (<=.f64 z -4878515529769237/19342813113834066795298816) (+.f64 (.f64 z x) x) (if (<=.f64 z 3130838870370143/77371252455336267181195264) (+.f64 y x) (if (<=.f64 z 594632529205610211679666176) (+.f64 (.f64 z x) x) (if (<=.f64 z 4199999999999999685631499975988804069457810061237465612931062780941682278936888806574834256254149915649026116878793937427087763573755998619975253494660543115251942454170400330973108182228891063720116612151109605197728491314570330112) (.f64 z y) (.f64 z x)))))))
(if (<=.f64 z -369999999999999995030859691017893160072883670487774865230924552992919719398340129224557014715131956580182183479660467975980981420032) (.f64 x z) (if (<=.f64 z -2676628056634189/2097152) (.f64 y z) (if (<=.f64 z -4878515529769237/19342813113834066795298816) (+.f64 x (.f64 x z)) (if (<=.f64 z 3130838870370143/77371252455336267181195264) (+.f64 x y) (if (<=.f64 z 594632529205610211679666176) (+.f64 x (.f64 x z)) (if (<=.f64 z 4199999999999999685631499975988804069457810061237465612931062780941682278936888806574834256254149915649026116878793937427087763573755998619975253494660543115251942454170400330973108182228891063720116612151109605197728491314570330112) (.f64 y z) (.f64 x z)))))))
(if (<=.f64 z -369999999999999995030859691017893160072883670487774865230924552992919719398340129224557014715131956580182183479660467975980981420032) (.f64 z x) (if (<=.f64 z -4001314018572827/17179869184) (.f64 z y) (if (<=.f64 z 7185176504862979/72057594037927936) (+.f64 y x) (if (<=.f64 z 4199999999999999685631499975988804069457810061237465612931062780941682278936888806574834256254149915649026116878793937427087763573755998619975253494660543115251942454170400330973108182228891063720116612151109605197728491314570330112) (.f64 z y) (.f64 z x)))))
(if (<=.f64 z -369999999999999995030859691017893160072883670487774865230924552992919719398340129224557014715131956580182183479660467975980981420032) (.f64 x z) (if (<=.f64 z -4001314018572827/17179869184) (.f64 y z) (if (<=.f64 z 7185176504862979/72057594037927936) (+.f64 x y) (if (<=.f64 z 4199999999999999685631499975988804069457810061237465612931062780941682278936888806574834256254149915649026116878793937427087763573755998619975253494660543115251942454170400330973108182228891063720116612151109605197728491314570330112) (.f64 y z) (.f64 x z)))))
(if (<=.f64 y -4894723750991351/862718293348820473429344482784628181556388621521298319395315527974912) x (if (<=.f64 y -1187392823074639/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176) (.f64 z x) (if (<=.f64 y -4614776533516505/33810849992682575766549746234657062817206228866311777416189485377707129763630391006362704376810060025259161279568456235448470243808171874384034494621628132922136747775936325386798817131291292227393550906125516057865473810736099951285657401521090334495330469177455231893504) x (if (<=.f64 y -7511313267216427/1544206644495472857303583883048380333324864576447617480139933456630175320190394187102969236003396030389305708803686614314192266367994640173851115417028339461681498903477221384921775113999124270181577817371160469578262386195561925496048762173836971712805252506350393444460551564142078418977251644200485277277433072975872) (.f64 z x) (if (<=.f64 y 991105573891515/31658291388557380359744322690514840324496812684955115509000071179890844813636078997800499335839109758668501942530065835436974724391264154875845907853042325493325666835033489408) x (if (<=.f64 y 6539249039432887/497323236409786642155382248146820840100456150797347717440463976893159497012533375533056) y (if (<=.f64 y 284912895422498112) (.f64 z y) (if (<=.f64 y 32372921337502775864835944503168979983346434048) x (if (<=.f64 y 37999999999999999813506451198497522806119821155608058890309883141639632690239501414392717549460914728186129134412349046784) (.f64 z y) y)))))))))
(if (<=.f64 y -4894723750991351/862718293348820473429344482784628181556388621521298319395315527974912) x (if (<=.f64 y -1187392823074639/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176) (.f64 x z) (if (<=.f64 y -4614776533516505/33810849992682575766549746234657062817206228866311777416189485377707129763630391006362704376810060025259161279568456235448470243808171874384034494621628132922136747775936325386798817131291292227393550906125516057865473810736099951285657401521090334495330469177455231893504) x (if (<=.f64 y -7511313267216427/1544206644495472857303583883048380333324864576447617480139933456630175320190394187102969236003396030389305708803686614314192266367994640173851115417028339461681498903477221384921775113999124270181577817371160469578262386195561925496048762173836971712805252506350393444460551564142078418977251644200485277277433072975872) (.f64 x z) (if (<=.f64 y 991105573891515/31658291388557380359744322690514840324496812684955115509000071179890844813636078997800499335839109758668501942530065835436974724391264154875845907853042325493325666835033489408) x (if (<=.f64 y 6539249039432887/497323236409786642155382248146820840100456150797347717440463976893159497012533375533056) y (if (<=.f64 y 284912895422498112) (.f64 y z) (if (<=.f64 y 32372921337502775864835944503168979983346434048) x (if (<=.f64 y 37999999999999999813506451198497522806119821155608058890309883141639632690239501414392717549460914728186129134412349046784) (.f64 y z) y)))))))))
(if (<=.f64 y -4894723750991351/862718293348820473429344482784628181556388621521298319395315527974912) x (if (<=.f64 y -1187392823074639/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176) (.f64 z x) (if (<=.f64 y -4614776533516505/33810849992682575766549746234657062817206228866311777416189485377707129763630391006362704376810060025259161279568456235448470243808171874384034494621628132922136747775936325386798817131291292227393550906125516057865473810736099951285657401521090334495330469177455231893504) x (if (<=.f64 y -7511313267216427/1544206644495472857303583883048380333324864576447617480139933456630175320190394187102969236003396030389305708803686614314192266367994640173851115417028339461681498903477221384921775113999124270181577817371160469578262386195561925496048762173836971712805252506350393444460551564142078418977251644200485277277433072975872) (.f64 z x) (if (<=.f64 y 991105573891515/31658291388557380359744322690514840324496812684955115509000071179890844813636078997800499335839109758668501942530065835436974724391264154875845907853042325493325666835033489408) x y)))))
(if (<=.f64 y -4894723750991351/862718293348820473429344482784628181556388621521298319395315527974912) x (if (<=.f64 y -1187392823074639/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176) (.f64 x z) (if (<=.f64 y -4614776533516505/33810849992682575766549746234657062817206228866311777416189485377707129763630391006362704376810060025259161279568456235448470243808171874384034494621628132922136747775936325386798817131291292227393550906125516057865473810736099951285657401521090334495330469177455231893504) x (if (<=.f64 y -7511313267216427/1544206644495472857303583883048380333324864576447617480139933456630175320190394187102969236003396030389305708803686614314192266367994640173851115417028339461681498903477221384921775113999124270181577817371160469578262386195561925496048762173836971712805252506350393444460551564142078418977251644200485277277433072975872) (.f64 x z) (if (<=.f64 y 991105573891515/31658291388557380359744322690514840324496812684955115509000071179890844813636078997800499335839109758668501942530065835436974724391264154875845907853042325493325666835033489408) x y)))))
(if (<=.f64 y 991105573891515/31658291388557380359744322690514840324496812684955115509000071179890844813636078997800499335839109758668501942530065835436974724391264154875845907853042325493325666835033489408) x y)
y

Compiler

Compiled 314 to 162 computations (48.4% saved)

soundness0.0ms (0%)

end133.0ms (2.2%)

Remove: (sort x y)
Compiler: Compiled 308 to 128 computations (58.4% saved)

Details

analyze277.0ms (4.7%)

sample1.7s (28.5%)

preprocess27.0ms (0.5%)

simplify11.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize11.0ms (0.2%)

series5.0ms (0.1%)

rewrite98.0ms (1.6%)

simplify21.0ms (0.4%)

eval31.0ms (0.5%)

prune18.0ms (0.3%)

localize6.0ms (0.1%)

series7.0ms (0.1%)

rewrite76.0ms (1.3%)

simplify101.0ms (1.7%)

localize3.0ms (0.1%)

localize10.0ms (0.2%)

series3.0ms (0%)

rewrite67.0ms (1.1%)

simplify9.0ms (0.1%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite65.0ms (1.1%)

simplify9.0ms (0.1%)

localize5.0ms (0.1%)

series4.0ms (0.1%)

rewrite69.0ms (1.2%)

simplify9.0ms (0.2%)

eval57.0ms (1%)

prune50.0ms (0.8%)

localize11.0ms (0.2%)

series11.0ms (0.2%)

rewrite80.0ms (1.3%)

simplify119.0ms (2%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

localize6.0ms (0.1%)

series3.0ms (0.1%)

rewrite47.0ms (0.8%)

simplify31.0ms (0.5%)

localize9.0ms (0.2%)

series5.0ms (0.1%)

rewrite91.0ms (1.5%)

simplify48.0ms (0.8%)

eval83.0ms (1.4%)

prune94.0ms (1.6%)

localize8.0ms (0.1%)

series4.0ms (0.1%)

rewrite104.0ms (1.7%)

simplify61.0ms (1%)

eval16.0ms (0.3%)

prune22.0ms (0.4%)

regimes125.0ms (2.1%)

regimes167.0ms (2.8%)

regimes343.0ms (5.8%)

bsearch39.0ms (0.7%)

regimes161.0ms (2.7%)

bsearch37.0ms (0.6%)

regimes87.0ms (1.5%)

bsearch136.0ms (2.3%)

regimes119.0ms (2%)

bsearch167.0ms (2.8%)

regimes92.0ms (1.5%)

bsearch77.0ms (1.3%)

regimes130.0ms (2.2%)

bsearch241.0ms (4%)

regimes68.0ms (1.1%)

bsearch84.0ms (1.4%)

regimes40.0ms (0.7%)

bsearch59.0ms (1%)

regimes12.0ms (0.2%)

simplify16.0ms (0.3%)

soundness0.0ms (0%)

end133.0ms (2.2%)

Profiling