Details

analyze1.5s (29.1%)

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
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
9.4%	90.4%	0.2%	11
15.2%	84.6%	0.2%	12
21.6%	77.8%	0.5%	13
25.2%	74.2%	0.6%	14

Compiler

Compiled 20 to 14 computations (30% saved)

sample1.5s (30.3%)

Results

1.1s	8256×	body	128	valid
427.0ms	3197×	body	128	invalid

Compiler

Compiled 40 to 28 computations (30% saved)

preprocess48.0ms (1%)

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)

simplify39.0ms (0.8%)

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
	5.0b	(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)
▶	2.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)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series28.0ms (0.6%)

Counts

4 → 132

Calls

33 calls:

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

rewrite90.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

264×	`log1p-udef_binary64`
148×	`add-sqr-sqrt_binary64`
146×	`*-un-lft-identity_binary64`
146×	`pow1_binary64`
138×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	46
1	278	44
2	4581	44

Stop Event

1×	node limit

Counts

4 → 155

Calls

Call 1

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

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

simplify84.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

485×	`fma-neg_binary64`
475×	`fma-def_binary64`
274×	`cancel-sign-sub-inv_binary64`
264×	`div-sub_binary64`
224×	`times-frac_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	24	1477
1	63	1339
2	135	1333
3	233	1267
4	409	1267
5	724	1267
6	1280	1267
7	2122	1267
8	3631	1267

Stop Event

1×	node limit

Counts

287 → 170

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 (.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 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(*.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 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(.f64 3 (.f64 y z))
(.f64 (.f64 y z) 3)
(.f64 y (.f64 z 3))
(-.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 (+.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(+.f64 (.f64 1/3 (/.f64 t (.f64 y z))) x)
(fma.f64 1/3 (/.f64 t (*.f64 y z)) x)
(fma.f64 (/.f64 t y) (/.f64 1/3 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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(*.f64 -1/3 (/.f64 y z))
(/.f64 (*.f64 -1/3 y) z)
(/.f64 -1/3 (/.f64 z y))
(*.f64 (/.f64 -1/3 z) y)
(*.f64 y (/.f64 -1/3 z))
(/.f64 y (/.f64 z -1/3))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(+.f64 x (/.f64 (*.f64 -1/3 y) z))
(+.f64 x (/.f64 -1/3 (/.f64 z y)))
(fma.f64 (/.f64 y z) -1/3 x)
(fma.f64 (/.f64 -1/3 z) y x)
(fma.f64 y (/.f64 -1/3 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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(*.f64 -1/3 (/.f64 y z))
(/.f64 (*.f64 -1/3 y) z)
(/.f64 -1/3 (/.f64 z y))
(*.f64 (/.f64 -1/3 z) y)
(*.f64 y (/.f64 -1/3 z))
(/.f64 y (/.f64 z -1/3))
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(+.f64 x (/.f64 (*.f64 -1/3 y) z))
(+.f64 x (/.f64 -1/3 (/.f64 z y)))
(fma.f64 (/.f64 y z) -1/3 x)
(fma.f64 (/.f64 -1/3 z) y x)
(fma.f64 y (/.f64 -1/3 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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(/.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 (+.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(-.f64 x (*.f64 1/3 (/.f64 y z)))
(+.f64 x (/.f64 (*.f64 -1/3 y) z))
(+.f64 x (/.f64 -1/3 (/.f64 z y)))
(fma.f64 (/.f64 y z) -1/3 x)
(fma.f64 (/.f64 -1/3 z) y x)
(fma.f64 y (/.f64 -1/3 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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(-.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(.f64 1/3 (/.f64 t (.f64 y z)))
(*.f64 (/.f64 1/3 z) (/.f64 t y))
(*.f64 (/.f64 t y) (/.f64 1/3 z))
(/.f64 t (*.f64 y (/.f64 z 1/3)))
(*.f64 t (/.f64 (/.f64 1/3 z) y))
(-.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)
(-.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 (.f64 -1/3 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)

prune161.0ms (3.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	164	6	170
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	165	7	172

Error

0.0b

Counts

172 → 7

Alt Table

Status	Error	Program
	2.8b	(fma.f64 t (/.f64 (/.f64 1/3 z) y) (-.f64 x (*.f64 (/.f64 y z) 1/3)))
	41.3b	(/.f64 (+.f64 (+.f64 (.f64 (/.f64 y z) 1/3) x) (.f64 (/.f64 z (/.f64 t (.f64 3 y))) (-.f64 (.f64 x x) (pow.f64 (.f64 (/.f64 y z) 1/3) 2)))) (.f64 (/.f64 z (/.f64 t (.f64 3 y))) (+.f64 (.f64 (/.f64 y z) 1/3) x)))
	5.0b	(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)
	5.0b	(fma.f64 1/3 (/.f64 (-.f64 (/.f64 t y) y) z) x)
	2.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 3 (*.f64 y z))))
	2.7b	(+.f64 (-.f64 x (.f64 1/3 (/.f64 y z))) (/.f64 t (.f64 (*.f64 z 3) y)))
▶	1.8b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 (*.f64 t (/.f64 1/3 z)) (/.f64 1 y)))

Compiler

Compiled 4324 to 2503 computations (42.1% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(/.f64 y (*.f64 z 3))
✓	0.2b	(*.f64 t (/.f64 1/3 z))
✓	0.3b	(/.f64 1/3 z)
✓	3.3b	(.f64 (.f64 t (/.f64 1/3 z)) (/.f64 1 y))

series7.0ms (0.1%)

Counts

3 → 60

Calls

18 calls:

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

rewrite48.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

509×	`log-prod_binary64`
257×	`pow2_binary64`
183×	`pow1/3_binary64`
179×	`expm1-udef_binary64`
179×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	211	21
2	2656	21

Stop Event

1×	node limit

Counts

3 → 98

Calls

Call 1

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

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

Outputs

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

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

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

simplify22.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

16×	`associate-/l*_binary64`
9×	`associate-*r/_binary64`
7×	`*-commutative_binary64`
7×	`associate-/r/_binary64`
6×	`associate-*l/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	528
1	18	528
2	37	528
3	60	528
4	83	528
5	83	528

