Details

analyze1.2s (23.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
12.5%	87.3%	0.2%	8
12.5%	87.3%	0.2%	9
18.7%	81.1%	0.2%	10
23.4%	76.4%	0.2%	11
31.6%	68.2%	0.2%	12
34.5%	64.9%	0.6%	13
40.3%	59.2%	0.6%	14

Compiler

Compiled 20 to 14 computations (30% saved)

sample1.5s (30.1%)

Results

1.1s	8256×	body	128	valid
402.0ms	3113×	body	128	invalid

Compiler

Compiled 40 to 28 computations (30% saved)

preprocess39.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

447×	`distribute-neg-frac_binary64`
318×	`sub-neg_binary64`
281×	`div-sub_binary64`
279×	`fma-def_binary64`
225×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	154
1	122	154
2	290	154
3	609	154
4	1387	133
5	3618	133
0	4	4

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
3

Call 2

Inputs
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 y (/.f64 x (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) x)))
(+.f64 (-.f64 z (/.f64 y (.f64 x 3))) (/.f64 t (.f64 (*.f64 x 3) y)))
(+.f64 (-.f64 t (/.f64 y (.f64 z 3))) (/.f64 x (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 x (/.f64 z (.f64 y 3))) (/.f64 t (.f64 (*.f64 y 3) z)))
(+.f64 (-.f64 x (/.f64 t (.f64 z 3))) (/.f64 y (.f64 (*.f64 z 3) t)))
(+.f64 (-.f64 x (/.f64 y (.f64 t 3))) (/.f64 z (.f64 (*.f64 t 3) y)))

Outputs
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 y (*.f64 z 3))))
(+.f64 (+.f64 x (.f64 -1/3 (/.f64 y z))) (/.f64 t (.f64 y (*.f64 z 3))))
(+.f64 x (.f64 -1/3 (-.f64 (/.f64 y z) (/.f64 t (.f64 y z)))))
(+.f64 (-.f64 y (/.f64 x (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) x)))
(+.f64 (-.f64 y (/.f64 x (.f64 z 3))) (/.f64 t (.f64 x (*.f64 z 3))))
(+.f64 y (-.f64 (/.f64 t (.f64 z (.f64 x 3))) (/.f64 x (*.f64 z 3))))
(+.f64 y (*.f64 -1/3 (-.f64 (/.f64 x z) (/.f64 (/.f64 t x) z))))
(+.f64 (-.f64 z (/.f64 y (.f64 x 3))) (/.f64 t (.f64 (*.f64 x 3) y)))
(+.f64 (-.f64 z (/.f64 y (.f64 x 3))) (/.f64 t (.f64 x (*.f64 y 3))))
(+.f64 (-.f64 z (/.f64 y (.f64 x 3))) (/.f64 (/.f64 t y) (.f64 x 3)))
(+.f64 (-.f64 z (/.f64 y (.f64 x 3))) (/.f64 (/.f64 t 3) (.f64 x y)))
(+.f64 z (.f64 -1/3 (-.f64 (/.f64 y x) (/.f64 t (.f64 x y)))))
(+.f64 (-.f64 t (/.f64 y (.f64 z 3))) (/.f64 x (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 t (/.f64 y (.f64 z 3))) (/.f64 x (.f64 y (*.f64 z 3))))
(+.f64 t (+.f64 (/.f64 x (.f64 y (.f64 z 3))) (*.f64 -1/3 (/.f64 y z))))
(+.f64 t (.f64 -1/3 (-.f64 (/.f64 y z) (/.f64 x (.f64 y z)))))
(+.f64 (-.f64 x (/.f64 z (.f64 y 3))) (/.f64 t (.f64 (*.f64 y 3) z)))
(+.f64 (/.f64 t (.f64 y (.f64 z 3))) (-.f64 x (/.f64 z (*.f64 y 3))))
(+.f64 x (.f64 -1/3 (-.f64 (/.f64 z y) (/.f64 t (.f64 y z)))))
(+.f64 (-.f64 x (/.f64 t (.f64 z 3))) (/.f64 y (.f64 (*.f64 z 3) t)))
(+.f64 (-.f64 x (/.f64 t (.f64 z 3))) (/.f64 y (.f64 z (*.f64 3 t))))
(+.f64 (-.f64 x (/.f64 t (*.f64 z 3))) (/.f64 (/.f64 (/.f64 y 3) t) z))
(+.f64 (.f64 -1/3 (/.f64 t z)) (-.f64 x (.f64 -1/3 (/.f64 y (*.f64 z t)))))
(+.f64 x (.f64 -1/3 (-.f64 (/.f64 t z) (/.f64 y (.f64 z t)))))
(+.f64 (-.f64 x (/.f64 y (.f64 t 3))) (/.f64 z (.f64 (*.f64 t 3) y)))
(+.f64 (-.f64 x (/.f64 y (.f64 3 t))) (/.f64 z (.f64 y (*.f64 3 t))))
(+.f64 (-.f64 x (/.f64 (/.f64 y 3) t)) (/.f64 z (.f64 3 (.f64 t y))))
(+.f64 (-.f64 x (/.f64 (/.f64 y 3) t)) (/.f64 z (.f64 t (.f64 y 3))))
(+.f64 (+.f64 x (.f64 -1/3 (/.f64 y t))) (/.f64 z (.f64 y (*.f64 3 t))))
(+.f64 x (.f64 -1/3 (-.f64 (/.f64 y t) (/.f64 z (.f64 y t)))))

Compiler

Compiled 19 to 13 computations (31.6% saved)

simplify33.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

587×	`div-sub_binary64`
387×	`fma-def_binary64`
326×	`fma-neg_binary64`
244×	`distribute-neg-frac_binary64`
227×	`associate-/l*_binary64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	12	22
1	25	22
2	59	22
3	116	22
4	255	20
5	552	16
6	1238	14
7	3482	14
8	4716	14

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))

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

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	4.2b	(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)
▶	3.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))

Compiler

Compiled 95 to 62 computations (34.7% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 x (/.f64 y (*.f64 z 3)))
✓	0.2b	(.f64 (.f64 z 3) y)
✓	0.2b	(/.f64 y (*.f64 z 3))
✓	6.1b	(/.f64 t (.f64 (.f64 z 3) y))

series37.0ms (0.7%)

Counts

4 → 120

Calls

30 calls:

Time	Variable		Point	Expression
3.0ms	x	@	inf	(-.f64 x (/.f64 y (*.f64 z 3)))
2.0ms	t	@	0	(/.f64 t (.f64 (.f64 z 3) y))
2.0ms	t	@	-inf	(/.f64 t (.f64 (.f64 z 3) y))
2.0ms	t	@	inf	(/.f64 t (.f64 (.f64 z 3) y))
2.0ms	y	@	inf	(/.f64 t (.f64 (.f64 z 3) y))

rewrite94.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

595×	`prod-diff_binary64`
232×	`log1p-udef_binary64`
132×	`egg-rr`
129×	`add-sqr-sqrt_binary64`
127×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	34
1	246	34
2	3671	34

Stop Event

1×	node limit

Counts

4 → 229

Calls

Call 1

Inputs
(/.f64 t (.f64 (.f64 z 3) y))
(/.f64 y (*.f64 z 3))
(.f64 (.f64 z 3) y)
(-.f64 x (/.f64 y (*.f64 z 3)))

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

simplify74.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

712×	`fma-def_binary64`
543×	`fma-neg_binary64`
526×	`times-frac_binary64`
343×	`div-sub_binary64`
280×	`associate-/l*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	16	999
1	35	999
2	78	945
3	132	945
4	197	945
5	263	945
6	349	945
7	437	945
8	528	945
9	748	945
10	1618	945
11	4094	945

Stop Event

1×	node limit

Counts

349 → 238

Calls

Call 1

Inputs
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(*.f64 1/3 (/.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(.f64 3 (.f64 y z))
(*.f64 -1/3 (/.f64 y z))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
x
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
x
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
x
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(*.f64 -1/3 (/.f64 y z))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(*.f64 -1/3 (/.f64 y z))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(*.f64 -1/3 (/.f64 y z))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
x
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
x
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(-.f64 x (*.f64 1/3 (/.f64 y z)))

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

prune271.0ms (5.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	230	8	238
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	231	9	240

Error

0.0b

Counts

240 → 9

Alt Table

Status	Error	Program
	4.0b	(+.f64 (-.f64 x (.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 3) (/.f64 (cbrt.f64 y) z))) (/.f64 t (.f64 (*.f64 z 3) y)))
	4.2b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 (/.f64 1 z) (/.f64 t (*.f64 3 y))))
	3.7b	(+.f64 (-.f64 x (pow.f64 (.f64 3 (/.f64 z y)) -1)) (/.f64 t (.f64 (*.f64 z 3) y)))
	3.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (.f64 1/3 t) (*.f64 y z)))
	4.2b	(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)
	3.7b	(+.f64 (+.f64 x (/.f64 (neg.f64 (/.f64 y z)) 3)) (/.f64 t (.f64 (.f64 z 3) y)))
	3.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 3 (*.f64 y z))))
