Details

analyze561.0ms (13.6%)

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
25%	71.8%	3.3%	9
34.3%	57.7%	7.9%	10
41.3%	50.3%	8.3%	11
46.8%	42.3%	10.9%	12
53.2%	32.7%	14.1%	13
58%	27.7%	14.2%	14

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample967.0ms (23.4%)

Results

864.0ms	8256×	body	128	valid
85.0ms	761×	body	128	invalid

preprocess108.0ms (2.6%)

Algorithm

2×	egg-herbie

Rules

2243×	`fma-neg_binary64`
413×	`unsub-neg_binary64`
262×	`associate--r+_binary64`
234×	`distribute-rgt-in_binary64`
215×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	52
1	55	52
2	144	44
3	494	44
4	1584	44
5	2961	44
6	3611	44
7	3718	44
8	3756	44
9	3772	44
10	3960	44
11	4041	44
12	4087	44
13	4154	44
14	4204	44
15	4204	44
0	3	3

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 12 to 9 computations (25% saved)

simplify31.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

710×	`fma-def_binary64`
419×	`fma-neg_binary64`
208×	`distribute-rgt-in_binary64`
163×	`distribute-lft-in_binary64`
138×	`unsub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	20	13
2	49	11
3	153	11
4	470	11
5	1119	11
6	1863	11
7	2564	11
8	2672	11
9	2672	11

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 20 to 12 computations (40% saved)

prune2.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

Click to see full alt table

Status	Error	Program
	4.3b	(fma.f64 z (-.f64 (*.f64 x y) x) x)
▶	2.4b	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))

Compiler

Compiled 46 to 30 computations (34.8% saved)

localize14.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series9.0ms (0.2%)

Counts

2 → 60

Calls

15 calls:

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

rewrite55.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

555×	`prod-diff_binary64`
479×	`log-prod_binary64`
199×	`fma-def_binary64`
175×	`expm1-udef_binary64`
173×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	193	20
2	2558	20

Stop Event

1×	node limit

Counts

2 → 69

Calls

Call 1

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

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

Outputs

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

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

simplify60.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

788×	`fma-def_binary64`
408×	`fma-neg_binary64`
141×	`distribute-rgt-in_binary64`
124×	`unsub-neg_binary64`
105×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	26	613
1	68	592
2	170	532
3	408	532
4	901	532
5	1554	532
6	2389	532
7	2552	532
8	2554	532
9	2554	532

Stop Event

1×

saturated

Counts

129 → 88

Calls

Call 1

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

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

eval25.0ms (0.6%)

Compiler: Compiled 1130 to 715 computations (36.7% saved)

prune128.0ms (3.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	86	2	88
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	86	4	90

Error

0.0b

Counts

90 → 4

Alt Table

Click to see full alt table

Status	Error	Program
	13.1b	(.f64 x (-.f64 1 (/.f64 (.f64 (-.f64 1 (*.f64 y y)) z) (+.f64 1 y))))
	4.3b	(fma.f64 z (-.f64 (*.f64 x y) x) x)
✓	2.4b	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))
▶	1.1b	(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))

Compiler

Compiled 98 to 65 computations (33.7% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series15.0ms (0.4%)

Counts

3 → 39

Calls

24 calls:

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

rewrite58.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

569×	`log-prod_binary64`
473×	`fma-def_binary64`
204×	`fma-neg_binary64`
194×	`expm1-udef_binary64`
193×	`log1p-udef_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	28
1	214	27
2	2953	25

Stop Event

1×	node limit

Counts

3 → 122

Calls

Call 1

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

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

Outputs

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

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

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

simplify46.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

670×	`fma-def_binary64`
492×	`fma-neg_binary64`
146×	`distribute-rgt-in_binary64`
127×	`unsub-neg_binary64`
123×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	349
1	94	349
2	243	349
3	639	349
4	1570	349
5	2303	349
6	2673	349
7	2687	349
8	2687	349

Stop Event

1×

saturated

Counts

161 → 138

Calls

Call 1

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

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

