Details

analyze509.0ms (23.2%)

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)

sample936.0ms (42.7%)

Results

821.0ms	8256×	body	128	valid
97.0ms	1033×	body	128	invalid

Compiler

Compiled 22 to 14 computations (36.4% saved)

preprocess23.0ms (1%)

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)

simplify8.0ms (0.4%)

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.1%)

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.0b	(fma.f64 y (/.f64 y z) x)
	6.7b	(+.f64 x (/.f64 (*.f64 y y) z))

Compiler

Compiled 54 to 30 computations (44.4% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.5%)

Counts

1 → 36

Calls

9 calls:

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

rewrite38.0ms (1.7%)

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)))))))

simplify49.0ms (2.2%)

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.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	27	2	29

Error

0.0b

Counts

29 → 2

Alt Table

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

Compiler

Compiled 308 to 94 computations (69.5% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series6.0ms (0.3%)

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	x	@	0	(+.f64 x (/.f64 (*.f64 y y) z))

rewrite46.0ms (2.1%)

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 expm1.f64 (log1p.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)))))

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 expm1.f64 (log1p.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)))))

simplify54.0ms (2.4%)

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)

prune35.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	74	3	77

Error

0.0b

Counts

77 → 3

Alt Table

Status	Error	Program
▶	0.4b	(+.f64 x (*.f64 (/.f64 y (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z))))
✓	6.7b	(+.f64 x (/.f64 (*.f64 y y) z))
✓	0.0b	(fma.f64 y (/.f64 y z) x)

Compiler

Compiled 1007 to 357 computations (64.5% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 y (cbrt.f64 z))
✓	0.2b	(*.f64 (/.f64 y (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z)))
✓	0.5b	(pow.f64 (cbrt.f64 z) 2)
✓	0.6b	(cbrt.f64 z)

series18.0ms (0.8%)

Counts

4 → 36

Calls

18 calls:

Time	Variable		Point	Expression
4.0ms	z	@	-inf	(*.f64 (/.f64 y (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z)))
3.0ms	y	@	inf	(/.f64 y (cbrt.f64 z))
2.0ms	y	@	0	(/.f64 y (cbrt.f64 z))
1.0ms	z	@	-inf	(pow.f64 (cbrt.f64 z) 2)
1.0ms	z	@	-inf	(cbrt.f64 z)

rewrite54.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

487×	`log-prod_binary64`
237×	`pow2_binary64`
170×	`pow1/3_binary64`
163×	`expm1-udef_binary64`
163×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	197	22
2	2611	22

Stop Event

1×	node limit

Counts

4 → 149

Calls

Call 1

Inputs
(cbrt.f64 z)
(pow.f64 (cbrt.f64 z) 2)
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z)))
(/.f64 y (cbrt.f64 z))

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

simplify42.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

607×	`associate-*l/_binary64`
582×	`associate-/l*_binary64`
488×	`associate-/l/_binary64`
399×	`associate-/r/_binary64`
362×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	276
1	23	276
2	39	276
3	89	276
4	299	276
5	1425	276
6	1912	276
7	3289	276
8	4904	276

Stop Event

1×	node limit

Counts

185 → 153

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 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))

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 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (cbrt.f64 (/.f64 1 z)))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (cbrt.f64 (/.f64 1 z)))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (cbrt.f64 (/.f64 1 z)))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (cbrt.f64 (/.f64 1 z)))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (cbrt.f64 (/.f64 1 z)))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (cbrt.f64 (/.f64 1 z)))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (cbrt.f64 (/.f64 1 z)))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (cbrt.f64 (/.f64 1 z)))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (cbrt.f64 (/.f64 1 z)))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (cbrt.f64 (/.f64 1 z)))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (cbrt.f64 (/.f64 1 z)))
(*.f64 y (pow.f64 (/.f64 1 z) 1/3))
(*.f64 y (cbrt.f64 (/.f64 1 z)))

prune100.0ms (4.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	177	1	178
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	178	3	181

Error

Counts

181 → 3

Alt Table

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

Compiler

Compiled 2852 to 1318 computations (53.8% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series4.0ms (0.2%)

Counts

2 → 60

Calls

15 calls:

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

rewrite49.0ms (2.2%)

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 expm1.f64 (log1p.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)))))

simplify55.0ms (2.5%)

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)

prune34.0ms (1.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	80	3	83

Error

Counts

83 → 3

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 x (/.f64 y (/.f64 z y)))
✓	0.0b	(fma.f64 y (/.f64 y z) x)
✓	6.7b	(+.f64 x (/.f64 (*.f64 y y) z))

Compiler

Compiled 1056 to 348 computations (67% saved)

regimes39.0ms (1.8%)

Accuracy

Total 0.1b remaining (84.5%)

Threshold costs 0.1b (84.5%)

Counts

8 → 1

Compiler

Compiled 106 to 58 computations (45.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8

Stop Event

1×

saturated

Calls

Call 1

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

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

end45.0ms (2.1%)

Stop Event

1×

done

Compiler

Compiled 47 to 27 computations (42.6% saved)

Details

analyze509.0ms (23.2%)

sample936.0ms (42.7%)

preprocess23.0ms (1%)

simplify8.0ms (0.4%)

prune3.0ms (0.1%)

localize4.0ms (0.2%)

series10.0ms (0.5%)

rewrite38.0ms (1.7%)

simplify49.0ms (2.2%)

prune12.0ms (0.5%)

localize4.0ms (0.2%)

series6.0ms (0.3%)

rewrite46.0ms (2.1%)

simplify54.0ms (2.4%)

prune35.0ms (1.6%)

localize8.0ms (0.4%)

series18.0ms (0.8%)

rewrite54.0ms (2.5%)

simplify42.0ms (1.9%)

prune100.0ms (4.6%)

localize6.0ms (0.3%)

series4.0ms (0.2%)

rewrite49.0ms (2.2%)

simplify55.0ms (2.5%)

prune34.0ms (1.6%)

regimes39.0ms (1.8%)

simplify2.0ms (0.1%)

end45.0ms (2.1%)

Profiling