▶	1.3b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) (*.f64 z 3)) (/.f64 (cbrt.f64 t) y)))
	35.1b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 (/.f64 (sqrt.f64 t) (*.f64 z 3)) (/.f64 (sqrt.f64 t) y)))

Compiler

Compiled 7747 to 4588 computations (40.8% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (pow.f64 (cbrt.f64 t) 2) (*.f64 z 3))
✓	0.5b	(pow.f64 (cbrt.f64 t) 2)
✓	0.5b	(cbrt.f64 t)
✓	2.2b	(.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) (.f64 z 3)) (/.f64 (cbrt.f64 t) y))

series205.0ms (4.1%)

Counts

4 → 48

Calls

21 calls:

Time	Variable		Point	Expression
53.0ms	t	@	-inf	(.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) (.f64 z 3)) (/.f64 (cbrt.f64 t) y))
26.0ms	z	@	inf	(/.f64 (pow.f64 (cbrt.f64 t) 2) (*.f64 z 3))
25.0ms	z	@	0	(/.f64 (pow.f64 (cbrt.f64 t) 2) (*.f64 z 3))
23.0ms	z	@	-inf	(/.f64 (pow.f64 (cbrt.f64 t) 2) (*.f64 z 3))
21.0ms	t	@	-inf	(pow.f64 (cbrt.f64 t) 2)