eval34.0ms (0.8%)

Compiler: Compiled 2144 to 982 computations (54.2% saved)

prune279.0ms (6.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	137	1	138
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	138	4	142

Error

0.0b

Counts

142 → 4

Alt Table

Click to see full alt table

Status	Error	Program
	4.3b	(fma.f64 z (-.f64 (*.f64 x y) x) x)
✓	2.4b	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))
▶	1.4b	(fma.f64 (.f64 y (pow.f64 (cbrt.f64 (.f64 z x)) 2)) (cbrt.f64 (.f64 z x)) (.f64 x (-.f64 1 z)))
✓	1.1b	(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))

Compiler

Compiled 90 to 54 computations (40% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (.f64 y (pow.f64 (cbrt.f64 (.f64 z x)) 2)) (cbrt.f64 (.f64 z x)) (.f64 x (-.f64 1 z)))
✓	0.5b	(pow.f64 (cbrt.f64 (*.f64 z x)) 2)
✓	0.6b	(.f64 y (pow.f64 (cbrt.f64 (.f64 z x)) 2))
✓	8.3b	(cbrt.f64 (*.f64 z x))

series36.0ms (0.9%)

Counts

4 → 33

Calls

30 calls:

Time	Variable		Point	Expression
8.0ms	z	@	inf	(pow.f64 (cbrt.f64 (*.f64 z x)) 2)
4.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (*.f64 z x)) 2)
3.0ms	y	@	0	(.f64 y (pow.f64 (cbrt.f64 (.f64 z x)) 2))
1.0ms	y	@	0	(fma.f64 (.f64 y (pow.f64 (cbrt.f64 (.f64 z x)) 2)) (cbrt.f64 (.f64 z x)) (.f64 x (-.f64 1 z)))
1.0ms	z	@	-inf	(cbrt.f64 (*.f64 z x))

rewrite55.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

353×	`prod-diff_binary64`
218×	`expm1-udef_binary64`
217×	`log1p-udef_binary64`
184×	`log-pow_binary64`
162×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	54
1	265	43
2	3115	41

Stop Event

1×	node limit

Counts

4 → 87

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 z x))
(.f64 y (pow.f64 (cbrt.f64 (.f64 z x)) 2))
(pow.f64 (cbrt.f64 (*.f64 z x)) 2)
(fma.f64 (.f64 y (pow.f64 (cbrt.f64 (.f64 z x)) 2)) (cbrt.f64 (.f64 z x)) (.f64 x (-.f64 1 z)))

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

simplify36.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

637×	`fma-def_binary64`
488×	`fma-neg_binary64`
415×	`cancel-sign-sub-inv_binary64`
263×	`unswap-sqr_binary64`
237×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	382
1	51	373
2	113	355
3	304	355
4	1397	355
5	3904	355

Stop Event

1×	node limit

Counts

120 → 98

Calls

Call 1

