Details

analyze266.0ms (8.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.8%	25%	71.8%	0.1%	3.1%	0%	0%	9
36.4%	34.3%	60.1%	0.1%	5.5%	0%	0%	10
44.5%	41.3%	51.5%	0.1%	7%	0%	0%	11
51.5%	46.8%	44.1%	0.1%	9%	0%	0%	12

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample1.1s (38%)

Results

903.0ms	8256×	body	256	valid
221.0ms	1249×	body	256	infinite

Bogosity

preprocess118.0ms (3.9%)

Algorithm

2×	egg-herbie

Rules

1070×	`associate--r+`
1054×	`fma-def`
870×	`fma-neg`
692×	`associate--l+`
676×	`associate-+l-`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	84
1	46	84
2	75	84
3	109	76
4	173	76
5	253	76
6	400	76
7	678	76
8	1574	76
9	3340	76
10	4595	76
11	4839	76
12	4856	76
13	4856	76
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify53.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

638×	`fma-def`
270×	`associate--r+`
216×	`associate-+r+`
214×	`associate-r`
200×	`associate-+l+`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	21	21
2	31	21
3	44	19
4	61	19
5	86	19
6	137	19
7	231	19
8	506	19
9	1031	19
10	1658	19
11	1754	19
12	1759	19

Stop Event

1×

saturated

Counts

1 → 3

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 27 to 15 computations (44.4% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

Counts

4 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 21 to 13 computations (38.1% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series3.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite58.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1770×	`add-sqr-sqrt`
1754×	`*-un-lft-identity`
1640×	`add-cube-cbrt`
1612×	`add-cbrt-cube`
166×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	154	13
2	2152	13

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

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

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

Outputs

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

simplify56.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1540×	`associate-/r*`
810×	`associate-*r/`
714×	`associate-+r+`
610×	`associate-+l+`
588×	`associate-*l/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	81	894
1	230	888
2	921	886
3	3689	876

Stop Event

1×	node limit

Counts

60 → 34

Calls

Call 1

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

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

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 23 to 13 computations (43.5% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite57.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1502×	`add-sqr-sqrt`
1486×	`*-un-lft-identity`
1382×	`add-cube-cbrt`
1366×	`add-cbrt-cube`
1354×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	147	13
2	1802	13

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

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

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

Outputs

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

simplify60.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1064×	`*-commutative`
916×	`fma-def`
676×	`associate-r`
616×	`distribute-lft-out`
602×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	62	616
1	143	612
2	425	604
3	2444	604
4	5211	604

Stop Event

1×	node limit

Counts

44 → 31

Calls

Call 1

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

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

eval14.0ms (0.5%)

Compiler: Compiled 850 to 378 computations (55.5% saved)

prune9.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	62	3	65
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	63	4	67

Error

Counts

67 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	27.8b	(fma.f64 x y (*.f64 z x))
▶	22.2b	(-.f64 (*.f64 z x) z)
▶	12.9b	(-.f64 (*.f64 y x) z)
✓	0.0b	(-.f64 (*.f64 x (+.f64 y z)) z)

Compiler

Compiled 35 to 21 computations (40% saved)

localize7.0ms (0.2%)

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)

series2.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite62.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1664×	`add-sqr-sqrt`
1648×	`*-un-lft-identity`
1534×	`add-cube-cbrt`
1518×	`add-cbrt-cube`
162×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	151	13
2	2015	13

Stop Event

1×	node limit

Counts

1 → 39

Calls

Call 1

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

Outputs

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

simplify66.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1626×	`associate-/r*`
994×	`associate-+r+`
708×	`associate-+l+`
652×	`fma-def`
568×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1419
1	269	1339
2	1116	1327
3	3869	1327

Stop Event

1×	node limit

Counts

75 → 48

Calls

Call 1

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

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

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 5 computations (61.5% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite74.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1486×	`add-sqr-sqrt`
1470×	`*-un-lft-identity`
1372×	`add-cube-cbrt`
1358×	`add-cbrt-cube`
1346×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	132	13
2	1802	13

Stop Event

1×	node limit

Counts

1 → 39

Calls

Call 1

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

Outputs

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

simplify63.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

942×	`associate-+r+`
796×	`associate-/l/`
728×	`associate-*r/`
702×	`associate-+l+`
700×	`*-commutative`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	110	1273
1	288	1193
2	1170	1193
3	4366	1193

Stop Event

1×	node limit

Counts

63 → 55

Calls

Call 1

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

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

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 15 to 5 computations (66.7% saved)

series2.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite58.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1528×	`add-sqr-sqrt`
1518×	`*-un-lft-identity`
1396×	`add-cube-cbrt`
1374×	`add-cbrt-cube`
1358×	`add-exp-log`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	157	13
2	1870	13

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

Outputs

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

simplify50.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1480×	`associate-/l*`
732×	`*-commutative`
722×	`associate-+r+`
658×	`associate-+l+`
568×	`associate-/r*`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	68	853
1	189	841
2	887	833
3	3182	827

Stop Event

1×	node limit

Counts

59 → 35

Calls

Call 1

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

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

eval21.0ms (0.7%)

Compiler: Compiled 1608 to 536 computations (66.7% saved)

prune22.0ms (0.7%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	134	4	138
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	134	8	142

Error

Counts

142 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	27.8b	(fma.f64 x y (*.f64 z x))
✓	22.2b	(-.f64 (*.f64 z x) z)
✓	12.9b	(-.f64 (*.f64 y x) z)
✓	0.0b	(-.f64 (*.f64 x (+.f64 y z)) z)
▶	27.8b	(*.f64 (+.f64 y z) x)
▶	49.7b	(*.f64 z x)
▶	40.1b	(*.f64 y x)
▶	34.9b	(neg.f64 z)

Compiler

Compiled 60 to 38 computations (36.7% saved)

localize3.0ms (0.1%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

localize3.0ms (0.1%)

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

localize3.0ms (0.1%)

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

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

9 calls:

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

rewrite53.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1642×	`add-sqr-sqrt`
1626×	`*-un-lft-identity`
1516×	`add-cube-cbrt`
1496×	`add-cbrt-cube`
158×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

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

Outputs

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

simplify58.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1114×	`fma-def`
1018×	`distribute-lft-out`
808×	`associate-r`
766×	`associate-l`
566×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	625
1	151	625
2	439	625
3	2814	625
4	5999	625

Stop Event

1×	node limit

Counts

45 → 29

Calls

Call 1

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

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

eval4.0ms (0.1%)

Compiler: Compiled 282 to 107 computations (62.1% saved)

prune6.0ms (0.2%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	29	8	37

Error

Counts

37 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	27.8b	(fma.f64 x y (*.f64 z x))
✓	22.2b	(-.f64 (*.f64 z x) z)
✓	12.9b	(-.f64 (*.f64 y x) z)
✓	0.0b	(-.f64 (*.f64 x (+.f64 y z)) z)
✓	27.8b	(*.f64 (+.f64 y z) x)
✓	49.7b	(*.f64 z x)
✓	40.1b	(*.f64 y x)
✓	34.9b	(neg.f64 z)

Compiler

Compiled 60 to 38 computations (36.7% saved)

regimes27.0ms (0.9%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 80 to 39 computations (51.3% saved)

regimes24.0ms (0.8%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 72 to 35 computations (51.4% saved)

regimes51.0ms (1.7%)

Counts

6 → 3

Calls

Call 1

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

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

Calls

3 calls:

21.0ms	z
15.0ms	y
13.0ms	x

Results

Error	Segments	Branch
0.9b	3	`x`
7.9b	3	`y`
4.7b	5	`z`

Compiler

Compiled 38 to 19 computations (50% saved)

bsearch28.0ms (0.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
17.0ms	2.8063131414894227e-14	409608.44045543857
11.0ms	-2428.4452940544916	-47.767587474016516

Results

25.0ms

272×

body

256

valid

Compiler

Compiled 324 to 217 computations (33% saved)

regimes53.0ms (1.8%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

24.0ms	y
17.0ms	z
11.0ms	x

Results

Error	Segments	Branch
8.9b	3	`x`
21.2b	7	`y`
18.6b	5	`z`

Compiler

Compiled 28 to 17 computations (39.3% saved)

bsearch22.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
10.0ms	5.00046557477094e-53	1.033596284559388e-52
12.0ms	-1.115107838800246e-67	-1.1440573472139088e-69

Results

20.0ms

192×

body

256

valid

Compiler

Compiled 198 to 145 computations (26.8% saved)

regimes48.0ms (1.6%)

Counts

3 → 6

Calls

Call 1

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

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

Calls

3 calls:

21.0ms	x
16.0ms	z
10.0ms	y

Results

Error	Segments	Branch
18.0b	6	`x`
28.5b	3	`y`
22.6b	5	`z`

Compiler

Compiled 23 to 15 computations (34.8% saved)

bsearch98.0ms (3.3%)

Algorithm

5×	binary-search

Steps

Time	Left	Right
14.0ms	5.745488207141012e+56	1.0595083291552096e+58
8.0ms	5.00046557477094e-53	1.033596284559388e-52
15.0ms	-6.918028173655688e-61	-9.999807704481112e-67
17.0ms	-6.37757816161712e+121	-5.3764368513841215e+119
43.0ms	-2.3010952827574797e+264	-1.7852292017485166e+250

Results

58.0ms	608×	body	256	valid
30.0ms	332×	body	256	infinite

Compiler

Compiled 536 to 393 computations (26.7% saved)

regimes27.0ms (0.9%)

Accuracy

Total -40.6b remaining (-191.9%)

Threshold costs -40.6b (-191.9%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

3 calls:

9.0ms	z
9.0ms	x
8.0ms	y

Results

Error	Segments	Branch
21.2b	3	`x`
28.5b	3	`y`
24.0b	3	`z`

Compiler

Compiled 20 to 14 computations (30% saved)

bsearch25.0ms (0.8%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
9.0ms	5.00046557477094e-53	1.033596284559388e-52
16.0ms	-6.918028173655688e-61	-9.999807704481112e-67

Results

23.0ms

224×

body

256

valid

Compiler

Compiled 200 to 153 computations (23.5% saved)

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	261
1	76	261
2	80	261
3	81	261

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 x y (*.f64 (+.f64 x -1) z))
(-.f64 (*.f64 x (+.f64 y z)) z)
(if (<=.f64 x -48) (.f64 (+.f64 y z) x) (if (<=.f64 x 1) (-.f64 (.f64 y x) z) (*.f64 (+.f64 y z) x)))
(if (<=.f64 x -1942668892225729/60708402882054033466233184588234965832575213720379360039119137804340758912662765568) (.f64 (+.f64 y z) x) (if (<=.f64 x 3504793066729583/53919893334301279589334030174039261347274288845081144962207220498432) (neg.f64 z) (.f64 (+.f64 y z) x)))
(if (<=.f64 x -19999999999999998421936661664294053151080855387504444745733035393436825233278672005560948283410708288220728162236284648020809571429082630568562515505514583247285006834145935719548240949300738322281106670384019261349564171109391944306795105153030553600) (.f64 y x) (if (<=.f64 x -4499999999999999766671944063894435841833317411656104532063605580220905632224126802908872701654665474520332768931991257088) (.f64 z x) (if (<=.f64 x -524682904356589/1809251394333065553493296640760748560207343510400633813116524750123642650624) (.f64 y x) (if (<=.f64 x 5499829120098731/53919893334301279589334030174039261347274288845081144962207220498432) (neg.f64 z) (if (<=.f64 x 1519999999999999982890194646610905254954304683119613050880) (.f64 y x) (*.f64 z x))))))
(if (<=.f64 x -497544133441593/904625697166532776746648320380374280103671755200316906558262375061821325312) (.f64 y x) (if (<=.f64 x 5499829120098731/53919893334301279589334030174039261347274288845081144962207220498432) (neg.f64 z) (.f64 y x)))
(neg.f64 z)

Outputs
(fma.f64 x y (*.f64 (+.f64 x -1) z))
(-.f64 (*.f64 x (+.f64 y z)) z)
(if (<=.f64 x -48) (.f64 (+.f64 y z) x) (if (<=.f64 x 1) (-.f64 (.f64 y x) z) (*.f64 (+.f64 y z) x)))
(if (or (<=.f64 x -48) (not (<=.f64 x 1))) (.f64 x (+.f64 y z)) (-.f64 (.f64 x y) z))
(if (<=.f64 x -1942668892225729/60708402882054033466233184588234965832575213720379360039119137804340758912662765568) (.f64 (+.f64 y z) x) (if (<=.f64 x 3504793066729583/53919893334301279589334030174039261347274288845081144962207220498432) (neg.f64 z) (.f64 (+.f64 y z) x)))
(if (or (<=.f64 x -1942668892225729/60708402882054033466233184588234965832575213720379360039119137804340758912662765568) (not (<=.f64 x 3504793066729583/53919893334301279589334030174039261347274288845081144962207220498432))) (*.f64 x (+.f64 y z)) (neg.f64 z))
(if (<=.f64 x -19999999999999998421936661664294053151080855387504444745733035393436825233278672005560948283410708288220728162236284648020809571429082630568562515505514583247285006834145935719548240949300738322281106670384019261349564171109391944306795105153030553600) (.f64 y x) (if (<=.f64 x -4499999999999999766671944063894435841833317411656104532063605580220905632224126802908872701654665474520332768931991257088) (.f64 z x) (if (<=.f64 x -524682904356589/1809251394333065553493296640760748560207343510400633813116524750123642650624) (.f64 y x) (if (<=.f64 x 5499829120098731/53919893334301279589334030174039261347274288845081144962207220498432) (neg.f64 z) (if (<=.f64 x 1519999999999999982890194646610905254954304683119613050880) (.f64 y x) (*.f64 z x))))))
(if (<=.f64 x -19999999999999998421936661664294053151080855387504444745733035393436825233278672005560948283410708288220728162236284648020809571429082630568562515505514583247285006834145935719548240949300738322281106670384019261349564171109391944306795105153030553600) (.f64 x y) (if (<=.f64 x -4499999999999999766671944063894435841833317411656104532063605580220905632224126802908872701654665474520332768931991257088) (.f64 x z) (if (<=.f64 x -524682904356589/1809251394333065553493296640760748560207343510400633813116524750123642650624) (.f64 x y) (if (<=.f64 x 5499829120098731/53919893334301279589334030174039261347274288845081144962207220498432) (neg.f64 z) (if (<=.f64 x 1519999999999999982890194646610905254954304683119613050880) (.f64 x y) (*.f64 x z))))))
(if (<=.f64 x -497544133441593/904625697166532776746648320380374280103671755200316906558262375061821325312) (.f64 y x) (if (<=.f64 x 5499829120098731/53919893334301279589334030174039261347274288845081144962207220498432) (neg.f64 z) (.f64 y x)))
(if (<=.f64 x -497544133441593/904625697166532776746648320380374280103671755200316906558262375061821325312) (.f64 x y) (if (<=.f64 x 5499829120098731/53919893334301279589334030174039261347274288845081144962207220498432) (neg.f64 z) (.f64 x y)))
(neg.f64 z)

Compiler

Compiled 126 to 76 computations (39.7% saved)

soundness107.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

638×	`fma-def`
270×	`associate--r+`
216×	`associate-+r+`
214×	`associate-r`
200×	`associate-+l+`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	21	21
2	31	21
3	44	19
4	61	19
5	86	19
6	137	19
7	231	19
8	506	19
9	1031	19
10	1658	19
11	1754	19
12	1759	19

Stop Event

1×

saturated

Compiler

Compiled 120 to 64 computations (46.7% saved)

end47.0ms (1.6%)

Compiler: Compiled 108 to 49 computations (54.6% saved)

Details

analyze266.0ms (8.9%)

sample1.1s (38%)

preprocess118.0ms (3.9%)

simplify53.0ms (1.8%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series3.0ms (0.1%)

rewrite58.0ms (1.9%)

simplify56.0ms (1.9%)

localize10.0ms (0.3%)

series2.0ms (0.1%)

rewrite57.0ms (1.9%)

simplify60.0ms (2%)

eval14.0ms (0.5%)

prune9.0ms (0.3%)

localize7.0ms (0.2%)

series2.0ms (0.1%)

rewrite62.0ms (2.1%)

simplify66.0ms (2.2%)

localize5.0ms (0.2%)

series1.0ms (0%)

rewrite74.0ms (2.5%)

simplify63.0ms (2.1%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite58.0ms (1.9%)

simplify50.0ms (1.7%)

eval21.0ms (0.7%)

prune22.0ms (0.7%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite53.0ms (1.8%)

simplify58.0ms (1.9%)

eval4.0ms (0.1%)

prune6.0ms (0.2%)

regimes27.0ms (0.9%)

regimes24.0ms (0.8%)

regimes51.0ms (1.7%)

bsearch28.0ms (0.9%)

regimes53.0ms (1.8%)

bsearch22.0ms (0.7%)

regimes48.0ms (1.6%)

bsearch98.0ms (3.3%)

regimes27.0ms (0.9%)

bsearch25.0ms (0.8%)

simplify9.0ms (0.3%)

soundness107.0ms (3.6%)

end47.0ms (1.6%)

Profiling