rewrite61.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

220×	`expm1-udef_binary64`
220×	`log1p-udef_binary64`
204×	`log-div_binary64`
185×	`log-pow_binary64`
127×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	31
1	261	31
2	3498	31

Stop Event

1×	node limit

Counts

4 → 146

Calls

Call 1

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

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

simplify41.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

529×	`times-frac_binary64`
450×	`unswap-sqr_binary64`
411×	`associate-/r/_binary64`
401×	`associate-*l/_binary64`
396×	`associate-l_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	540
1	38	504
2	90	504
3	216	504
4	596	504
5	2088	504
6	4601	504

Stop Event

1×	node limit

Counts

194 → 150

Calls

Call 1

Inputs
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))

Outputs
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (/.f64 t (.f64 y z)))
(/.f64 (.f64 1/3 t) (.f64 y z))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 y) z))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 (.f64 1/3 (cbrt.f64 (*.f64 t t))) (/.f64 1 z))
(/.f64 (.f64 1/3 (cbrt.f64 (.f64 t t))) z)
(.f64 1/3 (/.f64 (cbrt.f64 (.f64 t t)) z))
(.f64 (cbrt.f64 (.f64 t t)) (/.f64 1/3 z))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 (.f64 1/3 (cbrt.f64 (*.f64 t t))) (/.f64 1 z))
(/.f64 (.f64 1/3 (cbrt.f64 (.f64 t t))) z)
(.f64 1/3 (/.f64 (cbrt.f64 (.f64 t t)) z))
(.f64 (cbrt.f64 (.f64 t t)) (/.f64 1/3 z))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 (.f64 1/3 (cbrt.f64 (*.f64 t t))) (/.f64 1 z))
(/.f64 (.f64 1/3 (cbrt.f64 (.f64 t t))) z)
(.f64 1/3 (/.f64 (cbrt.f64 (.f64 t t)) z))
(.f64 (cbrt.f64 (.f64 t t)) (/.f64 1/3 z))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 (.f64 1/3 (cbrt.f64 (*.f64 t t))) (/.f64 1 z))
(/.f64 (.f64 1/3 (cbrt.f64 (.f64 t t))) z)
(.f64 1/3 (/.f64 (cbrt.f64 (.f64 t t)) z))
(.f64 (cbrt.f64 (.f64 t t)) (/.f64 1/3 z))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 (.f64 1/3 (cbrt.f64 (*.f64 t t))) (/.f64 1 z))
(/.f64 (.f64 1/3 (cbrt.f64 (.f64 t t))) z)
(.f64 1/3 (/.f64 (cbrt.f64 (.f64 t t)) z))
(.f64 (cbrt.f64 (.f64 t t)) (/.f64 1/3 z))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 (.f64 1/3 (cbrt.f64 (*.f64 t t))) (/.f64 1 z))
(/.f64 (.f64 1/3 (cbrt.f64 (.f64 t t))) z)
(.f64 1/3 (/.f64 (cbrt.f64 (.f64 t t)) z))
(.f64 (cbrt.f64 (.f64 t t)) (/.f64 1/3 z))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 (.f64 1/3 (cbrt.f64 (*.f64 t t))) (/.f64 1 z))
(/.f64 (.f64 1/3 (cbrt.f64 (.f64 t t))) z)
(.f64 1/3 (/.f64 (cbrt.f64 (.f64 t t)) z))
(.f64 (cbrt.f64 (.f64 t t)) (/.f64 1/3 z))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 (.f64 1/3 (cbrt.f64 (*.f64 t t))) (/.f64 1 z))
(/.f64 (.f64 1/3 (cbrt.f64 (.f64 t t))) z)
(.f64 1/3 (/.f64 (cbrt.f64 (.f64 t t)) z))
(.f64 (cbrt.f64 (.f64 t t)) (/.f64 1/3 z))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 (.f64 1/3 (cbrt.f64 (*.f64 t t))) (/.f64 1 z))
(/.f64 (.f64 1/3 (cbrt.f64 (.f64 t t))) z)
(.f64 1/3 (/.f64 (cbrt.f64 (.f64 t t)) z))
(.f64 (cbrt.f64 (.f64 t t)) (/.f64 1/3 z))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 (.f64 1/3 (cbrt.f64 (*.f64 t t))) (/.f64 1 z))
(/.f64 (.f64 1/3 (cbrt.f64 (.f64 t t))) z)
(.f64 1/3 (/.f64 (cbrt.f64 (.f64 t t)) z))
(.f64 (cbrt.f64 (.f64 t t)) (/.f64 1/3 z))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 (.f64 1/3 (cbrt.f64 (*.f64 t t))) (/.f64 1 z))
(/.f64 (.f64 1/3 (cbrt.f64 (.f64 t t))) z)
(.f64 1/3 (/.f64 (cbrt.f64 (.f64 t t)) z))
(.f64 (cbrt.f64 (.f64 t t)) (/.f64 1/3 z))
(.f64 1/3 (.f64 (pow.f64 (pow.f64 t 2) 1/3) (/.f64 1 z)))
(.f64 (.f64 1/3 (cbrt.f64 (*.f64 t t))) (/.f64 1 z))
(/.f64 (.f64 1/3 (cbrt.f64 (.f64 t t))) z)
(.f64 1/3 (/.f64 (cbrt.f64 (.f64 t t)) z))
(.f64 (cbrt.f64 (.f64 t t)) (/.f64 1/3 z))

prune196.0ms (3.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	171	2	173
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	174	8	182

Error

Counts

182 → 8

Alt Table

Status	Error	Program
	4.0b	(+.f64 (-.f64 x (.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 3) (/.f64 (cbrt.f64 y) z))) (/.f64 t (.f64 (*.f64 z 3) y)))
	4.2b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 (/.f64 1 z) (/.f64 t (*.f64 3 y))))
	4.2b	(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)
	4.2b	(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t y) z) 3))
▶	3.7b	(+.f64 (+.f64 x (/.f64 (neg.f64 (/.f64 y z)) 3)) (/.f64 t (.f64 (.f64 z 3) y)))
	3.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 3 (*.f64 y z))))
	3.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 t (/.f64 (/.f64 1/3 y) z)))
	3.7b	(+.f64 (-.f64 x (pow.f64 (.f64 3 (/.f64 z y)) -1)) (/.f64 t (.f64 (*.f64 z 3) y)))

Compiler

Compiled 4291 to 2438 computations (43.2% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series40.0ms (0.8%)

Counts

2 → 72

Calls

18 calls:

Time	Variable		Point	Expression
8.0ms	x	@	-inf	(+.f64 (+.f64 x (/.f64 (neg.f64 (/.f64 y z)) 3)) (/.f64 t (.f64 (.f64 z 3) y)))
4.0ms	t	@	inf	(+.f64 (+.f64 x (/.f64 (neg.f64 (/.f64 y z)) 3)) (/.f64 t (.f64 (.f64 z 3) y)))
3.0ms	x	@	0	(+.f64 (+.f64 x (/.f64 (neg.f64 (/.f64 y z)) 3)) (/.f64 t (.f64 (.f64 z 3) y)))
3.0ms	t	@	-inf	(+.f64 (+.f64 x (/.f64 (neg.f64 (/.f64 y z)) 3)) (/.f64 t (.f64 (.f64 z 3) y)))
3.0ms	x	@	inf	(+.f64 (+.f64 x (/.f64 (neg.f64 (/.f64 y z)) 3)) (/.f64 t (.f64 (.f64 z 3) y)))

rewrite37.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

173×	`add-sqr-sqrt_binary64`
167×	`*-un-lft-identity_binary64`
167×	`pow1_binary64`
161×	`add-exp-log_binary64`
161×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	33
1	329	27

Stop Event

1×	node limit

Counts

2 → 82

Calls

Call 1

Inputs
(/.f64 (neg.f64 (/.f64 y z)) 3)
(+.f64 (+.f64 x (/.f64 (neg.f64 (/.f64 y z)) 3)) (/.f64 t (.f64 (.f64 z 3) y)))

Outputs

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

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

simplify73.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

481×	`fma-neg_binary64`
467×	`fma-def_binary64`
343×	`div-sub_binary64`
277×	`cancel-sign-sub-inv_binary64`
224×	`times-frac_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	949
1	58	811
2	123	805
3	219	739
4	395	739
5	711	739
6	1259	739
7	2096	739
8	3583	739
9	4967	739