Stop Event

1×

saturated

Counts

158 → 102

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

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

prune172.0ms (3.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	137	4	141
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	141	7	148

Error

Counts

148 → 7

Alt Table

Status	Error	Program
	5.0b	(fma.f64 1/3 (/.f64 (-.f64 (/.f64 t y) y) z) x)
▶	1.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (/.f64 (.f64 t 1/3) z) y))
	2.8b	(fma.f64 t (/.f64 (/.f64 1/3 z) y) (-.f64 x (*.f64 (/.f64 y z) 1/3)))
	2.0b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 (*.f64 t (pow.f64 (cbrt.f64 (/.f64 1/3 z)) 3)) (/.f64 1 y)))
	4.6b	(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 1/3 z) (/.f64 y t)))
	2.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 3 (*.f64 y z))))
	1.8b	(+.f64 (-.f64 x (.f64 (/.f64 1/3 z) y)) (.f64 (*.f64 t (/.f64 1/3 z)) (/.f64 1 y)))

Compiler

Compiled 3135 to 2060 computations (34.3% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(/.f64 y (*.f64 z 3))
✓	0.2b	(/.f64 (*.f64 t 1/3) z)
✓	0.4b	(*.f64 t 1/3)
✓	3.2b	(/.f64 (/.f64 (*.f64 t 1/3) z) y)

series9.0ms (0.2%)

Counts

3 → 72

Calls

18 calls:

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

rewrite54.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

494×	`log-prod_binary64`
235×	`pow2_binary64`
165×	`pow1/3_binary64`
162×	`expm1-udef_binary64`
162×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	21
1	174	21
2	2467	21

Stop Event

1×	node limit

Counts

3 → 113

Calls

Call 1

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

Outputs

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

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

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

simplify25.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

16×	`associate-/l*_binary64`
11×	`associate-*r/_binary64`
7×	`associate-/r/_binary64`
6×	`associate-/r*_binary64`
6×	`associate-/l/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	576
1	19	576
2	41	576
3	66	576
4	81	576
5	81	576

Stop Event

1×

saturated

Counts

185 → 116

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

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

prune166.0ms (3.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	154	1	155
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	156	6	162

Error

Counts

162 → 6

Alt Table

Status	Error	Program
	2.8b	(fma.f64 t (/.f64 (/.f64 1/3 z) y) (-.f64 x (*.f64 (/.f64 y z) 1/3)))
▶	1.8b	(+.f64 (-.f64 x (.f64 (/.f64 1/3 z) y)) (/.f64 (/.f64 (.f64 t 1/3) z) y))
	2.0b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 (*.f64 t (pow.f64 (cbrt.f64 (/.f64 1/3 z)) 3)) (/.f64 1 y)))
	5.0b	(fma.f64 1/3 (/.f64 (-.f64 (/.f64 t y) y) z) x)
	4.6b	(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 1/3 z) (/.f64 y t)))
	2.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 3 (*.f64 y z))))

Compiler

Compiled 3304 to 2046 computations (38.1% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(/.f64 (*.f64 t 1/3) z)
	0.3b	(/.f64 1/3 z)
	0.4b	(*.f64 t 1/3)
	3.2b	(/.f64 (/.f64 (*.f64 t 1/3) z) y)

prune160.0ms (3.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	142	6	148

Error

Counts

148 → 6

Alt Table

Status	Error	Program
	2.8b	(fma.f64 t (/.f64 (/.f64 1/3 z) y) (-.f64 x (*.f64 (/.f64 y z) 1/3)))
✓	1.8b	(+.f64 (-.f64 x (.f64 (/.f64 1/3 z) y)) (/.f64 (/.f64 (.f64 t 1/3) z) y))
	2.0b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (.f64 (*.f64 t (pow.f64 (cbrt.f64 (/.f64 1/3 z)) 3)) (/.f64 1 y)))
	5.0b	(fma.f64 1/3 (/.f64 (-.f64 (/.f64 t y) y) z) x)
	4.6b	(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 1/3 z) (/.f64 y t)))
	2.7b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 3 (*.f64 y z))))

Compiler

Compiled 2921 to 1839 computations (37% saved)

regimes766.0ms (15.3%)

Accuracy

Total 0.8b remaining (95.9%)

Threshold costs 0.8b (95.9%)

Counts

126 → 3

Compiler

Compiled 2157 to 1310 computations (39.3% saved)

bsearch2.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
2e+268	∈ [	1.4468099490587552e+268	,	2.0375481464142e+274	]
-2e+303	∈ [	-2.6033885341319728e+303	,	-7.596777519628729e+301	]

Compiler

Compiled 19 to 13 computations (31.6% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary64`
12×	`+-commutative_binary64`
9×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	121
1	63	121
2	91	121
3	103	121
4	110	121
5	111	121

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))) -2000000000000000000323530153572912876425337292463318876590990034202234998451477495730520486068427830507559547136360674832054891641135558399286783083212052137222301492244569952354513300088401054553614654135380924225322855000394102452979796521357526782898752177094584641628255914972661310937838244526555136) (+.f64 (-.f64 x (*.f64 (/.f64 1/3 z) y)) (/.f64 (*.f64 1/3 (/.f64 t z)) y)) (if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y))) 19999999999999999468764497083204546117550371222456475011874251839742919280488893133880888089537373780302983352459926183803316491680462938820366994786182709264962452269186282141480785836231386584392976978150860083957810243755889397927408415870663269868469457841301749760) (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (pow.f64 (*.f64 z (*.f64 3 y)) 1))) (fma.f64 1 (-.f64 x (*.f64 (/.f64 y z) 1/3)) (/.f64 (/.f64 t z) (*.f64 3 y)))))