Inputs
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(*.f64 (-.f64 1 z) x)
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(.f64 y (.f64 z x))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(.f64 y (.f64 z x))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
x
(+.f64 (.f64 -1 (.f64 z x)) x)
(.f64 -1 (.f64 z x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(.f64 -1 (.f64 z x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 (-.f64 1 z) x)
(*.f64 (-.f64 1 z) x)
(*.f64 (-.f64 1 z) x)

Outputs
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (cbrt.f64 (.f64 (.f64 z z) (.f64 x x))))
(.f64 y (cbrt.f64 (.f64 (.f64 (.f64 x x) z) z)))
(.f64 y (cbrt.f64 (.f64 z (.f64 x (.f64 z x)))))
(.f64 y (cbrt.f64 (.f64 z (.f64 z (.f64 x x)))))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (cbrt.f64 (.f64 (.f64 z z) (.f64 x x))))
(.f64 y (cbrt.f64 (.f64 (.f64 (.f64 x x) z) z)))
(.f64 y (cbrt.f64 (.f64 z (.f64 x (.f64 z x)))))
(.f64 y (cbrt.f64 (.f64 z (.f64 z (.f64 x x)))))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (cbrt.f64 (.f64 (.f64 z z) (.f64 x x))))
(.f64 y (cbrt.f64 (.f64 (.f64 (.f64 x x) z) z)))
(.f64 y (cbrt.f64 (.f64 z (.f64 x (.f64 z x)))))
(.f64 y (cbrt.f64 (.f64 z (.f64 z (.f64 x x)))))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (cbrt.f64 (.f64 (.f64 z z) (.f64 x x))))
(.f64 y (cbrt.f64 (.f64 (.f64 (.f64 x x) z) z)))
(.f64 y (cbrt.f64 (.f64 z (.f64 x (.f64 z x)))))
(.f64 y (cbrt.f64 (.f64 z (.f64 z (.f64 x x)))))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (cbrt.f64 (.f64 (.f64 z z) (.f64 x x))))
(.f64 y (cbrt.f64 (.f64 (.f64 (.f64 x x) z) z)))
(.f64 y (cbrt.f64 (.f64 z (.f64 x (.f64 z x)))))
(.f64 y (cbrt.f64 (.f64 z (.f64 z (.f64 x x)))))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (cbrt.f64 (.f64 (.f64 z z) (.f64 x x))))
(.f64 y (cbrt.f64 (.f64 (.f64 (.f64 x x) z) z)))
(.f64 y (cbrt.f64 (.f64 z (.f64 x (.f64 z x)))))
(.f64 y (cbrt.f64 (.f64 z (.f64 z (.f64 x x)))))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (cbrt.f64 (.f64 (.f64 z z) (.f64 x x))))
(.f64 y (cbrt.f64 (.f64 (.f64 (.f64 x x) z) z)))
(.f64 y (cbrt.f64 (.f64 z (.f64 x (.f64 z x)))))
(.f64 y (cbrt.f64 (.f64 z (.f64 z (.f64 x x)))))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (cbrt.f64 (.f64 (.f64 z z) (.f64 x x))))
(.f64 y (cbrt.f64 (.f64 (.f64 (.f64 x x) z) z)))
(.f64 y (cbrt.f64 (.f64 z (.f64 x (.f64 z x)))))
(.f64 y (cbrt.f64 (.f64 z (.f64 z (.f64 x x)))))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (cbrt.f64 (.f64 (.f64 z z) (.f64 x x))))
(.f64 y (cbrt.f64 (.f64 (.f64 (.f64 x x) z) z)))
(.f64 y (cbrt.f64 (.f64 z (.f64 x (.f64 z x)))))
(.f64 y (cbrt.f64 (.f64 z (.f64 z (.f64 x x)))))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (cbrt.f64 (.f64 (.f64 z z) (.f64 x x))))
(.f64 y (cbrt.f64 (.f64 (.f64 (.f64 x x) z) z)))
(.f64 y (cbrt.f64 (.f64 z (.f64 x (.f64 z x)))))
(.f64 y (cbrt.f64 (.f64 z (.f64 z (.f64 x x)))))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (cbrt.f64 (.f64 (.f64 z z) (.f64 x x))))
(.f64 y (cbrt.f64 (.f64 (.f64 (.f64 x x) z) z)))
(.f64 y (cbrt.f64 (.f64 z (.f64 x (.f64 z x)))))
(.f64 y (cbrt.f64 (.f64 z (.f64 z (.f64 x x)))))
(.f64 y (pow.f64 (.f64 (pow.f64 z 2) (pow.f64 x 2)) 1/3))
(.f64 y (cbrt.f64 (.f64 (.f64 z z) (.f64 x x))))
(.f64 y (cbrt.f64 (.f64 (.f64 (.f64 x x) z) z)))
(.f64 y (cbrt.f64 (.f64 z (.f64 x (.f64 z x)))))
(.f64 y (cbrt.f64 (.f64 z (.f64 z (.f64 x x)))))
(*.f64 (-.f64 1 z) x)
(*.f64 x (-.f64 1 z))
(-.f64 x (*.f64 z x))
(fma.f64 z (neg.f64 x) x)
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(fma.f64 y (.f64 z x) (.f64 x (-.f64 1 z)))
(.f64 x (+.f64 (.f64 y z) (-.f64 1 z)))
(*.f64 x (fma.f64 y z (-.f64 1 z)))
(*.f64 x (-.f64 (fma.f64 y z 1) z))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(fma.f64 y (.f64 z x) (.f64 x (-.f64 1 z)))
(.f64 x (+.f64 (.f64 y z) (-.f64 1 z)))
(*.f64 x (fma.f64 y z (-.f64 1 z)))
(*.f64 x (-.f64 (fma.f64 y z 1) z))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(fma.f64 y (.f64 z x) (.f64 x (-.f64 1 z)))
(.f64 x (+.f64 (.f64 y z) (-.f64 1 z)))
(*.f64 x (fma.f64 y z (-.f64 1 z)))
(*.f64 x (-.f64 (fma.f64 y z 1) z))
(.f64 y (.f64 z x))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(fma.f64 y (.f64 z x) (.f64 x (-.f64 1 z)))
(.f64 x (+.f64 (.f64 y z) (-.f64 1 z)))
(*.f64 x (fma.f64 y z (-.f64 1 z)))
(*.f64 x (-.f64 (fma.f64 y z 1) z))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(fma.f64 y (.f64 z x) (.f64 x (-.f64 1 z)))
(.f64 x (+.f64 (.f64 y z) (-.f64 1 z)))
(*.f64 x (fma.f64 y z (-.f64 1 z)))
(*.f64 x (-.f64 (fma.f64 y z 1) z))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(fma.f64 y (.f64 z x) (.f64 x (-.f64 1 z)))
(.f64 x (+.f64 (.f64 y z) (-.f64 1 z)))
(*.f64 x (fma.f64 y z (-.f64 1 z)))
(*.f64 x (-.f64 (fma.f64 y z 1) z))
(.f64 y (.f64 z x))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(fma.f64 y (.f64 z x) (.f64 x (-.f64 1 z)))
(.f64 x (+.f64 (.f64 y z) (-.f64 1 z)))
(*.f64 x (fma.f64 y z (-.f64 1 z)))
(*.f64 x (-.f64 (fma.f64 y z 1) z))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(fma.f64 y (.f64 z x) (.f64 x (-.f64 1 z)))
(.f64 x (+.f64 (.f64 y z) (-.f64 1 z)))
(*.f64 x (fma.f64 y z (-.f64 1 z)))
(*.f64 x (-.f64 (fma.f64 y z 1) z))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(fma.f64 y (.f64 z x) (.f64 x (-.f64 1 z)))
(.f64 x (+.f64 (.f64 y z) (-.f64 1 z)))
(*.f64 x (fma.f64 y z (-.f64 1 z)))
(*.f64 x (-.f64 (fma.f64 y z 1) z))
x
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 x (-.f64 1 z))
(-.f64 x (*.f64 z x))
(fma.f64 z (neg.f64 x) x)
(.f64 -1 (.f64 z x))
(neg.f64 (*.f64 z x))
(*.f64 x (neg.f64 z))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 x (-.f64 1 z))
(-.f64 x (*.f64 z x))
(fma.f64 z (neg.f64 x) x)
(.f64 -1 (.f64 z x))
(neg.f64 (*.f64 z x))
(*.f64 x (neg.f64 z))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 -1 (.f64 z x)) x)
(*.f64 x (-.f64 1 z))
(-.f64 x (*.f64 z x))
(fma.f64 z (neg.f64 x) x)
(*.f64 (-.f64 1 z) x)
(*.f64 x (-.f64 1 z))
(-.f64 x (*.f64 z x))
(fma.f64 z (neg.f64 x) x)
(*.f64 (-.f64 1 z) x)
(*.f64 x (-.f64 1 z))
(-.f64 x (*.f64 z x))
(fma.f64 z (neg.f64 x) x)
(*.f64 (-.f64 1 z) x)
(*.f64 x (-.f64 1 z))
(-.f64 x (*.f64 z x))
(fma.f64 z (neg.f64 x) x)