Stop Event

1×	node limit

Counts

154 → 96

Calls

Call 1

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

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

prune151.0ms (3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	158	8	166

Error

Counts

166 → 8

Alt Table

Status	Error	Program
	4.0b	(+.f64 (-.f64 x (.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 3) (/.f64 (cbrt.f64 y) z))) (/.f64 t (.f64 (*.f64 z 3) y)))
	4.2b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 (/.f64 1 z) (/.f64 t (*.f64 3 y))))
	4.2b	(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)
	4.2b	(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t y) z) 3))
✓	3.7b	(+.f64 (+.f64 x (/.f64 (neg.f64 (/.f64 y z)) 3)) (/.f64 t (.f64 (.f64 z 3) y)))
▶	3.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 3 (*.f64 y z))))
	3.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 t (/.f64 (/.f64 1/3 y) z)))
	3.7b	(+.f64 (-.f64 x (pow.f64 (.f64 3 (/.f64 z y)) -1)) (/.f64 t (.f64 (*.f64 z 3) y)))

Compiler

Compiled 4038 to 2312 computations (42.7% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(-.f64 x (/.f64 y (*.f64 z 3)))
✓	0.2b	(.f64 3 (.f64 y z))
	0.2b	(/.f64 y (*.f64 z 3))
✓	6.1b	(/.f64 t (.f64 3 (.f64 y z)))

series23.0ms (0.5%)

Counts

2 → 36

Calls

15 calls:

Time	Variable		Point	Expression
5.0ms	t	@	0	(/.f64 t (.f64 3 (.f64 y z)))
2.0ms	t	@	-inf	(/.f64 t (.f64 3 (.f64 y z)))
2.0ms	t	@	inf	(/.f64 t (.f64 3 (.f64 y z)))
2.0ms	y	@	-inf	(/.f64 t (.f64 3 (.f64 y z)))
2.0ms	z	@	0	(/.f64 t (.f64 3 (.f64 y z)))

rewrite43.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

834×	`log1p-expm1-u_binary64`
834×	`expm1-log1p-u_binary64`
85×	`add-sqr-sqrt_binary64`
83×	`*-un-lft-identity_binary64`
83×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	168	17
2	2204	17

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

Inputs
(/.f64 t (.f64 3 (.f64 y z)))
(.f64 3 (.f64 y z))

Outputs

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

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

simplify15.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

15×	`associate-/l*_binary64`
10×	`associate-*r/_binary64`
8×	`associate-/r/_binary64`
7×	`associate-*l/_binary64`
6×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	360
1	14	360
2	32	360
3	58	360
4	82	360
5	84	360

Stop Event

1×

saturated

Counts

92 → 57

Calls

Call 1

Inputs
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))
(.f64 1/3 (/.f64 t (.f64 y z)))

