Details

analyze458.0ms (7.9%)

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
23.4%	71%	5.6%	9
35.1%	56.6%	8.3%	10
41%	50.1%	8.9%	11
45.1%	41.6%	13.3%	12
52.6%	31.9%	15.5%	13
56.3%	27.7%	16%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample867.0ms (14.9%)

Results

758.0ms	8256×	body	128	valid
96.0ms	1037×	body	128	invalid

Compiler

Compiled 22 to 14 computations (36.4% saved)

preprocess13.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

8×	`fma-def_binary64`
4×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`associate-/l*_binary64`
4×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	40
1	27	40
2	33	32
3	41	32
4	45	32
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 10 to 6 computations (40% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`fma-def_binary64`
1×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`associate-/l*_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	10	10
2	12	8
3	14	8
4	15	8

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.1b	(fma.f64 y (/.f64 y z) x)
	6.4b	(+.f64 x (/.f64 (*.f64 y y) z))

Compiler

Compiled 54 to 30 computations (44.4% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 y (/.f64 y z) x)

series6.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite34.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

665×	`pow1_binary64`
612×	`add-log-exp_binary64`
612×	`log1p-expm1-u_binary64`
612×	`expm1-log1p-u_binary64`
65×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	124	8
2	1621	8

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

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

Outputs

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

simplify47.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

434×	`unswap-sqr_binary64`
423×	`associate-*r/_binary64`
392×	`associate-/r*_binary64`
388×	`associate-/r/_binary64`
331×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	8	303
1	14	303
2	23	303
3	40	249
4	87	249
5	271	249
6	1088	249
7	3509	249
8	4341	249
9	4551	249
10	4767	249

Stop Event

1×	node limit

Counts

58 → 27

Calls

Call 1

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

Outputs
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)

prune12.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	26	1	27
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	26	3	29

Error

0.0b

Counts

29 → 3

Alt Table

Status	Error	Program
	33.2b	(pow.f64 (sqrt.f64 (fma.f64 y (/.f64 y z) x)) 2)
✓	0.1b	(fma.f64 y (/.f64 y z) x)
▶	6.4b	(+.f64 x (/.f64 (*.f64 y y) z))

Compiler

Compiled 332 to 110 computations (66.9% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series6.0ms (0.1%)

Counts

2 → 60

Calls

15 calls:

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

rewrite49.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

855×	`log1p-expm1-u_binary64`
855×	`expm1-log1p-u_binary64`
84×	`add-sqr-sqrt_binary64`
82×	`*-un-lft-identity_binary64`
82×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	156	17
2	2307	17

Stop Event

1×	node limit

Counts

2 → 70

Calls

Call 1

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

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

Outputs

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

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

simplify60.0ms (1%)

Algorithm

1×	egg-herbie

Rules

434×	`unswap-sqr_binary64`
423×	`associate-*r/_binary64`
397×	`associate-/r/_binary64`
392×	`associate-/r*_binary64`
335×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	8	471
1	14	471
2	23	471
3	40	417
4	87	417
5	271	417
6	1094	417
7	3526	417
8	4358	417
9	4568	417
10	4784	417

Stop Event

1×	node limit

Counts

130 → 75

Calls

Call 1

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

Outputs
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)

prune62.0ms (1.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	71	4	75
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	72	6	78

Error

0.0b

Counts

78 → 6

Alt Table

Status	Error	Program
	32.1b	(+.f64 x (pow.f64 (/.f64 y (sqrt.f64 z)) 2))
	0.4b	(+.f64 x (*.f64 (/.f64 y (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z))))
✓	0.1b	(fma.f64 y (/.f64 y z) x)
✓	6.4b	(+.f64 x (/.f64 (*.f64 y y) z))
	14.3b	(+.f64 x (.f64 (cbrt.f64 (pow.f64 y 4)) (.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 z))))
▶	0.1b	(+.f64 x (*.f64 y (/.f64 1 (/.f64 z y))))

Compiler

Compiled 1089 to 417 computations (61.7% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series12.0ms (0.2%)

Counts

3 → 84

Calls

21 calls:

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

rewrite54.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

974×	`prod-diff_binary64`
174×	`log1p-udef_binary64`
102×	`add-sqr-sqrt_binary64`
99×	`*-un-lft-identity_binary64`
99×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	24
1	198	19
2	2809	19

Stop Event

1×	node limit

Counts

3 → 100

Calls

Call 1

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

Outputs

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

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

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

simplify60.0ms (1%)

Algorithm

1×	egg-herbie

Rules

444×	`associate-*r/_binary64`
434×	`unswap-sqr_binary64`
392×	`associate-/r*_binary64`
390×	`associate-/r/_binary64`
327×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	9	567
1	15	567
2	24	567
3	41	513
4	90	513
5	262	513
6	1089	513
7	3519	513
8	4370	513
9	4579	513
10	4795	513

Stop Event

1×	node limit

Counts

184 → 105

Calls

Call 1

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

Outputs
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 y z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)

prune93.0ms (1.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	101	4	105
Fresh	3	0	3
Picked	1	0	1
Done	2	0	2
Total	107	4	111

Error

Counts

111 → 4

Alt Table

Status	Error	Program
	29.6b	(.f64 (-.f64 (.f64 x x) (pow.f64 (.f64 y (/.f64 y z)) 2)) (/.f64 1 (-.f64 x (.f64 y (/.f64 y z)))))
	0.1b	(+.f64 x (/.f64 (/.f64 y z) (/.f64 1 y)))
▶	0.1b	(+.f64 x (/.f64 y (/.f64 z y)))
	0.1b	(+.f64 x (/.f64 1 (/.f64 (/.f64 z y) y)))

Compiler

Compiled 1405 to 542 computations (61.4% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series27.0ms (0.5%)

Counts

2 → 60

Calls

15 calls:

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

rewrite50.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

919×	`log1p-expm1-u_binary64`
919×	`expm1-log1p-u_binary64`
86×	`add-sqr-sqrt_binary64`
85×	`*-un-lft-identity_binary64`
85×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 77

Calls

Call 1

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

Outputs

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

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

simplify52.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

434×	`unswap-sqr_binary64`
423×	`associate-*r/_binary64`
397×	`associate-/r/_binary64`
392×	`associate-/r*_binary64`
335×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	8	471
1	14	471
2	23	471
3	40	417
4	87	417
5	271	417
6	1094	417
7	3526	417
8	4358	417
9	4568	417
10	4784	417

Stop Event

1×	node limit

Counts

137 → 80

Calls

Call 1

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

Outputs
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(/.f64 (pow.f64 y 2) z)
(/.f64 (*.f64 y y) z)
(/.f64 y (/.f64 z y))
(*.f64 (/.f64 y z) y)
(*.f64 y (/.f64 y z))
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
x
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (/.f64 (pow.f64 y 2) z) x)
(+.f64 (/.f64 (*.f64 y y) z) x)
(+.f64 (/.f64 y (/.f64 z y)) x)
(+.f64 (*.f64 (/.f64 y z) y) x)
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)

prune49.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	80	4	84

Error

Counts

84 → 4

Alt Table

Status	Error	Program
	29.6b	(.f64 (-.f64 (.f64 x x) (pow.f64 (.f64 y (/.f64 y z)) 2)) (/.f64 1 (-.f64 x (.f64 y (/.f64 y z)))))
	0.1b	(+.f64 x (/.f64 (/.f64 y z) (/.f64 1 y)))
✓	0.1b	(+.f64 x (/.f64 y (/.f64 z y)))
	0.1b	(+.f64 x (/.f64 1 (/.f64 (/.f64 z y) y)))

Compiler

Compiled 1085 to 366 computations (66.3% saved)

regimes3.7s (63.9%)

Accuracy

Total 0.1b remaining (75.6%)

Threshold costs 0.1b (75.6%)

Counts

55 → 1

Compiler

Compiled 597 to 237 computations (60.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`
1×	`*-lft-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	8
1	11	8

Stop Event

1×

saturated

Calls

Call 1

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

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

end57.0ms (1%)

Stop Event

1×

fuel

Compiler

Compiled 76 to 45 computations (40.8% saved)

Details

analyze458.0ms (7.9%)

sample867.0ms (14.9%)

preprocess13.0ms (0.2%)

simplify9.0ms (0.2%)

prune3.0ms (0%)

localize4.0ms (0.1%)

series6.0ms (0.1%)

rewrite34.0ms (0.6%)

simplify47.0ms (0.8%)

prune12.0ms (0.2%)

localize4.0ms (0.1%)

series6.0ms (0.1%)

rewrite49.0ms (0.8%)

simplify60.0ms (1%)

prune62.0ms (1.1%)

localize5.0ms (0.1%)

series12.0ms (0.2%)

rewrite54.0ms (0.9%)

simplify60.0ms (1%)

prune93.0ms (1.6%)

localize5.0ms (0.1%)

series27.0ms (0.5%)

rewrite50.0ms (0.9%)

simplify52.0ms (0.9%)

prune49.0ms (0.8%)

regimes3.7s (63.9%)

simplify2.0ms (0%)

end57.0ms (1%)

Profiling