Outputs

(if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y))) -2000000000000000000323530153572912876425337292463318876590990034202234998451477495730520486068427830507559547136360674832054891641135558399286783083212052137222301492244569952354513300088401054553614654135380924225322855000394102452979796521357526782898752177094584641628255914972661310937838244526555136) (+.f64 (-.f64 x (*.f64 (/.f64 1/3 z) y)) (/.f64 (*.f64 1/3 (/.f64 t z)) y)) (if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y))) 19999999999999999468764497083204546117550371222456475011874251839742919280488893133880888089537373780302983352459926183803316491680462938820366994786182709264962452269186282141480785836231386584392976978150860083957810243755889397927408415870663269868469457841301749760) (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (pow.f64 (*.f64 z (*.f64 3 y)) 1))) (fma.f64 1 (-.f64 x (*.f64 (/.f64 y z) 1/3)) (/.f64 (/.f64 t z) (*.f64 3 y)))))

(if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 y (*.f64 z 3)))) -2000000000000000000323530153572912876425337292463318876590990034202234998451477495730520486068427830507559547136360674832054891641135558399286783083212052137222301492244569952354513300088401054553614654135380924225322855000394102452979796521357526782898752177094584641628255914972661310937838244526555136) (+.f64 (-.f64 x (*.f64 y (/.f64 1/3 z))) (/.f64 (*.f64 1/3 (/.f64 t z)) y)) (if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 y (*.f64 z 3)))) 19999999999999999468764497083204546117550371222456475011874251839742919280488893133880888089537373780302983352459926183803316491680462938820366994786182709264962452269186282141480785836231386584392976978150860083957810243755889397927408415870663269868469457841301749760) (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 z (*.f64 y 3)))) (fma.f64 1 (-.f64 x (*.f64 1/3 (/.f64 y z))) (/.f64 (/.f64 t z) (*.f64 y 3)))))