Outputs
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 y) (/.f64 t z))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(*.f64 t (/.f64 (/.f64 1/3 z) y))

prune245.0ms (4.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	233	0	233
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	233	8	241

Error

Counts

241 → 8

Alt Table

Status	Error	Program
	4.0b	(+.f64 (-.f64 x (.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 3) (/.f64 (cbrt.f64 y) z))) (/.f64 t (.f64 (*.f64 z 3) y)))
	4.2b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 (/.f64 1 z) (/.f64 t (*.f64 3 y))))
	4.2b	(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)
	4.2b	(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t y) z) 3))
✓	3.7b	(+.f64 (+.f64 x (/.f64 (neg.f64 (/.f64 y z)) 3)) (/.f64 t (.f64 (.f64 z 3) y)))
✓	3.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 3 (*.f64 y z))))
	3.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 t (/.f64 (/.f64 1/3 y) z)))
	3.7b	(+.f64 (-.f64 x (pow.f64 (.f64 3 (/.f64 z y)) -1)) (/.f64 t (.f64 (*.f64 z 3) y)))

Compiler

Compiled 7446 to 4173 computations (44% saved)

regimes462.0ms (9.2%)

Accuracy

Total 1.0b remaining (98.2%)

Threshold costs 1.0b (98.2%)