eval36.0ms (0.9%)

Compiler: Compiled 2393 to 1076 computations (55% saved)

prune239.0ms (5.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	122	1	123
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	122	5	127

Error

0.0b

Counts

127 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	1.4b	(fma.f64 (.f64 y (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 z x))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 z x))) (cbrt.f64 (.f64 z x))))) (cbrt.f64 (.f64 z x)) (.f64 x (-.f64 1 z)))
✓	1.4b	(fma.f64 (.f64 y (pow.f64 (cbrt.f64 (.f64 z x)) 2)) (cbrt.f64 (.f64 z x)) (.f64 x (-.f64 1 z)))
	4.3b	(fma.f64 z (-.f64 (*.f64 x y) x) x)
✓	2.4b	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))
✓	1.1b	(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))

Compiler

Compiled 135 to 72 computations (46.7% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series112.0ms (2.7%)

Counts

3 → 60

Calls

21 calls:

Time	Variable		Point	Expression
40.0ms	z	@	0	(cbrt.f64 (cbrt.f64 (*.f64 z x)))
30.0ms	x	@	-inf	(cbrt.f64 (cbrt.f64 (*.f64 z x)))
12.0ms	x	@	0	(cbrt.f64 (cbrt.f64 (*.f64 z x)))
10.0ms	z	@	inf	(cbrt.f64 (cbrt.f64 (*.f64 z x)))
6.0ms	x	@	inf	(cbrt.f64 (cbrt.f64 (*.f64 z x)))

rewrite54.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

897×	`log1p-expm1-u_binary64`
897×	`expm1-log1p-u_binary64`
121×	`associate-r_binary64`
113×	`add-sqr-sqrt_binary64`
112×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	36
1	243	31
2	2772	31

Stop Event

1×	node limit

Counts

3 → 61

Calls

Call 1

Inputs

(cbrt.f64 (cbrt.f64 (*.f64 z x)))

(*.f64 y (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 z x))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 z x))) (cbrt.f64 (*.f64 z x)))))