(if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 y (*.f64 z 3)))) -2000000000000000000323530153572912876425337292463318876590990034202234998451477495730520486068427830507559547136360674832054891641135558399286783083212052137222301492244569952354513300088401054553614654135380924225322855000394102452979796521357526782898752177094584641628255914972661310937838244526555136) (+.f64 (+.f64 x (*.f64 y (/.f64 -1/3 z))) (/.f64 (*.f64 1/3 (/.f64 t z)) y)) (if (<=.f64 (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 y (*.f64 z 3)))) 19999999999999999468764497083204546117550371222456475011874251839742919280488893133880888089537373780302983352459926183803316491680462938820366994786182709264962452269186282141480785836231386584392976978150860083957810243755889397927408415870663269868469457841301749760) (+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 z (*.f64 y 3)))) (fma.f64 1 (+.f64 x (*.f64 (/.f64 y z) -1/3)) (/.f64 (/.f64 t z) (*.f64 y 3)))))

end106.0ms (2.1%)

Stop Event

1×

fuel

Compiler

Compiled 285 to 188 computations (34% saved)

Details

analyze1.5s (29.1%)

sample1.5s (30.3%)

preprocess48.0ms (1%)

simplify39.0ms (0.8%)

prune3.0ms (0.1%)

localize8.0ms (0.2%)

series28.0ms (0.6%)

rewrite90.0ms (1.8%)

simplify84.0ms (1.7%)

prune161.0ms (3.2%)

localize10.0ms (0.2%)

series7.0ms (0.1%)

rewrite48.0ms (1%)

simplify22.0ms (0.4%)

prune172.0ms (3.4%)

localize9.0ms (0.2%)

series9.0ms (0.2%)

rewrite54.0ms (1.1%)

simplify25.0ms (0.5%)

prune166.0ms (3.3%)

localize11.0ms (0.2%)

prune160.0ms (3.2%)

regimes766.0ms (15.3%)

bsearch2.0ms (0%)

simplify8.0ms (0.2%)

end106.0ms (2.1%)

Profiling