Counts

70 → 3

Compiler

Compiled 8102 to 5602 computations (30.9% saved)

bsearch1.0ms (0%)

Algorithm

2×	left-value

Calls

2 calls:

0.0ms	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
0.0ms	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))

Steps

Iters	Point		Range
3.2e+246	∈ [	3.0193390096852853e+246	,	3.2831413445848625e+246	]
-2e+304	∈ [	-2.5138177022408747e+304	,	-1.7024133271072958e+304	]

Compiler

Compiled 19 to 13 computations (31.6% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	31	122
1	48	120
2	59	120
3	66	120
4	69	120

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y))) -19999999999999998785071050110729243720080574440234649906381543142646409126026467805686618514881015496873712236112324345157434387485272061060471597681733765549974602883364022082135420506324881811687439605097103198153279365101643665319098224539215899610692069837325144812815208761691919724149808696276287488) (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t y) z) 3)) (if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y))) 3200000000000000141849461310667118032013726931476360194566334010590831266643805179506693707685442454158432348434010943107213128499945815258551333686045188746414568953923359073059282461183994141332359617687448067432732062581485773815870317693763584) (+.f64 (+.f64 x (/.f64 (neg.f64 (/.f64 y z)) 3)) (/.f64 t (*.f64 (*.f64 z 3) y))) (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 t (*.f64 z 3)) y))))

