Metrics for Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1, B

analyze199.0ms (7.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
25%	25%	74.9%	0.2%	0%	0%	0%	5
25%	25%	74.9%	0.2%	0%	0%	0%	6
25%	25%	74.9%	0.2%	0%	0%	0%	7
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	8
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	9
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	10
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	11
65.6%	65.5%	34.3%	0.2%	0%	0%	0%	12

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (42.3%)

Results

935.0ms	6843×	body	256	valid
235.0ms	1413×	body	256	infinite

Bogosity

preprocess136.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1818×	`fma-neg`
1336×	`div-sub`
854×	`fma-def`
776×	`neg-mul-1`
770×	`distribute-lft-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	50	287
1	139	221
2	428	155
3	1527	155
4	3013	155
5	5381	155
6	6609	155
7	7257	155
8	7679	155
9	7849	155

Stop Event

1×	node limit

Calls

Call 1

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

Outputs
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
(.f64 x (/.f64 y (.f64 1 z)))
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 y z))
(.f64 (neg.f64 x) (/.f64 (.f64 (/.f64 y z) t) t))
(.f64 (/.f64 (.f64 (/.f64 y z) t) t) (neg.f64 x))
(*.f64 x (/.f64 (neg.f64 (/.f64 y z)) 1))
(/.f64 (neg.f64 x) (/.f64 z y))
(*.f64 x (/.f64 y (neg.f64 z)))
(.f64 x (/.f64 (.f64 (/.f64 (neg.f64 y) z) t) t))
(.f64 (/.f64 (.f64 (/.f64 y z) t) t) (neg.f64 x))
(*.f64 x (/.f64 (neg.f64 (/.f64 y z)) 1))
(/.f64 (neg.f64 x) (/.f64 z y))
(*.f64 x (/.f64 y (neg.f64 z)))
(.f64 x (/.f64 (.f64 (/.f64 y (neg.f64 z)) t) t))
(.f64 (/.f64 (.f64 (/.f64 y z) t) t) (neg.f64 x))
(*.f64 x (/.f64 (neg.f64 (/.f64 y z)) 1))
(/.f64 (neg.f64 x) (/.f64 z y))
(*.f64 x (/.f64 y (neg.f64 z)))
(.f64 x (/.f64 (.f64 (/.f64 y z) (neg.f64 t)) (neg.f64 t)))
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
(.f64 x (/.f64 y (.f64 1 z)))
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 y z))
(.f64 y (/.f64 (.f64 (/.f64 x z) t) t))
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
(.f64 x (/.f64 y (.f64 1 z)))
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 y z))
(.f64 z (/.f64 (.f64 (/.f64 y x) t) t))
(.f64 z (/.f64 (.f64 t (/.f64 y x)) t))
(.f64 z (/.f64 y (.f64 1 x)))
(*.f64 z (/.f64 y x))
(.f64 t (/.f64 (.f64 (/.f64 y z) x) x))
(*.f64 t (/.f64 (/.f64 y z) (/.f64 x x)))
(.f64 t (/.f64 y (.f64 1 z)))
(*.f64 y (/.f64 t z))
(.f64 x (/.f64 (.f64 (/.f64 z y) t) t))
(.f64 x (/.f64 (.f64 t (/.f64 z y)) t))
(.f64 x (/.f64 z (.f64 1 y)))
(*.f64 x (/.f64 z y))
(/.f64 x (/.f64 y z))
(.f64 x (/.f64 (.f64 (/.f64 t z) y) y))
(*.f64 x (/.f64 (/.f64 t z) (/.f64 y y)))
(.f64 x (/.f64 t (.f64 1 z)))
(*.f64 x (/.f64 t z))
(*.f64 t (/.f64 x z))
(.f64 x (/.f64 (.f64 (/.f64 y t) z) z))
(*.f64 x (/.f64 (/.f64 y t) (/.f64 z z)))
(*.f64 x (/.f64 (/.f64 y t) 1))
(*.f64 x (/.f64 y t))
(/.f64 (*.f64 x y) t)

Symmetry

(abs t)

(sort x y)

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify100.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

3786×	`associate-r`
2832×	`associate-l`
2274×	`associate-*r/`
1216×	`associate-/r*`
698×	`associate-*l/`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	18	19
2	44	13
3	104	13
4	433	13
5	2078	13
6	2266	13
7	2279	13
8	2292	13
9	2299	13
10	2306	13
11	2313	13
12	2320	13
13	2327	13
14	2334	13
15	2341	13
16	2348	13
17	2355	13
18	2362	13
19	2369	13
20	2376	13

Stop Event

1×	node limit

Counts

1 → 5

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 39 to 16 computations (59% saved)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	3	2	5
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	4	2	6

Accurracy

99.9%

Counts

6 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	91.1%	(*.f64 y (/.f64 x z))
▶	94.3%	(*.f64 x (/.f64 y z))
▶	91.1%	(*.f64 y (/.f64 x z))
▶	94.3%	(*.f64 x (/.f64 y z))

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize33.0ms (1.2%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	91.1%	(*.f64 y (/.f64 x z))
✓	94.3%	(*.f64 x (/.f64 y z))

Compiler

Compiled 27 to 9 computations (66.7% saved)

series33.0ms (1.2%)

Counts

2 → 72

Calls

18 calls:

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

rewrite63.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1944×	`pow1`
1794×	`add-exp-log`
1794×	`log1p-expm1-u`
1794×	`expm1-log1p-u`
198×	`*-un-lft-identity`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	191	26
2	2675	26

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

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

Outputs
(-.f64 (+.f64 1 (/.f64 y (/.f64 z x))) 1)
(/.f64 x (/.f64 z y))
(/.f64 y (/.f64 z x))
(/.f64 1 (/.f64 z (*.f64 x y)))
(/.f64 (*.f64 x y) z)
(/.f64 (neg.f64 (*.f64 x y)) (neg.f64 z))
(/.f64 (*.f64 y (neg.f64 x)) (neg.f64 z))
(/.f64 (*.f64 x (neg.f64 y)) (neg.f64 z))
(/.f64 (*.f64 (neg.f64 x) y) (neg.f64 z))
(/.f64 (*.f64 (neg.f64 y) x) (neg.f64 z))
(/.f64 (/.f64 (*.f64 x y) 1) z)
(/.f64 (/.f64 (.f64 x y) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))
(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 z)) (sqrt.f64 z))
(pow.f64 (/.f64 y (/.f64 z x)) 1)
(pow.f64 (cbrt.f64 (/.f64 y (/.f64 z x))) 3)
(pow.f64 (pow.f64 (/.f64 y (/.f64 z x)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 y (/.f64 z x))) 2)
(sqrt.f64 (pow.f64 (/.f64 y (/.f64 z x)) 2))
(log.f64 (pow.f64 (exp.f64 (/.f64 y z)) x))
(cbrt.f64 (pow.f64 (/.f64 y (/.f64 z x)) 3))
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) 3)))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 y 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (/.f64 y z) 3)))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (/.f64 y (/.f64 z x))))
(exp.f64 (log.f64 (/.f64 y (/.f64 z x))))
(exp.f64 (*.f64 (log.f64 (/.f64 y (/.f64 z x))) 1))
(log1p.f64 (expm1.f64 (/.f64 y (/.f64 z x))))
(-.f64 (+.f64 1 (/.f64 y (/.f64 z x))) 1)
(/.f64 x (/.f64 z y))
(/.f64 y (/.f64 z x))
(/.f64 1 (/.f64 z (*.f64 x y)))
(/.f64 (*.f64 x y) z)
(/.f64 (neg.f64 (*.f64 x y)) (neg.f64 z))
(/.f64 (*.f64 y (neg.f64 x)) (neg.f64 z))
(/.f64 (*.f64 x (neg.f64 y)) (neg.f64 z))
(/.f64 (*.f64 (neg.f64 x) y) (neg.f64 z))
(/.f64 (*.f64 (neg.f64 y) x) (neg.f64 z))
(/.f64 (/.f64 (*.f64 x y) 1) z)
(/.f64 (/.f64 (.f64 x y) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))
(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 z)) (sqrt.f64 z))
(pow.f64 (/.f64 y (/.f64 z x)) 1)
(pow.f64 (cbrt.f64 (/.f64 y (/.f64 z x))) 3)
(pow.f64 (pow.f64 (/.f64 y (/.f64 z x)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 y (/.f64 z x))) 2)
(sqrt.f64 (pow.f64 (/.f64 y (/.f64 z x)) 2))
(log.f64 (pow.f64 (exp.f64 (/.f64 y z)) x))
(cbrt.f64 (pow.f64 (/.f64 y (/.f64 z x)) 3))
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) 3)))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 y 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (/.f64 y z) 3)))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (/.f64 y (/.f64 z x))))
(exp.f64 (log.f64 (/.f64 y (/.f64 z x))))
(exp.f64 (*.f64 (log.f64 (/.f64 y (/.f64 z x))) 1))
(log1p.f64 (expm1.f64 (/.f64 y (/.f64 z x))))

simplify73.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1556×	`log-prod`
932×	`fma-def`
820×	`associate-l`
788×	`associate-r`
718×	`log-div`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	80	1704
1	183	1704
2	670	1704
3	4043	1704

Stop Event

1×	node limit

Counts

128 → 33

Calls

Call 1

Inputs
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(-.f64 (+.f64 1 (/.f64 y (/.f64 z x))) 1)
(/.f64 x (/.f64 z y))
(/.f64 y (/.f64 z x))
(/.f64 1 (/.f64 z (*.f64 x y)))
(/.f64 (*.f64 x y) z)
(/.f64 (neg.f64 (*.f64 x y)) (neg.f64 z))
(/.f64 (*.f64 y (neg.f64 x)) (neg.f64 z))
(/.f64 (*.f64 x (neg.f64 y)) (neg.f64 z))
(/.f64 (*.f64 (neg.f64 x) y) (neg.f64 z))
(/.f64 (*.f64 (neg.f64 y) x) (neg.f64 z))
(/.f64 (/.f64 (*.f64 x y) 1) z)
(/.f64 (/.f64 (.f64 x y) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))
(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 z)) (sqrt.f64 z))
(pow.f64 (/.f64 y (/.f64 z x)) 1)
(pow.f64 (cbrt.f64 (/.f64 y (/.f64 z x))) 3)
(pow.f64 (pow.f64 (/.f64 y (/.f64 z x)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 y (/.f64 z x))) 2)
(sqrt.f64 (pow.f64 (/.f64 y (/.f64 z x)) 2))
(log.f64 (pow.f64 (exp.f64 (/.f64 y z)) x))
(cbrt.f64 (pow.f64 (/.f64 y (/.f64 z x)) 3))
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) 3)))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 y 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (/.f64 y z) 3)))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (/.f64 y (/.f64 z x))))
(exp.f64 (log.f64 (/.f64 y (/.f64 z x))))
(exp.f64 (*.f64 (log.f64 (/.f64 y (/.f64 z x))) 1))
(log1p.f64 (expm1.f64 (/.f64 y (/.f64 z x))))
(-.f64 (+.f64 1 (/.f64 y (/.f64 z x))) 1)
(/.f64 x (/.f64 z y))
(/.f64 y (/.f64 z x))
(/.f64 1 (/.f64 z (*.f64 x y)))
(/.f64 (*.f64 x y) z)
(/.f64 (neg.f64 (*.f64 x y)) (neg.f64 z))
(/.f64 (*.f64 y (neg.f64 x)) (neg.f64 z))
(/.f64 (*.f64 x (neg.f64 y)) (neg.f64 z))
(/.f64 (*.f64 (neg.f64 x) y) (neg.f64 z))
(/.f64 (*.f64 (neg.f64 y) x) (neg.f64 z))
(/.f64 (/.f64 (*.f64 x y) 1) z)
(/.f64 (/.f64 (.f64 x y) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))
(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 z)) (sqrt.f64 z))
(pow.f64 (/.f64 y (/.f64 z x)) 1)
(pow.f64 (cbrt.f64 (/.f64 y (/.f64 z x))) 3)
(pow.f64 (pow.f64 (/.f64 y (/.f64 z x)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 y (/.f64 z x))) 2)
(sqrt.f64 (pow.f64 (/.f64 y (/.f64 z x)) 2))
(log.f64 (pow.f64 (exp.f64 (/.f64 y z)) x))
(cbrt.f64 (pow.f64 (/.f64 y (/.f64 z x)) 3))
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) 3)))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 y 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (/.f64 y z) 3)))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (/.f64 y (/.f64 z x))))
(exp.f64 (log.f64 (/.f64 y (/.f64 z x))))
(exp.f64 (*.f64 (log.f64 (/.f64 y (/.f64 z x))) 1))
(log1p.f64 (expm1.f64 (/.f64 y (/.f64 z x))))

Outputs
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(-.f64 (+.f64 1 (/.f64 y (/.f64 z x))) 1)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 x (/.f64 z y))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 y (/.f64 z x))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 1 (/.f64 z (*.f64 x y)))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 x y) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (neg.f64 (*.f64 x y)) (neg.f64 z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y (neg.f64 x)) (neg.f64 z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 x (neg.f64 y)) (neg.f64 z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 (neg.f64 x) y) (neg.f64 z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 (neg.f64 y) x) (neg.f64 z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (*.f64 x y) 1) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (.f64 x y) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))
(/.f64 (/.f64 (.f64 y x) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))
(.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 (.f64 z z))))
(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 z)) (sqrt.f64 z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 y (/.f64 z x)) 1)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(pow.f64 (cbrt.f64 (/.f64 y (/.f64 z x))) 3)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (/.f64 y (/.f64 z x)) 3) 1/3)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(pow.f64 (sqrt.f64 (/.f64 y (/.f64 z x))) 2)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(sqrt.f64 (pow.f64 (/.f64 y (/.f64 z x)) 2))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(log.f64 (pow.f64 (exp.f64 (/.f64 y z)) x))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(cbrt.f64 (pow.f64 (/.f64 y (/.f64 z x)) 3))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) 3)))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 y 3)))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (/.f64 y z) 3)))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 x 3)))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(expm1.f64 (log1p.f64 (/.f64 y (/.f64 z x))))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(exp.f64 (log.f64 (/.f64 y (/.f64 z x))))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(exp.f64 (*.f64 (log.f64 (/.f64 y (/.f64 z x))) 1))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(log1p.f64 (expm1.f64 (/.f64 y (/.f64 z x))))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(-.f64 (+.f64 1 (/.f64 y (/.f64 z x))) 1)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 x (/.f64 z y))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 y (/.f64 z x))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 1 (/.f64 z (*.f64 x y)))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 x y) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (neg.f64 (*.f64 x y)) (neg.f64 z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y (neg.f64 x)) (neg.f64 z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 x (neg.f64 y)) (neg.f64 z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 (neg.f64 x) y) (neg.f64 z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 (neg.f64 y) x) (neg.f64 z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (*.f64 x y) 1) z)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (.f64 x y) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))
(/.f64 (/.f64 (.f64 y x) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))
(.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 (.f64 z z))))
(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 z)) (sqrt.f64 z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 y (/.f64 z x)) 1)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(pow.f64 (cbrt.f64 (/.f64 y (/.f64 z x))) 3)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (/.f64 y (/.f64 z x)) 3) 1/3)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(pow.f64 (sqrt.f64 (/.f64 y (/.f64 z x))) 2)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(sqrt.f64 (pow.f64 (/.f64 y (/.f64 z x)) 2))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(log.f64 (pow.f64 (exp.f64 (/.f64 y z)) x))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(cbrt.f64 (pow.f64 (/.f64 y (/.f64 z x)) 3))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) 3)))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 y 3)))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (/.f64 y z) 3)))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 x 3)))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(expm1.f64 (log1p.f64 (/.f64 y (/.f64 z x))))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(exp.f64 (log.f64 (/.f64 y (/.f64 z x))))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(exp.f64 (*.f64 (log.f64 (/.f64 y (/.f64 z x))) 1))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(log1p.f64 (expm1.f64 (/.f64 y (/.f64 z x))))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))

eval40.0ms (1.4%)

Compiler: Compiled 259 to 106 computations (59.1% saved)

prune7.0ms (0.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	31	2	33
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	31	4	35

Accurracy

100.0%

Counts

35 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	93.8%	(/.f64 (*.f64 y x) z)
▶	91.4%	(/.f64 y (/.f64 z x))
✓	91.1%	(*.f64 y (/.f64 x z))
✓	94.3%	(*.f64 x (/.f64 y z))
▶	93.8%	(/.f64 (*.f64 y x) z)
▶	91.4%	(/.f64 y (/.f64 z x))
✓	91.1%	(*.f64 y (/.f64 x z))
✓	94.3%	(*.f64 x (/.f64 y z))

Compiler

Compiled 72 to 48 computations (33.3% saved)

localize37.0ms (1.3%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	93.8%	(/.f64 (*.f64 y x) z)
✓	91.4%	(/.f64 y (/.f64 z x))

Compiler

Compiled 27 to 9 computations (66.7% saved)

series1.0ms (0%)

Counts

2 → 36

Calls

18 calls:

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

rewrite87.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1126×	`log-prod`
748×	`prod-exp`
662×	`pow-prod-down`
444×	`pow-prod-up`
394×	`pow-unpow`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	198	26
2	2703	26

Stop Event

1×	node limit

Counts

2 → 172

Calls

Call 1

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

Outputs
(+.f64 0 (*.f64 y (/.f64 x z)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (/.f64 x z)))) 1)
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 y z))
(.f64 (.f64 y x) (/.f64 1 z))
(.f64 (.f64 y (/.f64 x z)) 1)
(.f64 1 (.f64 y (/.f64 x z)))
(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) (/.f64 1 z)))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 y (/.f64 x z))) 2) (cbrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) (/.f64 x z)))
(.f64 (sqrt.f64 (.f64 y x)) (.f64 (sqrt.f64 (.f64 y x)) (/.f64 1 z)))
(.f64 (sqrt.f64 (.f64 y (/.f64 x z))) (sqrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 x z)))
(.f64 (.f64 y (neg.f64 x)) (/.f64 1 (neg.f64 z)))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) x)))
(.f64 (/.f64 1 z) (.f64 y x))
(*.f64 (/.f64 1 z) (/.f64 y (/.f64 1 x)))
(*.f64 (/.f64 x z) y)
(*.f64 (/.f64 y z) x)
(.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (.f64 y x) (cbrt.f64 z)))
(.f64 (pow.f64 z -1/2) (/.f64 (.f64 y x) (sqrt.f64 z)))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 z x)))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z x)))
(*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) (/.f64 1 x)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) -2) (/.f64 y (cbrt.f64 (/.f64 z x))))
(*.f64 (pow.f64 (/.f64 z x) -1/2) (/.f64 y (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) z) (/.f64 (cbrt.f64 y) (/.f64 1 x)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (cbrt.f64 (.f64 y (/.f64 x z))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 z x))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 y 1) (/.f64 x z))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)))
(*.f64 (/.f64 x 1) (/.f64 y z))
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 y x)) z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 y x)) (sqrt.f64 z)))
(.f64 (/.f64 (sqrt.f64 (.f64 y x)) 1) (/.f64 (sqrt.f64 (*.f64 y x)) z))
(.f64 (/.f64 (sqrt.f64 (.f64 y x)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 (*.f64 y x)) (cbrt.f64 z)))
(.f64 (.f64 (/.f64 y z) 1) x)
(.f64 (.f64 (/.f64 y z) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (.f64 (/.f64 y z) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 x))
(pow.f64 (*.f64 y (/.f64 x z)) 1)
(pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 3)
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (/.f64 x z))) 2)
(pow.f64 (/.f64 (/.f64 z x) y) -1)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)) 1/3)
(pow.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)) 1/3)
(pow.f64 (/.f64 (/.f64 (/.f64 z x) y) 1) -1)
(neg.f64 (/.f64 (*.f64 y x) (neg.f64 z)))
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) x)))
(sqrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2))
(log.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (/.f64 x z)))))
(cbrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (*.f64 y (/.f64 x z))))
(exp.f64 (log.f64 (*.f64 y (/.f64 x z))))
(exp.f64 (.f64 (log.f64 (.f64 y (/.f64 x z))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 y (/.f64 x z))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (/.f64 x z)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 y (/.f64 x z)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (/.f64 x z)))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 z x) y)) -1))
(exp.f64 (+.f64 (*.f64 (log.f64 y) 1) (log.f64 (/.f64 x z))))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (/.f64 y z))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 1) (neg.f64 (log.f64 z))))
(exp.f64 (+.f64 (neg.f64 (log.f64 z)) (.f64 (log.f64 (.f64 y x)) 1)))
(exp.f64 (+.f64 (log.f64 (/.f64 x z)) (*.f64 (log.f64 y) 1)))
(exp.f64 (+.f64 (log.f64 (/.f64 y z)) (*.f64 (log.f64 x) 1)))
(exp.f64 (-.f64 (log.f64 y) (*.f64 (log.f64 (/.f64 z x)) 1)))
(exp.f64 (-.f64 (*.f64 (log.f64 y) 1) (log.f64 (/.f64 z x))))
(exp.f64 (-.f64 (.f64 (log.f64 y) 1) (.f64 (log.f64 (/.f64 z x)) 1)))
(exp.f64 (-.f64 (log.f64 (.f64 y x)) (.f64 (log.f64 z) 1)))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 y x)) 1) (log.f64 z)))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 y x)) 1) (*.f64 (log.f64 z) 1)))
(log1p.f64 (expm1.f64 (*.f64 y (/.f64 x z))))
(+.f64 0 (*.f64 y (/.f64 x z)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (/.f64 x z)))) 1)
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 y z))
(.f64 (.f64 y x) (/.f64 1 z))
(.f64 (.f64 y (/.f64 x z)) 1)
(.f64 1 (.f64 y (/.f64 x z)))
(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) (/.f64 1 z)))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 y (/.f64 x z))) 2) (cbrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) (/.f64 x z)))
(.f64 (sqrt.f64 (.f64 y x)) (.f64 (sqrt.f64 (.f64 y x)) (/.f64 1 z)))
(.f64 (sqrt.f64 (.f64 y (/.f64 x z))) (sqrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 x z)))
(.f64 (.f64 y (neg.f64 x)) (/.f64 1 (neg.f64 z)))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) x)))
(.f64 (/.f64 1 z) (.f64 y x))
(*.f64 (/.f64 1 z) (/.f64 y (/.f64 1 x)))
(*.f64 (/.f64 x z) y)
(*.f64 (/.f64 y z) x)
(.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (.f64 y x) (cbrt.f64 z)))
(.f64 (pow.f64 z -1/2) (/.f64 (.f64 y x) (sqrt.f64 z)))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 z x)))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z x)))
(*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) (/.f64 1 x)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) -2) (/.f64 y (cbrt.f64 (/.f64 z x))))
(*.f64 (pow.f64 (/.f64 z x) -1/2) (/.f64 y (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) z) (/.f64 (cbrt.f64 y) (/.f64 1 x)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (cbrt.f64 (.f64 y (/.f64 x z))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 z x))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 y 1) (/.f64 x z))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)))
(*.f64 (/.f64 x 1) (/.f64 y z))
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 y x)) z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 y x)) (sqrt.f64 z)))
(.f64 (/.f64 (sqrt.f64 (.f64 y x)) 1) (/.f64 (sqrt.f64 (*.f64 y x)) z))
(.f64 (/.f64 (sqrt.f64 (.f64 y x)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 (*.f64 y x)) (cbrt.f64 z)))
(.f64 (.f64 (/.f64 y z) 1) x)
(.f64 (.f64 (/.f64 y z) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (.f64 (/.f64 y z) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 x))
(pow.f64 (*.f64 y (/.f64 x z)) 1)
(pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 3)
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (/.f64 x z))) 2)
(pow.f64 (/.f64 (/.f64 z x) y) -1)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)) 1/3)
(pow.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)) 1/3)
(pow.f64 (/.f64 (/.f64 (/.f64 z x) y) 1) -1)
(neg.f64 (/.f64 (*.f64 y x) (neg.f64 z)))
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) x)))
(sqrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2))
(log.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (/.f64 x z)))))
(cbrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (*.f64 y (/.f64 x z))))
(exp.f64 (log.f64 (*.f64 y (/.f64 x z))))
(exp.f64 (.f64 (log.f64 (.f64 y (/.f64 x z))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 y (/.f64 x z))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (/.f64 x z)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 y (/.f64 x z)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (/.f64 x z)))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 z x) y)) -1))
(exp.f64 (+.f64 (*.f64 (log.f64 y) 1) (log.f64 (/.f64 x z))))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (/.f64 y z))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 1) (neg.f64 (log.f64 z))))
(exp.f64 (+.f64 (neg.f64 (log.f64 z)) (.f64 (log.f64 (.f64 y x)) 1)))
(exp.f64 (+.f64 (log.f64 (/.f64 x z)) (*.f64 (log.f64 y) 1)))
(exp.f64 (+.f64 (log.f64 (/.f64 y z)) (*.f64 (log.f64 x) 1)))
(exp.f64 (-.f64 (log.f64 y) (*.f64 (log.f64 (/.f64 z x)) 1)))
(exp.f64 (-.f64 (*.f64 (log.f64 y) 1) (log.f64 (/.f64 z x))))
(exp.f64 (-.f64 (.f64 (log.f64 y) 1) (.f64 (log.f64 (/.f64 z x)) 1)))
(exp.f64 (-.f64 (log.f64 (.f64 y x)) (.f64 (log.f64 z) 1)))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 y x)) 1) (log.f64 z)))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 y x)) 1) (*.f64 (log.f64 z) 1)))
(log1p.f64 (expm1.f64 (*.f64 y (/.f64 x z))))

simplify110.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

1754×	`log-prod`
1142×	`times-frac`
694×	`associate-/r*`
624×	`fma-def`
554×	`unswap-sqr`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	242	3576
1	613	3476
2	1745	3476
3	6894	3476

Stop Event

1×	node limit

Counts

208 → 103

Calls

Call 1

Inputs
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(+.f64 0 (*.f64 y (/.f64 x z)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (/.f64 x z)))) 1)
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 y z))
(.f64 (.f64 y x) (/.f64 1 z))
(.f64 (.f64 y (/.f64 x z)) 1)
(.f64 1 (.f64 y (/.f64 x z)))
(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) (/.f64 1 z)))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 y (/.f64 x z))) 2) (cbrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) (/.f64 x z)))
(.f64 (sqrt.f64 (.f64 y x)) (.f64 (sqrt.f64 (.f64 y x)) (/.f64 1 z)))
(.f64 (sqrt.f64 (.f64 y (/.f64 x z))) (sqrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 x z)))
(.f64 (.f64 y (neg.f64 x)) (/.f64 1 (neg.f64 z)))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) x)))
(.f64 (/.f64 1 z) (.f64 y x))
(*.f64 (/.f64 1 z) (/.f64 y (/.f64 1 x)))
(*.f64 (/.f64 x z) y)
(*.f64 (/.f64 y z) x)
(.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (.f64 y x) (cbrt.f64 z)))
(.f64 (pow.f64 z -1/2) (/.f64 (.f64 y x) (sqrt.f64 z)))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 z x)))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z x)))
(*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) (/.f64 1 x)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) -2) (/.f64 y (cbrt.f64 (/.f64 z x))))
(*.f64 (pow.f64 (/.f64 z x) -1/2) (/.f64 y (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) z) (/.f64 (cbrt.f64 y) (/.f64 1 x)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (cbrt.f64 (.f64 y (/.f64 x z))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 z x))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 y 1) (/.f64 x z))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)))
(*.f64 (/.f64 x 1) (/.f64 y z))
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 y x)) z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 y x)) (sqrt.f64 z)))
(.f64 (/.f64 (sqrt.f64 (.f64 y x)) 1) (/.f64 (sqrt.f64 (*.f64 y x)) z))
(.f64 (/.f64 (sqrt.f64 (.f64 y x)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 (*.f64 y x)) (cbrt.f64 z)))
(.f64 (.f64 (/.f64 y z) 1) x)
(.f64 (.f64 (/.f64 y z) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (.f64 (/.f64 y z) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 x))
(pow.f64 (*.f64 y (/.f64 x z)) 1)
(pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 3)
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (/.f64 x z))) 2)
(pow.f64 (/.f64 (/.f64 z x) y) -1)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)) 1/3)
(pow.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)) 1/3)
(pow.f64 (/.f64 (/.f64 (/.f64 z x) y) 1) -1)
(neg.f64 (/.f64 (*.f64 y x) (neg.f64 z)))
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) x)))
(sqrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2))
(log.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (/.f64 x z)))))
(cbrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (*.f64 y (/.f64 x z))))
(exp.f64 (log.f64 (*.f64 y (/.f64 x z))))
(exp.f64 (.f64 (log.f64 (.f64 y (/.f64 x z))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 y (/.f64 x z))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (/.f64 x z)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 y (/.f64 x z)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (/.f64 x z)))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 z x) y)) -1))
(exp.f64 (+.f64 (*.f64 (log.f64 y) 1) (log.f64 (/.f64 x z))))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (/.f64 y z))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 1) (neg.f64 (log.f64 z))))
(exp.f64 (+.f64 (neg.f64 (log.f64 z)) (.f64 (log.f64 (.f64 y x)) 1)))
(exp.f64 (+.f64 (log.f64 (/.f64 x z)) (*.f64 (log.f64 y) 1)))
(exp.f64 (+.f64 (log.f64 (/.f64 y z)) (*.f64 (log.f64 x) 1)))
(exp.f64 (-.f64 (log.f64 y) (*.f64 (log.f64 (/.f64 z x)) 1)))
(exp.f64 (-.f64 (*.f64 (log.f64 y) 1) (log.f64 (/.f64 z x))))
(exp.f64 (-.f64 (.f64 (log.f64 y) 1) (.f64 (log.f64 (/.f64 z x)) 1)))
(exp.f64 (-.f64 (log.f64 (.f64 y x)) (.f64 (log.f64 z) 1)))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 y x)) 1) (log.f64 z)))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 y x)) 1) (*.f64 (log.f64 z) 1)))
(log1p.f64 (expm1.f64 (*.f64 y (/.f64 x z))))
(+.f64 0 (*.f64 y (/.f64 x z)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (/.f64 x z)))) 1)
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 y z))
(.f64 (.f64 y x) (/.f64 1 z))
(.f64 (.f64 y (/.f64 x z)) 1)
(.f64 1 (.f64 y (/.f64 x z)))
(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) (/.f64 1 z)))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 y (/.f64 x z))) 2) (cbrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) (/.f64 x z)))
(.f64 (sqrt.f64 (.f64 y x)) (.f64 (sqrt.f64 (.f64 y x)) (/.f64 1 z)))
(.f64 (sqrt.f64 (.f64 y (/.f64 x z))) (sqrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 x z)))
(.f64 (.f64 y (neg.f64 x)) (/.f64 1 (neg.f64 z)))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) x)))
(.f64 (/.f64 1 z) (.f64 y x))
(*.f64 (/.f64 1 z) (/.f64 y (/.f64 1 x)))
(*.f64 (/.f64 x z) y)
(*.f64 (/.f64 y z) x)
(.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (.f64 y x) (cbrt.f64 z)))
(.f64 (pow.f64 z -1/2) (/.f64 (.f64 y x) (sqrt.f64 z)))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 z x)))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z x)))
(*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) (/.f64 1 x)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) -2) (/.f64 y (cbrt.f64 (/.f64 z x))))
(*.f64 (pow.f64 (/.f64 z x) -1/2) (/.f64 y (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) z) (/.f64 (cbrt.f64 y) (/.f64 1 x)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (cbrt.f64 (.f64 y (/.f64 x z))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 z x))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 y 1) (/.f64 x z))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)))
(*.f64 (/.f64 x 1) (/.f64 y z))
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 y x)) z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 y x)) (sqrt.f64 z)))
(.f64 (/.f64 (sqrt.f64 (.f64 y x)) 1) (/.f64 (sqrt.f64 (*.f64 y x)) z))
(.f64 (/.f64 (sqrt.f64 (.f64 y x)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 (*.f64 y x)) (cbrt.f64 z)))
(.f64 (.f64 (/.f64 y z) 1) x)
(.f64 (.f64 (/.f64 y z) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (.f64 (/.f64 y z) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 x))
(pow.f64 (*.f64 y (/.f64 x z)) 1)
(pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 3)
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (/.f64 x z))) 2)
(pow.f64 (/.f64 (/.f64 z x) y) -1)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)) 1/3)
(pow.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)) 1/3)
(pow.f64 (/.f64 (/.f64 (/.f64 z x) y) 1) -1)
(neg.f64 (/.f64 (*.f64 y x) (neg.f64 z)))
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) x)))
(sqrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2))
(log.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (/.f64 x z)))))
(cbrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (*.f64 y (/.f64 x z))))
(exp.f64 (log.f64 (*.f64 y (/.f64 x z))))
(exp.f64 (.f64 (log.f64 (.f64 y (/.f64 x z))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 y (/.f64 x z))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (/.f64 x z)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 y (/.f64 x z)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (/.f64 x z)))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 z x) y)) -1))
(exp.f64 (+.f64 (*.f64 (log.f64 y) 1) (log.f64 (/.f64 x z))))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (/.f64 y z))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 1) (neg.f64 (log.f64 z))))
(exp.f64 (+.f64 (neg.f64 (log.f64 z)) (.f64 (log.f64 (.f64 y x)) 1)))
(exp.f64 (+.f64 (log.f64 (/.f64 x z)) (*.f64 (log.f64 y) 1)))
(exp.f64 (+.f64 (log.f64 (/.f64 y z)) (*.f64 (log.f64 x) 1)))
(exp.f64 (-.f64 (log.f64 y) (*.f64 (log.f64 (/.f64 z x)) 1)))
(exp.f64 (-.f64 (*.f64 (log.f64 y) 1) (log.f64 (/.f64 z x))))
(exp.f64 (-.f64 (.f64 (log.f64 y) 1) (.f64 (log.f64 (/.f64 z x)) 1)))
(exp.f64 (-.f64 (log.f64 (.f64 y x)) (.f64 (log.f64 z) 1)))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 y x)) 1) (log.f64 z)))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 y x)) 1) (*.f64 (log.f64 z) 1)))
(log1p.f64 (expm1.f64 (*.f64 y (/.f64 x z))))

Outputs
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(+.f64 0 (*.f64 y (/.f64 x z)))
(*.f64 y (/.f64 x z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(*.f64 y (/.f64 x z))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (/.f64 x z)))) 1)
(*.f64 y (/.f64 x z))
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (.f64 y x) (/.f64 1 z))
(*.f64 y (/.f64 x z))
(.f64 (.f64 y (/.f64 x z)) 1)
(*.f64 y (/.f64 x z))
(.f64 1 (.f64 y (/.f64 x z)))
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) (/.f64 1 z)))
(*.f64 y (/.f64 x z))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 2))
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (cbrt.f64 (.f64 y (/.f64 x z))) 2) (cbrt.f64 (*.f64 y (/.f64 x z))))
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) (/.f64 x z)))
(*.f64 y (/.f64 x z))
(.f64 (sqrt.f64 (.f64 y x)) (.f64 (sqrt.f64 (.f64 y x)) (/.f64 1 z)))
(*.f64 y (/.f64 x z))
(.f64 (sqrt.f64 (.f64 y (/.f64 x z))) (sqrt.f64 (*.f64 y (/.f64 x z))))
(*.f64 y (/.f64 x z))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 x z)))
(*.f64 y (/.f64 x z))
(.f64 (.f64 y (neg.f64 x)) (/.f64 1 (neg.f64 z)))
(*.f64 y (/.f64 x z))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) x)))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 1 z) (.f64 y x))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 1 z) (/.f64 y (/.f64 1 x)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 x z) y)
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (.f64 y x) (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 y (/.f64 (cbrt.f64 z) x)))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 x (/.f64 y (cbrt.f64 z))))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 y (/.f64 x (cbrt.f64 z))))
(.f64 (pow.f64 z -1/2) (/.f64 (.f64 y x) (sqrt.f64 z)))
(*.f64 (pow.f64 z -1/2) (/.f64 y (/.f64 (sqrt.f64 z) x)))
(.f64 (pow.f64 z -1/2) (.f64 x (/.f64 y (sqrt.f64 z))))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 z x)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z x)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) (/.f64 1 x)))
(*.f64 y (/.f64 x z))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) -2) (/.f64 y (cbrt.f64 (/.f64 z x))))
(/.f64 y (*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) 2) (cbrt.f64 (/.f64 z x))))
(*.f64 (pow.f64 (/.f64 z x) -1/2) (/.f64 y (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) z) (/.f64 (cbrt.f64 y) (/.f64 1 x)))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (cbrt.f64 (.f64 y (/.f64 x z))))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)))
(/.f64 (.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (cbrt.f64 (/.f64 z x)) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 z x))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z x))))
(/.f64 (/.f64 y (sqrt.f64 (/.f64 z x))) (sqrt.f64 (/.f64 z x)))
(/.f64 y (*.f64 (sqrt.f64 (/.f64 z x)) (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z x))))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) -2) (/.f64 y (cbrt.f64 (/.f64 z x))))
(/.f64 y (*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) 2) (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 y 1) (/.f64 x z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 y (/.f64 (cbrt.f64 z) x)))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 x (/.f64 y (cbrt.f64 z))))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 y (/.f64 x (cbrt.f64 z))))
(*.f64 (/.f64 x 1) (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 y (/.f64 (cbrt.f64 z) x)))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 x (/.f64 y (cbrt.f64 z))))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 y (/.f64 x (cbrt.f64 z))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 y x)) z))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (/.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2) (pow.f64 (cbrt.f64 z) 2)))
(/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (/.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 (.f64 y (/.f64 x z)))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 y x)) (sqrt.f64 z)))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(.f64 (/.f64 (sqrt.f64 (.f64 y x)) 1) (/.f64 (sqrt.f64 (*.f64 y x)) z))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (sqrt.f64 (.f64 y x)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 (*.f64 y x)) (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 y (/.f64 (cbrt.f64 z) x)))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 x (/.f64 y (cbrt.f64 z))))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 y (/.f64 x (cbrt.f64 z))))
(.f64 (.f64 (/.f64 y z) 1) x)
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 y z) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (/.f64 y z) (.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x)))
(.f64 (.f64 (/.f64 y z) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 x))
(*.f64 y (/.f64 x z))
(pow.f64 (*.f64 y (/.f64 x z)) 1)
(*.f64 y (/.f64 x z))
(pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 3)
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2) 1/2)
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3) 1/3)
(*.f64 y (/.f64 x z))
(pow.f64 (sqrt.f64 (*.f64 y (/.f64 x z))) 2)
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 (/.f64 z x) y) -1)
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)) 1/3)
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)))
(pow.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)) 1/3)
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 (/.f64 (/.f64 z x) y) 1) -1)
(*.f64 y (/.f64 x z))
(neg.f64 (/.f64 (*.f64 y x) (neg.f64 z)))
(*.f64 y (/.f64 x z))
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) x)))
(*.f64 y (/.f64 x z))
(sqrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2))
(*.f64 y (/.f64 x z))
(log.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))
(*.f64 y (/.f64 x z))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (/.f64 x z)))))
(*.f64 y (/.f64 x z))
(cbrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3))
(*.f64 y (/.f64 x z))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)))
(*.f64 y (/.f64 x z))
(expm1.f64 (log1p.f64 (*.f64 y (/.f64 x z))))
(*.f64 y (/.f64 x z))
(exp.f64 (log.f64 (*.f64 y (/.f64 x z))))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (log.f64 (.f64 y (/.f64 x z))) 1))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 y (/.f64 x z))) 1) 1))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (/.f64 x z)))) 3))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 y (/.f64 x z)))) 1/3))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (/.f64 x z)))) 2))
(*.f64 y (/.f64 x z))
(exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 z x) y)) -1))
(*.f64 y (/.f64 x z))
(exp.f64 (+.f64 (*.f64 (log.f64 y) 1) (log.f64 (/.f64 x z))))
(*.f64 y (/.f64 x z))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (/.f64 y z))))
(*.f64 y (/.f64 x z))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 1) (neg.f64 (log.f64 z))))
(*.f64 y (/.f64 x z))
(exp.f64 (+.f64 (neg.f64 (log.f64 z)) (.f64 (log.f64 (.f64 y x)) 1)))
(*.f64 y (/.f64 x z))
(exp.f64 (+.f64 (log.f64 (/.f64 x z)) (*.f64 (log.f64 y) 1)))
(*.f64 y (/.f64 x z))
(exp.f64 (+.f64 (log.f64 (/.f64 y z)) (*.f64 (log.f64 x) 1)))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (log.f64 y) (*.f64 (log.f64 (/.f64 z x)) 1)))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (*.f64 (log.f64 y) 1) (log.f64 (/.f64 z x))))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (.f64 (log.f64 y) 1) (.f64 (log.f64 (/.f64 z x)) 1)))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (log.f64 (.f64 y x)) (.f64 (log.f64 z) 1)))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 y x)) 1) (log.f64 z)))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 y x)) 1) (*.f64 (log.f64 z) 1)))
(*.f64 y (/.f64 x z))
(log1p.f64 (expm1.f64 (*.f64 y (/.f64 x z))))
(*.f64 y (/.f64 x z))
(+.f64 0 (*.f64 y (/.f64 x z)))
(*.f64 y (/.f64 x z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))))
(*.f64 y (/.f64 x z))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (/.f64 x z)))) 1)
(*.f64 y (/.f64 x z))
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (.f64 y x) (/.f64 1 z))
(*.f64 y (/.f64 x z))
(.f64 (.f64 y (/.f64 x z)) 1)
(*.f64 y (/.f64 x z))
(.f64 1 (.f64 y (/.f64 x z)))
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) (/.f64 1 z)))
(*.f64 y (/.f64 x z))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 2))
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (cbrt.f64 (.f64 y (/.f64 x z))) 2) (cbrt.f64 (*.f64 y (/.f64 x z))))
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) (/.f64 x z)))
(*.f64 y (/.f64 x z))
(.f64 (sqrt.f64 (.f64 y x)) (.f64 (sqrt.f64 (.f64 y x)) (/.f64 1 z)))
(*.f64 y (/.f64 x z))
(.f64 (sqrt.f64 (.f64 y (/.f64 x z))) (sqrt.f64 (*.f64 y (/.f64 x z))))
(*.f64 y (/.f64 x z))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 x z)))
(*.f64 y (/.f64 x z))
(.f64 (.f64 y (neg.f64 x)) (/.f64 1 (neg.f64 z)))
(*.f64 y (/.f64 x z))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) x)))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 1 z) (.f64 y x))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 1 z) (/.f64 y (/.f64 1 x)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 x z) y)
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (.f64 y x) (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 y (/.f64 (cbrt.f64 z) x)))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 x (/.f64 y (cbrt.f64 z))))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 y (/.f64 x (cbrt.f64 z))))
(.f64 (pow.f64 z -1/2) (/.f64 (.f64 y x) (sqrt.f64 z)))
(*.f64 (pow.f64 z -1/2) (/.f64 y (/.f64 (sqrt.f64 z) x)))
(.f64 (pow.f64 z -1/2) (.f64 x (/.f64 y (sqrt.f64 z))))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 z x)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z x)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) (/.f64 1 x)))
(*.f64 y (/.f64 x z))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) -2) (/.f64 y (cbrt.f64 (/.f64 z x))))
(/.f64 y (*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) 2) (cbrt.f64 (/.f64 z x))))
(*.f64 (pow.f64 (/.f64 z x) -1/2) (/.f64 y (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) z) (/.f64 (cbrt.f64 y) (/.f64 1 x)))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (cbrt.f64 (.f64 y (/.f64 x z))))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)))
(/.f64 (.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (cbrt.f64 (/.f64 z x)) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 z x))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z x))))
(/.f64 (/.f64 y (sqrt.f64 (/.f64 z x))) (sqrt.f64 (/.f64 z x)))
(/.f64 y (*.f64 (sqrt.f64 (/.f64 z x)) (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z x))))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) -2) (/.f64 y (cbrt.f64 (/.f64 z x))))
(/.f64 y (*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) 2) (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 y 1) (/.f64 x z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 y (/.f64 (cbrt.f64 z) x)))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 x (/.f64 y (cbrt.f64 z))))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 y (/.f64 x (cbrt.f64 z))))
(*.f64 (/.f64 x 1) (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 y (/.f64 (cbrt.f64 z) x)))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 x (/.f64 y (cbrt.f64 z))))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 y (/.f64 x (cbrt.f64 z))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 y x)) z))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 (*.f64 y (/.f64 x z))))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (/.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2) (pow.f64 (cbrt.f64 z) 2)))
(/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (/.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 (.f64 y (/.f64 x z)))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 y x)) (sqrt.f64 z)))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(.f64 (/.f64 (sqrt.f64 (.f64 y x)) 1) (/.f64 (sqrt.f64 (*.f64 y x)) z))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (sqrt.f64 (.f64 y x)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 (*.f64 y x)) (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 y (/.f64 (cbrt.f64 z) x)))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 x (/.f64 y (cbrt.f64 z))))
(.f64 (pow.f64 (cbrt.f64 z) -2) (.f64 y (/.f64 x (cbrt.f64 z))))
(.f64 (.f64 (/.f64 y z) 1) x)
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 y z) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (/.f64 y z) (.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x)))
(.f64 (.f64 (/.f64 y z) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 x))
(*.f64 y (/.f64 x z))
(pow.f64 (*.f64 y (/.f64 x z)) 1)
(*.f64 y (/.f64 x z))
(pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 3)
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2) 1/2)
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3) 1/3)
(*.f64 y (/.f64 x z))
(pow.f64 (sqrt.f64 (*.f64 y (/.f64 x z))) 2)
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 (/.f64 z x) y) -1)
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)) 1/3)
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)))
(pow.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)) 1/3)
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 (/.f64 (/.f64 z x) y) 1) -1)
(*.f64 y (/.f64 x z))
(neg.f64 (/.f64 (*.f64 y x) (neg.f64 z)))
(*.f64 y (/.f64 x z))
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) x)))
(*.f64 y (/.f64 x z))
(sqrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2))
(*.f64 y (/.f64 x z))
(log.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))
(*.f64 y (/.f64 x z))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (/.f64 x z)))))
(*.f64 y (/.f64 x z))
(cbrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3))
(*.f64 y (/.f64 x z))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 x z) -3)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)))
(*.f64 y (/.f64 x z))
(expm1.f64 (log1p.f64 (*.f64 y (/.f64 x z))))
(*.f64 y (/.f64 x z))
(exp.f64 (log.f64 (*.f64 y (/.f64 x z))))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (log.f64 (.f64 y (/.f64 x z))) 1))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 y (/.f64 x z))) 1) 1))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (/.f64 x z)))) 3))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 y (/.f64 x z)))) 1/3))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (/.f64 x z)))) 2))
(*.f64 y (/.f64 x z))
(exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 z x) y)) -1))
(*.f64 y (/.f64 x z))
(exp.f64 (+.f64 (*.f64 (log.f64 y) 1) (log.f64 (/.f64 x z))))
(*.f64 y (/.f64 x z))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (/.f64 y z))))
(*.f64 y (/.f64 x z))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 1) (neg.f64 (log.f64 z))))
(*.f64 y (/.f64 x z))
(exp.f64 (+.f64 (neg.f64 (log.f64 z)) (.f64 (log.f64 (.f64 y x)) 1)))
(*.f64 y (/.f64 x z))
(exp.f64 (+.f64 (log.f64 (/.f64 x z)) (*.f64 (log.f64 y) 1)))
(*.f64 y (/.f64 x z))
(exp.f64 (+.f64 (log.f64 (/.f64 y z)) (*.f64 (log.f64 x) 1)))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (log.f64 y) (*.f64 (log.f64 (/.f64 z x)) 1)))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (*.f64 (log.f64 y) 1) (log.f64 (/.f64 z x))))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (.f64 (log.f64 y) 1) (.f64 (log.f64 (/.f64 z x)) 1)))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (log.f64 (.f64 y x)) (.f64 (log.f64 z) 1)))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 y x)) 1) (log.f64 z)))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 y x)) 1) (*.f64 (log.f64 z) 1)))
(*.f64 y (/.f64 x z))
(log1p.f64 (expm1.f64 (*.f64 y (/.f64 x z))))
(*.f64 y (/.f64 x z))

eval17.0ms (0.6%)

Compiler: Compiled 1103 to 416 computations (62.3% saved)

prune18.0ms (0.6%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	102	1	103
Fresh	0	0	0
Picked	0	2	2
Done	0	2	2
Total	102	5	107

Accurracy

100.0%

Counts

107 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	93.8%	(/.f64 (*.f64 y x) z)
✓	91.4%	(/.f64 y (/.f64 z x))
▶	93.7%	(.f64 (/.f64 1 z) (.f64 y x))
✓	91.1%	(*.f64 y (/.f64 x z))
✓	94.3%	(*.f64 x (/.f64 y z))
✓	93.8%	(/.f64 (*.f64 y x) z)
✓	91.4%	(/.f64 y (/.f64 z x))
▶	93.7%	(.f64 (/.f64 1 z) (.f64 y x))
✓	91.1%	(*.f64 y (/.f64 x z))
✓	94.3%	(*.f64 x (/.f64 y z))

Compiler

Compiled 94 to 64 computations (31.9% saved)

localize78.0ms (2.8%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	93.7%	(.f64 (/.f64 1 z) (.f64 y x))

Compiler

Compiled 22 to 12 computations (45.5% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite70.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1718×	`pow1`
1576×	`add-exp-log`
1576×	`log1p-expm1-u`
1576×	`expm1-log1p-u`
1540×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	179	13
2	2192	13

Stop Event

1×	node limit

Counts

1 → 26

Calls

Call 1

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

Outputs
(-.f64 (+.f64 1 (*.f64 x (/.f64 y z))) 1)
(/.f64 1 (/.f64 z (*.f64 y x)))
(/.f64 y (/.f64 z x))
(/.f64 x (/.f64 z y))
(/.f64 (*.f64 y x) z)
(/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (/.f64 z (cbrt.f64 (.f64 y x))))
(/.f64 (sqrt.f64 (.f64 y x)) (/.f64 z (sqrt.f64 (.f64 y x))))
(/.f64 (neg.f64 (*.f64 y x)) (neg.f64 z))
(/.f64 (/.f64 (*.f64 y x) (sqrt.f64 z)) (sqrt.f64 z))
(/.f64 (.f64 (.f64 y x) -1) (neg.f64 z))
(/.f64 (.f64 -1 (.f64 y x)) (neg.f64 z))
(/.f64 (/.f64 (*.f64 y x) 1) z)
(/.f64 (/.f64 (*.f64 y x) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))
(pow.f64 (*.f64 x (/.f64 y z)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (/.f64 y z))) 3)
(pow.f64 (pow.f64 (*.f64 x (/.f64 y z)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (/.f64 y z))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (/.f64 y z)) 2))
(log.f64 (exp.f64 (*.f64 x (/.f64 y z))))
(cbrt.f64 (pow.f64 (*.f64 x (/.f64 y z)) 3))
(cbrt.f64 (.f64 (/.f64 (pow.f64 z -2) z) (pow.f64 (.f64 y x) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 y x) 3) (/.f64 (pow.f64 z -2) z)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (*.f64 x (/.f64 y z))))
(exp.f64 (log.f64 (*.f64 x (/.f64 y z))))
(log1p.f64 (expm1.f64 (*.f64 x (/.f64 y z))))

simplify63.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1094×	`log-div`
1010×	`times-frac`
1000×	`fma-def`
992×	`associate-r`
900×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	75	806
1	180	806
2	697	806
3	5323	806

Stop Event

1×	node limit

Counts

62 → 27

Calls

Call 1

Inputs
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(/.f64 (*.f64 y x) z)
(-.f64 (+.f64 1 (*.f64 x (/.f64 y z))) 1)
(/.f64 1 (/.f64 z (*.f64 y x)))
(/.f64 y (/.f64 z x))
(/.f64 x (/.f64 z y))
(/.f64 (*.f64 y x) z)
(/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (/.f64 z (cbrt.f64 (.f64 y x))))
(/.f64 (sqrt.f64 (.f64 y x)) (/.f64 z (sqrt.f64 (.f64 y x))))
(/.f64 (neg.f64 (*.f64 y x)) (neg.f64 z))
(/.f64 (/.f64 (*.f64 y x) (sqrt.f64 z)) (sqrt.f64 z))
(/.f64 (.f64 (.f64 y x) -1) (neg.f64 z))
(/.f64 (.f64 -1 (.f64 y x)) (neg.f64 z))
(/.f64 (/.f64 (*.f64 y x) 1) z)
(/.f64 (/.f64 (*.f64 y x) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))
(pow.f64 (*.f64 x (/.f64 y z)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (/.f64 y z))) 3)
(pow.f64 (pow.f64 (*.f64 x (/.f64 y z)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (/.f64 y z))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (/.f64 y z)) 2))
(log.f64 (exp.f64 (*.f64 x (/.f64 y z))))
(cbrt.f64 (pow.f64 (*.f64 x (/.f64 y z)) 3))
(cbrt.f64 (.f64 (/.f64 (pow.f64 z -2) z) (pow.f64 (.f64 y x) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 y x) 3) (/.f64 (pow.f64 z -2) z)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (*.f64 x (/.f64 y z))))
(exp.f64 (log.f64 (*.f64 x (/.f64 y z))))
(log1p.f64 (expm1.f64 (*.f64 x (/.f64 y z))))

Outputs
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(-.f64 (+.f64 1 (*.f64 x (/.f64 y z))) 1)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 1 (/.f64 z (*.f64 y x)))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 x (/.f64 z y))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (/.f64 z (cbrt.f64 (.f64 y x))))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (sqrt.f64 (.f64 y x)) (/.f64 z (sqrt.f64 (.f64 y x))))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (neg.f64 (*.f64 y x)) (neg.f64 z))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (*.f64 y x) (sqrt.f64 z)) (sqrt.f64 z))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (.f64 (.f64 y x) -1) (neg.f64 z))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (.f64 -1 (.f64 y x)) (neg.f64 z))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (*.f64 y x) 1) z)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (*.f64 y x) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(pow.f64 (*.f64 x (/.f64 y z)) 1)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(pow.f64 (cbrt.f64 (*.f64 x (/.f64 y z))) 3)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (*.f64 x (/.f64 y z)) 3) 1/3)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(pow.f64 (sqrt.f64 (*.f64 x (/.f64 y z))) 2)
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(sqrt.f64 (pow.f64 (*.f64 x (/.f64 y z)) 2))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(log.f64 (exp.f64 (*.f64 x (/.f64 y z))))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(cbrt.f64 (pow.f64 (*.f64 x (/.f64 y z)) 3))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(cbrt.f64 (.f64 (/.f64 (pow.f64 z -2) z) (pow.f64 (.f64 y x) 3)))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(cbrt.f64 (.f64 (pow.f64 (.f64 y x) 3) (/.f64 (pow.f64 z -2) z)))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(expm1.f64 (log1p.f64 (*.f64 x (/.f64 y z))))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(exp.f64 (log.f64 (*.f64 x (/.f64 y z))))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(log1p.f64 (expm1.f64 (*.f64 x (/.f64 y z))))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))

eval4.0ms (0.1%)

Compiler: Compiled 224 to 95 computations (57.6% saved)

prune7.0ms (0.2%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	27	5	32

Accurracy

100.0%

Counts

32 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	93.8%	(/.f64 (*.f64 y x) z)
✓	91.4%	(/.f64 y (/.f64 z x))
✓	93.7%	(.f64 (/.f64 1 z) (.f64 y x))
✓	91.1%	(*.f64 y (/.f64 x z))
✓	94.3%	(*.f64 x (/.f64 y z))

Compiler

Compiled 87 to 50 computations (42.5% saved)

regimes113.0ms (4%)

Counts

6 → 2

Calls

Call 1

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

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

Calls

7 calls:

37.0ms	t
20.0ms	(/.f64 (*.f64 (/.f64 y z) t) t)
15.0ms	(/.f64 y z)
15.0ms	z
13.0ms	y

Results

Accuracy	Segments	Branch
94.3%	1	`x`
96.6%	3	`y`
96.9%	2	`z`
95.9%	3	`t`
96.1%	2	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`
98.7%	4	`(/.f64 (*.f64 (/.f64 y z) t) t)`
98.8%	4	`(/.f64 y z)`

Compiler

Compiled 91 to 54 computations (40.7% saved)

regimes8.0ms (0.3%)

Accuracy

Total -5.9b remaining (-163.1%)

Threshold costs -5.9b (-163.1%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

2 calls:

4.0ms	x
3.0ms	z

Results

Accuracy	Segments	Branch
94.3%	1	`x`
94.3%	1	`z`

Compiler

Compiled 29 to 18 computations (37.9% saved)

bsearch18.0ms (0.6%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
18.0ms	-1.7486355187830853e-289	-2.2474576130986143e-295

Results

10.0ms	83×	body	256	valid
6.0ms	61×	body	256	infinite

Compiler

Compiled 200 to 140 computations (30% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	48
1	17	48

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(if (<=.f64 z -4602094425247529/5752618031559410904733776610524879147577526332615381032749762597047445625776030820246671274317041152675843644155884587445081272602061331919771117780463171980088572589595695528841671027239875011822498654466720184602820821834958812207165219537306471589227216341906761543678311870031350921754731402547975172390912) (/.f64 (*.f64 y x) z) (*.f64 x (/.f64 y z)))

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

Outputs

(if (<=.f64 z -4602094425247529/5752618031559410904733776610524879147577526332615381032749762597047445625776030820246671274317041152675843644155884587445081272602061331919771117780463171980088572589595695528841671027239875011822498654466720184602820821834958812207165219537306471589227216341906761543678311870031350921754731402547975172390912) (/.f64 (*.f64 y x) z) (*.f64 x (/.f64 y z)))

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

Compiler

Compiled 27 to 17 computations (37% saved)

soundness235.0ms (8.4%)

Rules

3786×	`associate-r`
2832×	`associate-l`
2274×	`associate-*r/`
1216×	`associate-/r*`
698×	`associate-*l/`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	18	19
2	44	13
3	104	13
4	433	13
5	2078	13
6	2266	13
7	2279	13
8	2292	13
9	2299	13
10	2306	13
11	2313	13
12	2320	13
13	2327	13
14	2334	13
15	2341	13
16	2348	13
17	2355	13
18	2362	13
19	2369	13
20	2376	13

Stop Event

1×	node limit

Compiler

Compiled 34 to 15 computations (55.9% saved)

end0.0ms (0%)

preprocess57.0ms (2%)

Remove: (abs t)
Compiler: Compiled 318 to 152 computations (52.2% saved)

analyze199.0ms (7.1%)

sample1.2s (42.3%)

preprocess136.0ms (4.8%)

simplify100.0ms (3.6%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize33.0ms (1.2%)

series33.0ms (1.2%)

rewrite63.0ms (2.2%)

simplify73.0ms (2.6%)

eval40.0ms (1.4%)

prune7.0ms (0.3%)

localize37.0ms (1.3%)

series1.0ms (0%)

rewrite87.0ms (3.1%)

simplify110.0ms (3.9%)

eval17.0ms (0.6%)

prune18.0ms (0.6%)

localize78.0ms (2.8%)

series1.0ms (0%)

rewrite70.0ms (2.5%)

simplify63.0ms (2.3%)

eval4.0ms (0.1%)

prune7.0ms (0.2%)

regimes113.0ms (4%)

regimes8.0ms (0.3%)

bsearch18.0ms (0.6%)

simplify5.0ms (0.2%)

soundness235.0ms (8.4%)

end0.0ms (0%)

preprocess57.0ms (2%)

Profiling