(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 z x))) 2)

Outputs

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

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

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

simplify56.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

720×	`fma-def_binary64`
484×	`unswap-sqr_binary64`
450×	`fma-neg_binary64`
257×	`*-commutative_binary64`
97×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	56	1076
1	158	1060
2	389	988
3	1294	988
4	4345	988

Stop Event

1×	node limit

Counts

121 → 77

Calls

Call 1

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

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

eval86.0ms (2.1%)

Compiler: Compiled 7005 to 2512 computations (64.1% saved)

prune759.0ms (18.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	210	0	210
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	210	5	215

Error

0.0b

Counts

215 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.4b	(fma.f64 (.f64 y (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 z x))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 z x))) (cbrt.f64 (.f64 z x))))) (cbrt.f64 (.f64 z x)) (.f64 x (-.f64 1 z)))
✓	1.4b	(fma.f64 (.f64 y (pow.f64 (cbrt.f64 (.f64 z x)) 2)) (cbrt.f64 (.f64 z x)) (.f64 x (-.f64 1 z)))
	4.3b	(fma.f64 z (-.f64 (*.f64 x y) x) x)
✓	2.4b	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))
✓	1.1b	(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))

Compiler

Compiled 91 to 51 computations (44% saved)

regimes91.0ms (2.2%)

Accuracy

Total -14.7b remaining (-28876.7%)

Threshold costs -14.7b (-28876.7%)

Counts

6 → 3

Calls

Call 1

Inputs
(fma.f64 (.f64 y (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 z x))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 z x))) (cbrt.f64 (.f64 z x))))) (cbrt.f64 (.f64 z x)) (.f64 x (-.f64 1 z)))
(fma.f64 (.f64 y (pow.f64 (cbrt.f64 (.f64 z x)) 2)) (cbrt.f64 (.f64 z x)) (.f64 x (-.f64 1 z)))
(.f64 x (-.f64 1 (/.f64 (.f64 (-.f64 1 (*.f64 y y)) z) (+.f64 1 y))))
(+.f64 (.f64 y (.f64 z x)) (*.f64 (-.f64 1 z) x))
(fma.f64 z (-.f64 (*.f64 x y) x) x)
(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))

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