Outputs

(if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y))) -19999999999999998785071050110729243720080574440234649906381543142646409126026467805686618514881015496873712236112324345157434387485272061060471597681733765549974602883364022082135420506324881811687439605097103198153279365101643665319098224539215899610692069837325144812815208761691919724149808696276287488) (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t y) z) 3)) (if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y))) 3200000000000000141849461310667118032013726931476360194566334010590831266643805179506693707685442454158432348434010943107213128499945815258551333686045188746414568953923359073059282461183994141332359617687448067432732062581485773815870317693763584) (+.f64 (+.f64 x (/.f64 (neg.f64 (/.f64 y z)) 3)) (/.f64 t (*.f64 (*.f64 z 3) y))) (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 t (*.f64 z 3)) y))))

(if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 y (*.f64 z 3)))) -19999999999999998785071050110729243720080574440234649906381543142646409126026467805686618514881015496873712236112324345157434387485272061060471597681733765549974602883364022082135420506324881811687439605097103198153279365101643665319098224539215899610692069837325144812815208761691919724149808696276287488) (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t y) z) 3)) (if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 y (*.f64 z 3)))) 3200000000000000141849461310667118032013726931476360194566334010590831266643805179506693707685442454158432348434010943107213128499945815258551333686045188746414568953923359073059282461183994141332359617687448067432732062581485773815870317693763584) (+.f64 (/.f64 t (*.f64 y (*.f64 z 3))) (+.f64 x (/.f64 (/.f64 (neg.f64 y) z) 3))) (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 t (*.f64 z 3)) y))))

(if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 y (*.f64 z 3)))) -19999999999999998785071050110729243720080574440234649906381543142646409126026467805686618514881015496873712236112324345157434387485272061060471597681733765549974602883364022082135420506324881811687439605097103198153279365101643665319098224539215899610692069837325144812815208761691919724149808696276287488) (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t y) z) 3)) (if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 y (*.f64 z 3)))) 3200000000000000141849461310667118032013726931476360194566334010590831266643805179506693707685442454158432348434010943107213128499945815258551333686045188746414568953923359073059282461183994141332359617687448067432732062581485773815870317693763584) (+.f64 (/.f64 t (*.f64 y (*.f64 z 3))) (-.f64 x (/.f64 (/.f64 y z) 3))) (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 t (*.f64 z 3)) y))))

end135.0ms (2.7%)

Stop Event

1×

fuel

Compiler

Compiled 328 to 219 computations (33.2% saved)

Details

analyze1.2s (23.5%)

sample1.5s (30.1%)

preprocess39.0ms (0.8%)

simplify33.0ms (0.7%)

prune3.0ms (0.1%)

localize10.0ms (0.2%)

series37.0ms (0.7%)

rewrite94.0ms (1.9%)

simplify74.0ms (1.5%)

prune271.0ms (5.4%)

localize12.0ms (0.2%)

series205.0ms (4.1%)

rewrite61.0ms (1.2%)

simplify41.0ms (0.8%)

prune196.0ms (3.9%)

localize10.0ms (0.2%)

series40.0ms (0.8%)

rewrite37.0ms (0.7%)

simplify73.0ms (1.5%)

prune151.0ms (3%)

localize10.0ms (0.2%)

series23.0ms (0.5%)

rewrite43.0ms (0.9%)

simplify15.0ms (0.3%)

prune245.0ms (4.9%)

regimes462.0ms (9.2%)

bsearch1.0ms (0%)

simplify5.0ms (0.1%)

end135.0ms (2.7%)

Profiling