Results

Time	Error	Segments	Branch
19.0ms	0.1b	3	`x`
5.0ms	1.1b	1	`y`
9.0ms	1.1b	1	`z`
14.0ms	0.1b	3	`(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))`
33.0ms	1.1b	1	`(-.f64 1 (*.f64 (-.f64 1 y) z))`
5.0ms	1.1b	1	`(*.f64 (-.f64 1 y) z)`
3.0ms	1.1b	1	`(-.f64 1 y)`

Compiler

Compiled 142 to 83 computations (41.5% saved)

bsearch76.0ms (1.8%)

Algorithm

2×	binary-search

Steps

Time	Point		Range
19.0ms	5e+38	∈ [	4.893622124256377e+38	,	9.676224788318103e+38	]
57.0ms	-1.7507905798756693e-76	∈ [	-1.7507905798756693e-76	,	-1.8163215821576026e-85	]

Compiler

Compiled 45 to 31 computations (31.1% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
5×	`+-commutative_binary64`
4×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	55
1	31	55
2	38	55
3	42	55
4	44	55

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 x -713284679646851/4074071952668972172536891376818756322102936787331872501272280898708762599526673412366794752) (+.f64 (*.f64 y (*.f64 z x)) (*.f64 (-.f64 1 z) x)) (if (<=.f64 x 499999999999999969854583185801589293056) (fma.f64 z (-.f64 (*.f64 x y) x) x) (+.f64 (*.f64 y (*.f64 z x)) (*.f64 (-.f64 1 z) x))))

Outputs

(if (<=.f64 x -713284679646851/4074071952668972172536891376818756322102936787331872501272280898708762599526673412366794752) (+.f64 (*.f64 y (*.f64 z x)) (*.f64 (-.f64 1 z) x)) (if (<=.f64 x 499999999999999969854583185801589293056) (fma.f64 z (-.f64 (*.f64 x y) x) x) (+.f64 (*.f64 y (*.f64 z x)) (*.f64 (-.f64 1 z) x))))

(if (<=.f64 x -713284679646851/4074071952668972172536891376818756322102936787331872501272280898708762599526673412366794752) (+.f64 (*.f64 y (*.f64 x z)) (*.f64 x (-.f64 1 z))) (if (<=.f64 x 499999999999999969854583185801589293056) (fma.f64 z (-.f64 (*.f64 x y) x) x) (+.f64 (*.f64 y (*.f64 x z)) (*.f64 x (-.f64 1 z)))))

end64.0ms (1.6%)

Stop Event

1×

fuel

Compiler

Compiled 82 to 44 computations (46.3% saved)

Details

analyze561.0ms (13.6%)

sample967.0ms (23.4%)

preprocess108.0ms (2.6%)

simplify31.0ms (0.7%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize14.0ms (0.3%)

series9.0ms (0.2%)

rewrite55.0ms (1.3%)

simplify60.0ms (1.4%)

eval25.0ms (0.6%)

prune128.0ms (3.1%)

localize7.0ms (0.2%)

series15.0ms (0.4%)

rewrite58.0ms (1.4%)

simplify46.0ms (1.1%)

eval34.0ms (0.8%)

prune279.0ms (6.8%)

localize10.0ms (0.3%)

series36.0ms (0.9%)

rewrite55.0ms (1.3%)

simplify36.0ms (0.9%)

eval36.0ms (0.9%)

prune239.0ms (5.8%)

localize13.0ms (0.3%)

series112.0ms (2.7%)

rewrite54.0ms (1.3%)

simplify56.0ms (1.4%)

eval86.0ms (2.1%)

prune759.0ms (18.4%)

regimes91.0ms (2.2%)

bsearch76.0ms (1.8%)

simplify4.0ms (0.1%)

end64.0ms (1.6%)

Profiling