Metrics for Diagrams.Segment:$catParam from diagrams-lib-1.3.0.3, B

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 10 to 7 computations (30% saved)

sample797.0ms (32%)

Results

521.0ms	6102×	body	256	valid
263.0ms	2154×	body	256	infinite

Bogosity

preprocess246.0ms (9.9%)

Algorithm

1×	egg-herbie

Rules

1284×	`fma-def`
622×	`unsub-neg`
236×	`associate-r`
202×	`distribute-lft-in`
198×	`distribute-lft-neg-in`

Problems

256×

No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	204
1	71	196
2	206	196
3	630	196
4	1077	196
5	2043	196
6	2142	196
7	2146	196
8	2146	196
9	2148	196

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 x 3) y) y)
(.f64 (.f64 (*.f64 x 3) y) y)
(.f64 (.f64 (*.f64 (neg.f64 x) 3) y) y)
(.f64 (.f64 (*.f64 x 3) (neg.f64 y)) (neg.f64 y))
(neg.f64 (.f64 (.f64 (*.f64 (neg.f64 x) 3) y) y))
(neg.f64 (.f64 (.f64 (*.f64 x 3) (neg.f64 y)) (neg.f64 y)))
(.f64 (.f64 (*.f64 y 3) x) x)

Outputs
(.f64 (.f64 (*.f64 x 3) y) y)
(.f64 (.f64 x 3) (*.f64 y y))
(.f64 x (.f64 3 (*.f64 y y)))
(.f64 (.f64 (*.f64 x 3) y) y)
(.f64 (.f64 x 3) (*.f64 y y))
(.f64 x (.f64 3 (*.f64 y y)))
(.f64 (.f64 (*.f64 (neg.f64 x) 3) y) y)
(.f64 y (.f64 y (*.f64 3 (neg.f64 x))))
(.f64 y (.f64 y (*.f64 x -3)))
(.f64 y (.f64 x (*.f64 y -3)))
(.f64 (.f64 (*.f64 x 3) (neg.f64 y)) (neg.f64 y))
(.f64 (.f64 x 3) (*.f64 y y))
(.f64 x (.f64 3 (*.f64 y y)))
(neg.f64 (.f64 (.f64 (*.f64 (neg.f64 x) 3) y) y))
(.f64 (.f64 x 3) (*.f64 y y))
(.f64 x (.f64 3 (*.f64 y y)))
(neg.f64 (.f64 (.f64 (*.f64 x 3) (neg.f64 y)) (neg.f64 y)))
(.f64 y (.f64 y (*.f64 3 (neg.f64 x))))
(.f64 y (.f64 y (*.f64 x -3)))
(.f64 y (.f64 x (*.f64 y -3)))
(.f64 (.f64 (*.f64 y 3) x) x)
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 (.f64 3 y) (*.f64 x x))

Symmetry

(abs y)

(negabs x)

Compiler

Compiled 30 to 19 computations (36.7% saved)

eval0.0ms (0%)

Compiler: Compiled 16 to 9 computations (43.8% saved)

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.7%	(.f64 (.f64 (*.f64 x 3) y) y)
▶	88.0%	(.f64 (.f64 x 3) (*.f64 y y))
▶	88.0%	(.f64 x (.f64 3 (*.f64 y y)))
▶	99.7%	(.f64 (.f64 (*.f64 x 3) y) y)
▶	88.0%	(.f64 (.f64 x 3) (*.f64 y y))
▶	88.0%	(.f64 x (.f64 3 (*.f64 y y)))

Compiler

Compiled 54 to 36 computations (33.3% saved)

localize64.0ms (2.6%)

Localize:

Found 5 expressions with local error:

New	Accuracy	Program
✓	99.8%	(.f64 (.f64 (*.f64 x 3) y) y)
✓	99.7%	(.f64 (.f64 x 3) y)
✓	88.0%	(.f64 (.f64 x 3) (*.f64 y y))
✓	99.8%	(.f64 3 (.f64 y y))
✓	88.1%	(.f64 x (.f64 3 (*.f64 y y)))

Compiler

Compiled 55 to 26 computations (52.7% saved)

series8.0ms (0.3%)

Counts

5 → 108

Calls

27 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 (.f64 x 3) y)
1.0ms	x	@	0	(.f64 x (.f64 3 (*.f64 y y)))
1.0ms	y	@	0	(.f64 x (.f64 3 (*.f64 y y)))
1.0ms	x	@	inf	(.f64 x (.f64 3 (*.f64 y y)))
0.0ms	y	@	inf	(.f64 x (.f64 3 (*.f64 y y)))

rewrite136.0ms (5.5%)

Algorithm

1×	batch-egg-rewrite

Rules

908×	`log-prod`
862×	`prod-exp`
722×	`pow-prod-down`
635×	`log1p-expm1-u`
635×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	110
1	193	110
2	1848	110

Stop Event

1×	node limit

Counts

5 → 176

Calls

Call 1

Inputs
(.f64 x (.f64 3 (*.f64 y y)))
(.f64 3 (.f64 y y))
(.f64 (.f64 x 3) (*.f64 y y))
(.f64 (.f64 x 3) y)
(.f64 (.f64 (*.f64 x 3) y) y)

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

simplify130.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

1568×	`log-prod`
950×	`fma-def`
810×	`prod-exp`
582×	`exp-prod`
576×	`exp-sum`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	235	6724
1	509	6562
2	1219	6562
3	3783	6562
4	6513	6562

Stop Event

1×	node limit

Counts

284 → 98

Calls

Call 1

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

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

eval25.0ms (1%)

Compiler: Compiled 1110 to 835 computations (24.8% saved)

prune18.0ms (0.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	94	4	98
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	94	7	101

Accuracy

100.0%

Counts

101 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.4%	(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
✓	99.7%	(.f64 (.f64 (*.f64 x 3) y) y)
▶	99.7%	(.f64 (.f64 x (*.f64 3 y)) y)
✓	88.0%	(.f64 (.f64 x 3) (*.f64 y y))
▶	99.7%	(.f64 (.f64 3 (*.f64 x y)) y)
✓	88.0%	(.f64 x (.f64 3 (*.f64 y y)))
▶	88.1%	(.f64 3 (.f64 x (pow.f64 y 2)))
▶	99.4%	(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
✓	99.7%	(.f64 (.f64 (*.f64 x 3) y) y)
▶	99.7%	(.f64 (.f64 x (*.f64 3 y)) y)
✓	88.0%	(.f64 (.f64 x 3) (*.f64 y y))
▶	99.7%	(.f64 (.f64 3 (*.f64 x y)) y)
✓	88.0%	(.f64 x (.f64 3 (*.f64 y y)))
▶	88.1%	(.f64 3 (.f64 x (pow.f64 y 2)))

Compiler

Compiled 128 to 90 computations (29.7% saved)

localize108.0ms (4.3%)

Localize:

Found 9 expressions with local error:

New	Accuracy	Program
✓	99.8%	(sqrt.f64 (*.f64 x 3))
✓	99.6%	(.f64 y (sqrt.f64 (.f64 x 3)))
✓	99.6%	(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
✓	99.8%	(.f64 (.f64 x (*.f64 3 y)) y)
✓	99.3%	(.f64 x (.f64 3 y))
✓	99.8%	(.f64 (.f64 3 (*.f64 x y)) y)
✓	99.6%	(.f64 3 (.f64 x y))
✓	99.8%	(.f64 3 (.f64 x (pow.f64 y 2)))
✓	88.1%	(*.f64 x (pow.f64 y 2))

Compiler

Compiled 83 to 49 computations (41% saved)

series14.0ms (0.6%)

Counts

9 → 96

Calls

51 calls:

Time	Variable		Point	Expression
2.0ms	y	@	inf	(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
1.0ms	y	@	0	(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
1.0ms	x	@	-inf	(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
1.0ms	y	@	inf	(.f64 y (sqrt.f64 (.f64 x 3)))
1.0ms	x	@	0	(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)

rewrite117.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1432×	`log-prod`
616×	`pow-prod-up`
566×	`log1p-expm1-u`
566×	`expm1-log1p-u`
516×	`pow-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	194
1	326	194
2	3387	194

Stop Event

1×	node limit

Counts

9 → 269

Calls

Call 1

Inputs
(*.f64 x (pow.f64 y 2))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x y))
(.f64 (.f64 3 (*.f64 x y)) y)
(.f64 x (.f64 3 y))
(.f64 (.f64 x (*.f64 3 y)) y)
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
(.f64 y (sqrt.f64 (.f64 x 3)))
(sqrt.f64 (*.f64 x 3))

Outputs
(+.f64 0 (*.f64 x (pow.f64 y 2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2))) (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 y 2)))) 1)
(pow.f64 (*.f64 x (pow.f64 y 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 y 2))) 3)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 y 2)) 3) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 y 2)))))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 y 2)) 3))
(cbrt.f64 (.f64 (pow.f64 (.f64 x y) 3) (pow.f64 y 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 y 6)))
(cbrt.f64 (*.f64 (pow.f64 y 6) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 y 2))))
(exp.f64 (log.f64 (*.f64 x (pow.f64 y 2))))
(exp.f64 (.f64 (log.f64 (.f64 x (pow.f64 y 2))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x (pow.f64 y 2))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (pow.f64 y 2)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 x (pow.f64 y 2)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 y 2))))
(+.f64 0 (.f64 x (.f64 3 (pow.f64 y 2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2))))) 1)
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
(pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 3)
(pow.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 6)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3) 2/3)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6) 1/3)
(pow.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 4)
(sqrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2))))))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 6)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x (*.f64 y 3)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 y 3)) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 2))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2))))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(+.f64 0 (.f64 x (.f64 y 3)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 y 3)))) 1)
(pow.f64 (.f64 x (.f64 y 3)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 y 3))) 3)
(pow.f64 (pow.f64 (.f64 x (.f64 y 3)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 y 3))) 2)
(sqrt.f64 (.f64 (pow.f64 (.f64 x y) 2) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 y 3)))))
(cbrt.f64 (pow.f64 (.f64 x (.f64 y 3)) 3))
(cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (.f64 y 3) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 y 3) 3) (pow.f64 x 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 y 3))))
(exp.f64 (log.f64 (.f64 x (.f64 y 3))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 y 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 y 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 y 3)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 y 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (*.f64 y 3)))) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 y 3))))
(+.f64 0 (.f64 x (.f64 3 (pow.f64 y 2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2))))) 1)
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
(pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 3)
(pow.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 6)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3) 2/3)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6) 1/3)
(pow.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 4)
(sqrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2))))))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 6)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x (*.f64 y 3)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 y 3)) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 2))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2))))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(+.f64 0 (.f64 x (.f64 y 3)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 y 3)))) 1)
(pow.f64 (.f64 x (.f64 y 3)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 y 3))) 3)
(pow.f64 (pow.f64 (.f64 x (.f64 y 3)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 y 3))) 2)
(sqrt.f64 (.f64 (pow.f64 (.f64 x y) 2) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 y 3)))))
(cbrt.f64 (pow.f64 (.f64 x (.f64 y 3)) 3))
(cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (.f64 y 3) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 y 3) 3) (pow.f64 x 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 y 3))))
(exp.f64 (log.f64 (.f64 x (.f64 y 3))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 y 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 y 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 y 3)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 y 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (*.f64 y 3)))) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 y 3))))
(+.f64 0 (.f64 x (.f64 3 (pow.f64 y 2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2))))) 1)
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
(pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 3)
(pow.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 6)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3) 2/3)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6) 1/3)
(pow.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 4)
(sqrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2))))))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 6)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x (*.f64 y 3)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 y 3)) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 2))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2))))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(+.f64 0 (.f64 x (.f64 3 (pow.f64 y 2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2))))) 1)
(.f64 x (.f64 3 (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) 3))
(.f64 y (.f64 x (*.f64 y 3)))
(.f64 (pow.f64 y 2) (.f64 x 3))
(.f64 (.f64 x (pow.f64 y 2)) 3)
(.f64 (.f64 x (pow.f64 y 2)) (log.f64 (exp.f64 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 x y) (*.f64 y 3))
(.f64 (.f64 y 3) (*.f64 x y))
(.f64 (.f64 x (*.f64 y 3)) y)
(.f64 (.f64 x 3) (pow.f64 y 2))
(.f64 (sqrt.f64 (.f64 x 3)) (.f64 y (.f64 y (sqrt.f64 (*.f64 x 3)))))
(.f64 (sqrt.f64 (.f64 x 3)) (.f64 (sqrt.f64 (.f64 x 3)) (pow.f64 y 2)))
(.f64 (.f64 y (sqrt.f64 (.f64 x 3))) (.f64 y (sqrt.f64 (*.f64 x 3))))
(.f64 (.f64 x (*.f64 3 (pow.f64 y 2))) 1)
(.f64 (.f64 x (*.f64 3 (pow.f64 y 2))) (log.f64 (exp.f64 1)))
(.f64 1 (.f64 x (*.f64 3 (pow.f64 y 2))))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 3 (pow.f64 y 2))))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 3))) 2) (.f64 (cbrt.f64 (.f64 x (.f64 y 3))) y))
(.f64 (cbrt.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4) 9)))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9)) (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4)) (.f64 (cbrt.f64 (.f64 x (pow.f64 y 2))) 3))
(.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2) (.f64 (cbrt.f64 (.f64 x 3)) (pow.f64 y 2)))
(.f64 (cbrt.f64 (pow.f64 y 2)) (.f64 (cbrt.f64 y) (.f64 x (.f64 y 3))))
(.f64 (cbrt.f64 (pow.f64 y 4)) (.f64 (cbrt.f64 (pow.f64 y 2)) (*.f64 x 3)))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 3 (pow.f64 y 2))))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (.f64 x (.f64 y 3))))
(.f64 (sqrt.f64 (.f64 x (.f64 y 3))) (.f64 (sqrt.f64 (.f64 x (.f64 y 3))) y))
(.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 3/2))
(.f64 (.f64 y (sqrt.f64 x)) (.f64 (.f64 y (sqrt.f64 x)) 3))
(.f64 (.f64 3 (pow.f64 y 2)) x)
(.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3/2) (sqrt.f64 (.f64 y (sqrt.f64 (*.f64 x 3)))))
(.f64 (.f64 (.f64 y (sqrt.f64 (.f64 x 3))) y) (sqrt.f64 (*.f64 x 3)))
(.f64 (.f64 (.f64 y (sqrt.f64 (.f64 x 3))) (sqrt.f64 (*.f64 x 3))) y)
(.f64 (.f64 3 (cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4))) (cbrt.f64 (.f64 x (pow.f64 y 2))))
(.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 y (sqrt.f64 x)))
(.f64 (.f64 (*.f64 x 3) (cbrt.f64 (pow.f64 y 4))) (cbrt.f64 (pow.f64 y 2)))
(.f64 (.f64 y (pow.f64 (cbrt.f64 (.f64 x (.f64 y 3))) 2)) (cbrt.f64 (.f64 x (.f64 y 3))))
(.f64 (.f64 y (sqrt.f64 (.f64 x (.f64 y 3)))) (sqrt.f64 (.f64 x (.f64 y 3))))
(.f64 (.f64 (.f64 x (.f64 y 3)) (cbrt.f64 (pow.f64 y 2))) (cbrt.f64 y))
(.f64 (.f64 (.f64 x (.f64 y 3)) (sqrt.f64 y)) (sqrt.f64 y))
(.f64 (pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 5/6) (cbrt.f64 (.f64 y (sqrt.f64 (*.f64 x 3)))))
(sqrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2))))))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 6)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x (*.f64 y 3)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 y 3)) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 2))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2))))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(+.f64 0 (.f64 y (sqrt.f64 (.f64 x 3))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3)))) (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 y (sqrt.f64 (.f64 x 3))))) 1)
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 1)
(pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 1/2)
(pow.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 3)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 2)
(sqrt.f64 (.f64 x (.f64 3 (pow.f64 y 2))))
(fabs.f64 (.f64 y (sqrt.f64 (.f64 x 3))))
(log.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (*.f64 x 3))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 y (sqrt.f64 (.f64 x 3))))))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x 3) 3/2)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3/2) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 y (sqrt.f64 (.f64 x 3)))))
(exp.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))))
(exp.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (*.f64 x 3)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 1))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1/2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (sqrt.f64 (*.f64 x 3))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3))))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (sqrt.f64 (*.f64 x 3))))) 2))
(log1p.f64 (expm1.f64 (.f64 y (sqrt.f64 (.f64 x 3)))))
(+.f64 0 (sqrt.f64 (*.f64 x 3)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3)))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (*.f64 x 3)))) 1)
(.f64 (sqrt.f64 (.f64 x 3)) 1)
(.f64 (sqrt.f64 (.f64 x 3)) (log.f64 (exp.f64 1)))
(.f64 1 (sqrt.f64 (.f64 x 3)))
(.f64 (cbrt.f64 (.f64 x 3)) (cbrt.f64 (sqrt.f64 (*.f64 x 3))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 x 3))) (cbrt.f64 (*.f64 x 3)))
(*.f64 (sqrt.f64 x) (sqrt.f64 3))
(*.f64 (sqrt.f64 3) (sqrt.f64 x))
(.f64 (pow.f64 (.f64 x 3) 1/4) (pow.f64 (*.f64 x 3) 1/4))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2) 1/2) (pow.f64 (cbrt.f64 (*.f64 x 3)) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2)) (sqrt.f64 (cbrt.f64 (*.f64 x 3))))
(pow.f64 (*.f64 x 3) 1/2)
(pow.f64 (sqrt.f64 (*.f64 x 3)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 x 3))) 3)
(pow.f64 (pow.f64 (*.f64 x 3) 3/2) 1/3)
(pow.f64 (pow.f64 (*.f64 x 3) 1/4) 2)
(fabs.f64 (sqrt.f64 (*.f64 x 3)))
(log.f64 (exp.f64 (sqrt.f64 (*.f64 x 3))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (*.f64 x 3)))))
(cbrt.f64 (pow.f64 (*.f64 x 3) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 x 3))))
(exp.f64 (log.f64 (sqrt.f64 (*.f64 x 3))))
(exp.f64 (.f64 (log.f64 (.f64 x 3)) 1/2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (*.f64 x 3))) 2) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x 3)) 1) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x 3)) 1/2) 1))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (*.f64 x 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (sqrt.f64 (.f64 x 3)))) 3))
(exp.f64 (.f64 (.f64 3/2 (log.f64 (*.f64 x 3))) 1/3))
(exp.f64 (.f64 (.f64 1/4 (log.f64 (*.f64 x 3))) 2))
(log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 x 3))))

simplify182.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

1030×	`log-prod`
848×	`prod-exp`
824×	`exp-sum`
674×	`associate-r`
650×	`associate-l`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	402	9402
1	839	9133
2	3001	8766
3	6732	8732

Stop Event

1×	node limit

Counts

365 → 213

Calls

Call 1

Inputs
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(+.f64 0 (*.f64 x (pow.f64 y 2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2))) (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 y 2)))) 1)
(pow.f64 (*.f64 x (pow.f64 y 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 y 2))) 3)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 y 2)) 3) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 y 2)))))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 y 2)) 3))
(cbrt.f64 (.f64 (pow.f64 (.f64 x y) 3) (pow.f64 y 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 y 6)))
(cbrt.f64 (*.f64 (pow.f64 y 6) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 y 2))))
(exp.f64 (log.f64 (*.f64 x (pow.f64 y 2))))
(exp.f64 (.f64 (log.f64 (.f64 x (pow.f64 y 2))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x (pow.f64 y 2))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (pow.f64 y 2)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 x (pow.f64 y 2)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 y 2))))
(+.f64 0 (.f64 x (.f64 3 (pow.f64 y 2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2))))) 1)
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
(pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 3)
(pow.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 6)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3) 2/3)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6) 1/3)
(pow.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 4)
(sqrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2))))))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 6)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x (*.f64 y 3)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 y 3)) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 2))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2))))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(+.f64 0 (.f64 x (.f64 y 3)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 y 3)))) 1)
(pow.f64 (.f64 x (.f64 y 3)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 y 3))) 3)
(pow.f64 (pow.f64 (.f64 x (.f64 y 3)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 y 3))) 2)
(sqrt.f64 (.f64 (pow.f64 (.f64 x y) 2) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 y 3)))))
(cbrt.f64 (pow.f64 (.f64 x (.f64 y 3)) 3))
(cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (.f64 y 3) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 y 3) 3) (pow.f64 x 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 y 3))))
(exp.f64 (log.f64 (.f64 x (.f64 y 3))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 y 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 y 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 y 3)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 y 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (*.f64 y 3)))) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 y 3))))
(+.f64 0 (.f64 x (.f64 3 (pow.f64 y 2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2))))) 1)
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
(pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 3)
(pow.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 6)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3) 2/3)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6) 1/3)
(pow.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 4)
(sqrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2))))))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 6)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x (*.f64 y 3)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 y 3)) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 2))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2))))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(+.f64 0 (.f64 x (.f64 y 3)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 y 3)))) 1)
(pow.f64 (.f64 x (.f64 y 3)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 y 3))) 3)
(pow.f64 (pow.f64 (.f64 x (.f64 y 3)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 y 3))) 2)
(sqrt.f64 (.f64 (pow.f64 (.f64 x y) 2) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 y 3)))))
(cbrt.f64 (pow.f64 (.f64 x (.f64 y 3)) 3))
(cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (.f64 y 3) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 y 3) 3) (pow.f64 x 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 y 3))))
(exp.f64 (log.f64 (.f64 x (.f64 y 3))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 y 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 y 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 y 3)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 y 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (*.f64 y 3)))) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 y 3))))
(+.f64 0 (.f64 x (.f64 3 (pow.f64 y 2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2))))) 1)
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
(pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 3)
(pow.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 6)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3) 2/3)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6) 1/3)
(pow.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 4)
(sqrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2))))))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 6)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x (*.f64 y 3)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 y 3)) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 2))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2))))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(+.f64 0 (.f64 x (.f64 3 (pow.f64 y 2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2))))) 1)
(.f64 x (.f64 3 (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) 3))
(.f64 y (.f64 x (*.f64 y 3)))
(.f64 (pow.f64 y 2) (.f64 x 3))
(.f64 (.f64 x (pow.f64 y 2)) 3)
(.f64 (.f64 x (pow.f64 y 2)) (log.f64 (exp.f64 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 x y) (*.f64 y 3))
(.f64 (.f64 y 3) (*.f64 x y))
(.f64 (.f64 x (*.f64 y 3)) y)
(.f64 (.f64 x 3) (pow.f64 y 2))
(.f64 (sqrt.f64 (.f64 x 3)) (.f64 y (.f64 y (sqrt.f64 (*.f64 x 3)))))
(.f64 (sqrt.f64 (.f64 x 3)) (.f64 (sqrt.f64 (.f64 x 3)) (pow.f64 y 2)))
(.f64 (.f64 y (sqrt.f64 (.f64 x 3))) (.f64 y (sqrt.f64 (*.f64 x 3))))
(.f64 (.f64 x (*.f64 3 (pow.f64 y 2))) 1)
(.f64 (.f64 x (*.f64 3 (pow.f64 y 2))) (log.f64 (exp.f64 1)))
(.f64 1 (.f64 x (*.f64 3 (pow.f64 y 2))))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 3 (pow.f64 y 2))))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 3))) 2) (.f64 (cbrt.f64 (.f64 x (.f64 y 3))) y))
(.f64 (cbrt.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4) 9)))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9)) (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4)) (.f64 (cbrt.f64 (.f64 x (pow.f64 y 2))) 3))
(.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2) (.f64 (cbrt.f64 (.f64 x 3)) (pow.f64 y 2)))
(.f64 (cbrt.f64 (pow.f64 y 2)) (.f64 (cbrt.f64 y) (.f64 x (.f64 y 3))))
(.f64 (cbrt.f64 (pow.f64 y 4)) (.f64 (cbrt.f64 (pow.f64 y 2)) (*.f64 x 3)))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 3 (pow.f64 y 2))))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (.f64 x (.f64 y 3))))
(.f64 (sqrt.f64 (.f64 x (.f64 y 3))) (.f64 (sqrt.f64 (.f64 x (.f64 y 3))) y))
(.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 3/2))
(.f64 (.f64 y (sqrt.f64 x)) (.f64 (.f64 y (sqrt.f64 x)) 3))
(.f64 (.f64 3 (pow.f64 y 2)) x)
(.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3/2) (sqrt.f64 (.f64 y (sqrt.f64 (*.f64 x 3)))))
(.f64 (.f64 (.f64 y (sqrt.f64 (.f64 x 3))) y) (sqrt.f64 (*.f64 x 3)))
(.f64 (.f64 (.f64 y (sqrt.f64 (.f64 x 3))) (sqrt.f64 (*.f64 x 3))) y)
(.f64 (.f64 3 (cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4))) (cbrt.f64 (.f64 x (pow.f64 y 2))))
(.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 y (sqrt.f64 x)))
(.f64 (.f64 (*.f64 x 3) (cbrt.f64 (pow.f64 y 4))) (cbrt.f64 (pow.f64 y 2)))
(.f64 (.f64 y (pow.f64 (cbrt.f64 (.f64 x (.f64 y 3))) 2)) (cbrt.f64 (.f64 x (.f64 y 3))))
(.f64 (.f64 y (sqrt.f64 (.f64 x (.f64 y 3)))) (sqrt.f64 (.f64 x (.f64 y 3))))
(.f64 (.f64 (.f64 x (.f64 y 3)) (cbrt.f64 (pow.f64 y 2))) (cbrt.f64 y))
(.f64 (.f64 (.f64 x (.f64 y 3)) (sqrt.f64 y)) (sqrt.f64 y))
(.f64 (pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 5/6) (cbrt.f64 (.f64 y (sqrt.f64 (*.f64 x 3)))))
(sqrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2))))))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 6)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x (*.f64 y 3)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 y 3)) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 2))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2))))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(+.f64 0 (.f64 y (sqrt.f64 (.f64 x 3))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3)))) (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 y (sqrt.f64 (.f64 x 3))))) 1)
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 1)
(pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 1/2)
(pow.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 3)
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 2)
(sqrt.f64 (.f64 x (.f64 3 (pow.f64 y 2))))
(fabs.f64 (.f64 y (sqrt.f64 (.f64 x 3))))
(log.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (*.f64 x 3))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 y (sqrt.f64 (.f64 x 3))))))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x 3) 3/2)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3/2) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 y (sqrt.f64 (.f64 x 3)))))
(exp.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))))
(exp.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (*.f64 x 3)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 1))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1/2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (sqrt.f64 (*.f64 x 3))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3))))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (sqrt.f64 (*.f64 x 3))))) 2))
(log1p.f64 (expm1.f64 (.f64 y (sqrt.f64 (.f64 x 3)))))
(+.f64 0 (sqrt.f64 (*.f64 x 3)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3)))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (*.f64 x 3)))) 1)
(.f64 (sqrt.f64 (.f64 x 3)) 1)
(.f64 (sqrt.f64 (.f64 x 3)) (log.f64 (exp.f64 1)))
(.f64 1 (sqrt.f64 (.f64 x 3)))
(.f64 (cbrt.f64 (.f64 x 3)) (cbrt.f64 (sqrt.f64 (*.f64 x 3))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 x 3))) (cbrt.f64 (*.f64 x 3)))
(*.f64 (sqrt.f64 x) (sqrt.f64 3))
(*.f64 (sqrt.f64 3) (sqrt.f64 x))
(.f64 (pow.f64 (.f64 x 3) 1/4) (pow.f64 (*.f64 x 3) 1/4))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2) 1/2) (pow.f64 (cbrt.f64 (*.f64 x 3)) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2)) (sqrt.f64 (cbrt.f64 (*.f64 x 3))))
(pow.f64 (*.f64 x 3) 1/2)
(pow.f64 (sqrt.f64 (*.f64 x 3)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 x 3))) 3)
(pow.f64 (pow.f64 (*.f64 x 3) 3/2) 1/3)
(pow.f64 (pow.f64 (*.f64 x 3) 1/4) 2)
(fabs.f64 (sqrt.f64 (*.f64 x 3)))
(log.f64 (exp.f64 (sqrt.f64 (*.f64 x 3))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (*.f64 x 3)))))
(cbrt.f64 (pow.f64 (*.f64 x 3) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 x 3))))
(exp.f64 (log.f64 (sqrt.f64 (*.f64 x 3))))
(exp.f64 (.f64 (log.f64 (.f64 x 3)) 1/2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (*.f64 x 3))) 2) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x 3)) 1) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x 3)) 1/2) 1))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (*.f64 x 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (sqrt.f64 (.f64 x 3)))) 3))
(exp.f64 (.f64 (.f64 3/2 (log.f64 (*.f64 x 3))) 1/3))
(exp.f64 (.f64 (.f64 1/4 (log.f64 (*.f64 x 3))) 2))
(log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 x 3))))

Outputs
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x y))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 3) 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 3) (.f64 y (sqrt.f64 x)))
(.f64 y (.f64 (sqrt.f64 3) (sqrt.f64 x)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 3) (.f64 y (sqrt.f64 x)))
(.f64 y (.f64 (sqrt.f64 3) (sqrt.f64 x)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 3) (.f64 y (sqrt.f64 x)))
(.f64 y (.f64 (sqrt.f64 3) (sqrt.f64 x)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 3) (.f64 y (sqrt.f64 x)))
(.f64 y (.f64 (sqrt.f64 3) (sqrt.f64 x)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 3) (.f64 y (sqrt.f64 x)))
(.f64 y (.f64 (sqrt.f64 3) (sqrt.f64 x)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 3) (.f64 y (sqrt.f64 x)))
(.f64 y (.f64 (sqrt.f64 3) (sqrt.f64 x)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 3) (.f64 y (sqrt.f64 x)))
(.f64 y (.f64 (sqrt.f64 3) (sqrt.f64 x)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 3) (.f64 y (sqrt.f64 x)))
(.f64 y (.f64 (sqrt.f64 3) (sqrt.f64 x)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 3) (.f64 y (sqrt.f64 x)))
(.f64 y (.f64 (sqrt.f64 3) (sqrt.f64 x)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 3) (.f64 y (sqrt.f64 x)))
(.f64 y (.f64 (sqrt.f64 3) (sqrt.f64 x)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 3) (.f64 y (sqrt.f64 x)))
(.f64 y (.f64 (sqrt.f64 3) (sqrt.f64 x)))
(.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 3)))
(.f64 (sqrt.f64 3) (.f64 y (sqrt.f64 x)))
(.f64 y (.f64 (sqrt.f64 3) (sqrt.f64 x)))
(+.f64 0 (*.f64 x (pow.f64 y 2)))
(*.f64 x (pow.f64 y 2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2))) (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))))
(*.f64 x (pow.f64 y 2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 y 2)))) 1)
(*.f64 x (pow.f64 y 2))
(pow.f64 (*.f64 x (pow.f64 y 2)) 1)
(*.f64 x (pow.f64 y 2))
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 y 2))) 3)
(*.f64 x (pow.f64 y 2))
(pow.f64 (pow.f64 (*.f64 x (pow.f64 y 2)) 3) 1/3)
(*.f64 x (pow.f64 y 2))
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(*.f64 x (pow.f64 y 2))
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))
(*.f64 x (pow.f64 y 2))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 y 2)))
(*.f64 x (pow.f64 y 2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 y 2)))))
(*.f64 x (pow.f64 y 2))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 y 2)) 3))
(*.f64 x (pow.f64 y 2))
(cbrt.f64 (.f64 (pow.f64 (.f64 x y) 3) (pow.f64 y 3)))
(*.f64 x (pow.f64 y 2))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 y 6)))
(*.f64 x (pow.f64 y 2))
(cbrt.f64 (*.f64 (pow.f64 y 6) (pow.f64 x 3)))
(*.f64 x (pow.f64 y 2))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 y 2))))
(*.f64 x (pow.f64 y 2))
(exp.f64 (log.f64 (*.f64 x (pow.f64 y 2))))
(*.f64 x (pow.f64 y 2))
(exp.f64 (.f64 (log.f64 (.f64 x (pow.f64 y 2))) 1))
(*.f64 x (pow.f64 y 2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x (pow.f64 y 2))) 1) 1))
(*.f64 x (pow.f64 y 2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (pow.f64 y 2)))) 3))
(*.f64 x (pow.f64 y 2))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 x (pow.f64 y 2)))) 1/3))
(*.f64 x (pow.f64 y 2))
(exp.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 x))) 2))
(*.f64 x (pow.f64 y 2))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 y 2))))
(*.f64 x (pow.f64 y 2))
(+.f64 0 (.f64 x (.f64 3 (pow.f64 y 2))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2))))) 1)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 1)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (cbrt.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 3)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 6)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3) 2/3)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6) 1/3)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 4)
(.f64 3 (.f64 x (pow.f64 y 2)))
(sqrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2))))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 6)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x (*.f64 y 3)) 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 y 3)) 3) (pow.f64 y 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 2))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2))))) 3))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(.f64 3 (.f64 x (pow.f64 y 2)))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(+.f64 0 (.f64 x (.f64 y 3)))
(.f64 3 (.f64 x y))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 y))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 y)))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 3 y)))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))))
(.f64 3 (.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 y 3)))) 1)
(.f64 3 (.f64 x y))
(pow.f64 (.f64 x (.f64 y 3)) 1)
(.f64 3 (.f64 x y))
(pow.f64 (cbrt.f64 (.f64 x (.f64 y 3))) 3)
(.f64 3 (.f64 x y))
(pow.f64 (pow.f64 (.f64 x (.f64 y 3)) 3) 1/3)
(.f64 3 (.f64 x y))
(pow.f64 (sqrt.f64 (.f64 x (.f64 y 3))) 2)
(.f64 3 (.f64 x y))
(sqrt.f64 (.f64 (pow.f64 (.f64 x y) 2) 9))
(sqrt.f64 (.f64 9 (pow.f64 (.f64 x y) 2)))
(fabs.f64 (.f64 3 (.f64 x y)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))
(.f64 3 (.f64 x y))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 y 3)))))
(.f64 3 (.f64 x y))
(cbrt.f64 (pow.f64 (.f64 x (.f64 y 3)) 3))
(.f64 3 (.f64 x y))
(cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (.f64 y 3) 3)))
(.f64 3 (.f64 x y))
(cbrt.f64 (.f64 (pow.f64 (.f64 y 3) 3) (pow.f64 x 3)))
(.f64 3 (.f64 x y))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 3)))
(.f64 3 (.f64 x y))
(expm1.f64 (log1p.f64 (.f64 x (.f64 y 3))))
(.f64 3 (.f64 x y))
(exp.f64 (log.f64 (.f64 x (.f64 y 3))))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 y 3))) 1))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 y 3))) 1) 1))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 y 3)))) 3))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 y 3)))) 1/3))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (*.f64 y 3)))) 2))
(.f64 3 (.f64 x y))
(log1p.f64 (expm1.f64 (.f64 x (.f64 y 3))))
(.f64 3 (.f64 x y))
(+.f64 0 (.f64 x (.f64 3 (pow.f64 y 2))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2))))) 1)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 1)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (cbrt.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 3)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 6)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3) 2/3)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6) 1/3)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 4)
(.f64 3 (.f64 x (pow.f64 y 2)))
(sqrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2))))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 6)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x (*.f64 y 3)) 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 y 3)) 3) (pow.f64 y 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 2))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2))))) 3))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(.f64 3 (.f64 x (pow.f64 y 2)))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(+.f64 0 (.f64 x (.f64 y 3)))
(.f64 3 (.f64 x y))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 y))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 y)))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 3 y)))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y 3)))))
(.f64 3 (.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 y 3)))) 1)
(.f64 3 (.f64 x y))
(pow.f64 (.f64 x (.f64 y 3)) 1)
(.f64 3 (.f64 x y))
(pow.f64 (cbrt.f64 (.f64 x (.f64 y 3))) 3)
(.f64 3 (.f64 x y))
(pow.f64 (pow.f64 (.f64 x (.f64 y 3)) 3) 1/3)
(.f64 3 (.f64 x y))
(pow.f64 (sqrt.f64 (.f64 x (.f64 y 3))) 2)
(.f64 3 (.f64 x y))
(sqrt.f64 (.f64 (pow.f64 (.f64 x y) 2) 9))
(sqrt.f64 (.f64 9 (pow.f64 (.f64 x y) 2)))
(fabs.f64 (.f64 3 (.f64 x y)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))
(.f64 3 (.f64 x y))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 y 3)))))
(.f64 3 (.f64 x y))
(cbrt.f64 (pow.f64 (.f64 x (.f64 y 3)) 3))
(.f64 3 (.f64 x y))
(cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (.f64 y 3) 3)))
(.f64 3 (.f64 x y))
(cbrt.f64 (.f64 (pow.f64 (.f64 y 3) 3) (pow.f64 x 3)))
(.f64 3 (.f64 x y))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 3)))
(.f64 3 (.f64 x y))
(expm1.f64 (log1p.f64 (.f64 x (.f64 y 3))))
(.f64 3 (.f64 x y))
(exp.f64 (log.f64 (.f64 x (.f64 y 3))))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 y 3))) 1))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 y 3))) 1) 1))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 y 3)))) 3))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 y 3)))) 1/3))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (*.f64 y 3)))) 2))
(.f64 3 (.f64 x y))
(log1p.f64 (expm1.f64 (.f64 x (.f64 y 3))))
(.f64 3 (.f64 x y))
(+.f64 0 (.f64 x (.f64 3 (pow.f64 y 2))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2))))) 1)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 1)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (cbrt.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 3)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 6)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3) 2/3)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6) 1/3)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 4)
(.f64 3 (.f64 x (pow.f64 y 2)))
(sqrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2))))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 6)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x (*.f64 y 3)) 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 y 3)) 3) (pow.f64 y 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 2))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2))))) 3))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(.f64 3 (.f64 x (pow.f64 y 2)))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(+.f64 0 (.f64 x (.f64 3 (pow.f64 y 2))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 3 (pow.f64 y 2))))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2))))) 1)
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 3 (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 x (.f64 (pow.f64 y 2) 3))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 y (.f64 x (*.f64 y 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (pow.f64 y 2) (.f64 x 3))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 x (pow.f64 y 2)) 3)
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 x (pow.f64 y 2)) (log.f64 (exp.f64 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 x y) (*.f64 y 3))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 y 3) (*.f64 x y))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 x (*.f64 y 3)) y)
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 x 3) (pow.f64 y 2))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (sqrt.f64 (.f64 x 3)) (.f64 y (.f64 y (sqrt.f64 (*.f64 x 3)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (sqrt.f64 (.f64 x 3)) (.f64 (sqrt.f64 (.f64 x 3)) (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 y (sqrt.f64 (.f64 x 3))) (.f64 y (sqrt.f64 (*.f64 x 3))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 x (*.f64 3 (pow.f64 y 2))) 1)
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 x (*.f64 3 (pow.f64 y 2))) (log.f64 (exp.f64 1)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 1 (.f64 x (*.f64 3 (pow.f64 y 2))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 3 (pow.f64 y 2))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 3))) 2) (.f64 (cbrt.f64 (.f64 x (.f64 y 3))) y))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (cbrt.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) (cbrt.f64 (.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4) 9)))
(.f64 (cbrt.f64 (.f64 3 (.f64 x (pow.f64 y 2)))) (cbrt.f64 (.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4) 9)))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9)) (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))))
(.f64 (cbrt.f64 (.f64 3 (.f64 x (pow.f64 y 2)))) (cbrt.f64 (.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4) 9)))
(.f64 (cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4)) (.f64 (cbrt.f64 (.f64 x (pow.f64 y 2))) 3))
(.f64 (cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4)) (.f64 3 (cbrt.f64 (.f64 x (pow.f64 y 2)))))
(.f64 3 (.f64 (cbrt.f64 (.f64 x (pow.f64 y 2))) (cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4))))
(.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2) (.f64 (cbrt.f64 (.f64 x 3)) (pow.f64 y 2)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (cbrt.f64 (pow.f64 y 2)) (.f64 (cbrt.f64 y) (.f64 x (.f64 y 3))))
(.f64 (cbrt.f64 (pow.f64 y 2)) (.f64 (.f64 3 (.f64 x y)) (cbrt.f64 y)))
(.f64 3 (.f64 (.f64 x y) (.f64 (cbrt.f64 (pow.f64 y 2)) (cbrt.f64 y))))
(.f64 x (.f64 (.f64 3 y) (.f64 (cbrt.f64 (pow.f64 y 2)) (cbrt.f64 y))))
(.f64 (cbrt.f64 (pow.f64 y 4)) (.f64 (cbrt.f64 (pow.f64 y 2)) (*.f64 x 3)))
(.f64 (cbrt.f64 (pow.f64 y 4)) (.f64 (*.f64 3 x) (cbrt.f64 (pow.f64 y 2))))
(.f64 3 (.f64 x (*.f64 (cbrt.f64 (pow.f64 y 2)) (cbrt.f64 (pow.f64 y 4)))))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 3 (pow.f64 y 2))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (.f64 x (.f64 y 3))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (sqrt.f64 (.f64 x (.f64 y 3))) (.f64 (sqrt.f64 (.f64 x (.f64 y 3))) y))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 3/2))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 y (sqrt.f64 x)) (.f64 (.f64 y (sqrt.f64 x)) 3))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 3 (pow.f64 y 2)) x)
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3/2) (sqrt.f64 (.f64 y (sqrt.f64 (*.f64 x 3)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 (.f64 y (sqrt.f64 (.f64 x 3))) y) (sqrt.f64 (*.f64 x 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 (.f64 y (sqrt.f64 (.f64 x 3))) (sqrt.f64 (*.f64 x 3))) y)
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 3 (cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4))) (cbrt.f64 (.f64 x (pow.f64 y 2))))
(.f64 (cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4)) (.f64 3 (cbrt.f64 (.f64 x (pow.f64 y 2)))))
(.f64 3 (.f64 (cbrt.f64 (.f64 x (pow.f64 y 2))) (cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4))))
(.f64 (.f64 3 (.f64 y (sqrt.f64 x))) (.f64 y (sqrt.f64 x)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 (*.f64 x 3) (cbrt.f64 (pow.f64 y 4))) (cbrt.f64 (pow.f64 y 2)))
(.f64 (cbrt.f64 (pow.f64 y 4)) (.f64 (*.f64 3 x) (cbrt.f64 (pow.f64 y 2))))
(.f64 3 (.f64 x (*.f64 (cbrt.f64 (pow.f64 y 2)) (cbrt.f64 (pow.f64 y 4)))))
(.f64 (.f64 y (pow.f64 (cbrt.f64 (.f64 x (.f64 y 3))) 2)) (cbrt.f64 (.f64 x (.f64 y 3))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 y (sqrt.f64 (.f64 x (.f64 y 3)))) (sqrt.f64 (.f64 x (.f64 y 3))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (.f64 (.f64 x (.f64 y 3)) (cbrt.f64 (pow.f64 y 2))) (cbrt.f64 y))
(.f64 (cbrt.f64 (pow.f64 y 2)) (.f64 (.f64 3 (.f64 x y)) (cbrt.f64 y)))
(.f64 3 (.f64 (.f64 x y) (.f64 (cbrt.f64 (pow.f64 y 2)) (cbrt.f64 y))))
(.f64 x (.f64 (.f64 3 y) (.f64 (cbrt.f64 (pow.f64 y 2)) (cbrt.f64 y))))
(.f64 (.f64 (.f64 x (.f64 y 3)) (sqrt.f64 y)) (sqrt.f64 y))
(.f64 3 (.f64 x (pow.f64 y 2)))
(.f64 (pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 5/6) (cbrt.f64 (.f64 y (sqrt.f64 (*.f64 x 3)))))
(.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 3 x)))) (pow.f64 (.f64 3 (*.f64 x (pow.f64 y 2))) 5/6))
(sqrt.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 3 (pow.f64 y 2))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2))))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 6))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 y 6)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x (*.f64 y 3)) 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (*.f64 y 3)) 3) (pow.f64 y 3)))
(.f64 3 (.f64 x (pow.f64 y 2)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 2))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 3 (pow.f64 y 2))))) 3))
(.f64 3 (.f64 x (pow.f64 y 2)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(.f64 3 (.f64 x (pow.f64 y 2)))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 (pow.f64 y 2)))))
(.f64 3 (.f64 x (pow.f64 y 2)))
(+.f64 0 (.f64 y (sqrt.f64 (.f64 x 3))))
(.f64 y (sqrt.f64 (.f64 3 x)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3)))) (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3))))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 3 x)))) (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 3 x)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 3 x))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 3 x)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (*.f64 3 x))))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 3 x))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (.f64 x 3))))))
(.f64 y (sqrt.f64 (.f64 3 x)))
(-.f64 (exp.f64 (log1p.f64 (.f64 y (sqrt.f64 (.f64 x 3))))) 1)
(.f64 y (sqrt.f64 (.f64 3 x)))
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 1)
(.f64 y (sqrt.f64 (.f64 3 x)))
(pow.f64 (.f64 x (.f64 3 (pow.f64 y 2))) 1/2)
(.f64 y (sqrt.f64 (.f64 3 x)))
(pow.f64 (cbrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 3)
(.f64 y (sqrt.f64 (.f64 3 x)))
(pow.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3) 1/3)
(.f64 y (sqrt.f64 (.f64 3 x)))
(pow.f64 (sqrt.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 2)
(.f64 y (sqrt.f64 (.f64 3 x)))
(sqrt.f64 (.f64 x (.f64 3 (pow.f64 y 2))))
(.f64 y (sqrt.f64 (.f64 3 x)))
(fabs.f64 (.f64 y (sqrt.f64 (.f64 x 3))))
(.f64 y (sqrt.f64 (.f64 3 x)))
(log.f64 (pow.f64 (exp.f64 y) (sqrt.f64 (*.f64 x 3))))
(.f64 y (sqrt.f64 (.f64 3 x)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 y (sqrt.f64 (.f64 x 3))))))
(.f64 y (sqrt.f64 (.f64 3 x)))
(cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 3))
(.f64 y (sqrt.f64 (.f64 3 x)))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x 3) 3/2)))
(.f64 y (sqrt.f64 (.f64 3 x)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x 3) 3/2) (pow.f64 y 3)))
(.f64 y (sqrt.f64 (.f64 3 x)))
(expm1.f64 (log1p.f64 (.f64 y (sqrt.f64 (.f64 x 3)))))
(.f64 y (sqrt.f64 (.f64 3 x)))
(exp.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))))
(.f64 y (sqrt.f64 (.f64 3 x)))
(exp.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (*.f64 x 3)))) 1))
(.f64 y (sqrt.f64 (.f64 3 x)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3)))) 1) 1))
(.f64 y (sqrt.f64 (.f64 3 x)))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 3 (pow.f64 y 2)))) 1/2))
(.f64 y (sqrt.f64 (.f64 3 x)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 3 (pow.f64 y 2)))) 1) 1/2))
(.f64 y (sqrt.f64 (.f64 3 x)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (sqrt.f64 (*.f64 x 3))))) 3))
(.f64 y (sqrt.f64 (.f64 3 x)))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 y (sqrt.f64 (.f64 x 3))))) 1/3))
(.f64 y (sqrt.f64 (.f64 3 x)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (sqrt.f64 (*.f64 x 3))))) 2))
(.f64 y (sqrt.f64 (.f64 3 x)))
(log1p.f64 (expm1.f64 (.f64 y (sqrt.f64 (.f64 x 3)))))
(.f64 y (sqrt.f64 (.f64 3 x)))
(+.f64 0 (sqrt.f64 (*.f64 x 3)))
(sqrt.f64 (*.f64 3 x))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3)))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3))))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 3 x)))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 3 x)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 3 x))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 3 x)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 3 x))))))
(.f64 3 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 3 x))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 x 3))))))
(.f64 2 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 3 x))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (*.f64 x 3)))) 1)
(sqrt.f64 (*.f64 3 x))
(.f64 (sqrt.f64 (.f64 x 3)) 1)
(sqrt.f64 (*.f64 3 x))
(.f64 (sqrt.f64 (.f64 x 3)) (log.f64 (exp.f64 1)))
(sqrt.f64 (*.f64 3 x))
(.f64 1 (sqrt.f64 (.f64 x 3)))
(sqrt.f64 (*.f64 3 x))
(.f64 (cbrt.f64 (.f64 x 3)) (cbrt.f64 (sqrt.f64 (*.f64 x 3))))
(.f64 (cbrt.f64 (.f64 3 x)) (cbrt.f64 (sqrt.f64 (*.f64 3 x))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 x 3))) (cbrt.f64 (*.f64 x 3)))
(.f64 (cbrt.f64 (.f64 3 x)) (cbrt.f64 (sqrt.f64 (*.f64 3 x))))
(*.f64 (sqrt.f64 x) (sqrt.f64 3))
(*.f64 (sqrt.f64 3) (sqrt.f64 x))
(*.f64 (sqrt.f64 3) (sqrt.f64 x))
(.f64 (pow.f64 (.f64 x 3) 1/4) (pow.f64 (*.f64 x 3) 1/4))
(sqrt.f64 (*.f64 3 x))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2) 1/2) (pow.f64 (cbrt.f64 (*.f64 x 3)) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 3 x)) 2)) (sqrt.f64 (cbrt.f64 (*.f64 3 x))))
(.f64 (fabs.f64 (cbrt.f64 (.f64 3 x))) (sqrt.f64 (cbrt.f64 (*.f64 3 x))))
(.f64 (cbrt.f64 (.f64 3 x)) (sqrt.f64 (cbrt.f64 (*.f64 3 x))))
(pow.f64 (cbrt.f64 (*.f64 3 x)) 3/2)
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2)) (sqrt.f64 (cbrt.f64 (*.f64 x 3))))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 3 x)) 2)) (sqrt.f64 (cbrt.f64 (*.f64 3 x))))
(.f64 (fabs.f64 (cbrt.f64 (.f64 3 x))) (sqrt.f64 (cbrt.f64 (*.f64 3 x))))
(.f64 (cbrt.f64 (.f64 3 x)) (sqrt.f64 (cbrt.f64 (*.f64 3 x))))
(pow.f64 (cbrt.f64 (*.f64 3 x)) 3/2)
(pow.f64 (*.f64 x 3) 1/2)
(sqrt.f64 (*.f64 3 x))
(pow.f64 (sqrt.f64 (*.f64 x 3)) 1)
(sqrt.f64 (*.f64 3 x))
(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 x 3))) 3)
(sqrt.f64 (*.f64 3 x))
(pow.f64 (pow.f64 (*.f64 x 3) 3/2) 1/3)
(sqrt.f64 (*.f64 3 x))
(pow.f64 (pow.f64 (*.f64 x 3) 1/4) 2)
(sqrt.f64 (*.f64 3 x))
(fabs.f64 (sqrt.f64 (*.f64 x 3)))
(sqrt.f64 (*.f64 3 x))
(log.f64 (exp.f64 (sqrt.f64 (*.f64 x 3))))
(sqrt.f64 (*.f64 3 x))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (*.f64 x 3)))))
(sqrt.f64 (*.f64 3 x))
(cbrt.f64 (pow.f64 (*.f64 x 3) 3/2))
(sqrt.f64 (*.f64 3 x))
(expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 x 3))))
(sqrt.f64 (*.f64 3 x))
(exp.f64 (log.f64 (sqrt.f64 (*.f64 x 3))))
(sqrt.f64 (*.f64 3 x))
(exp.f64 (.f64 (log.f64 (.f64 x 3)) 1/2))
(sqrt.f64 (*.f64 3 x))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x 3))) 1))
(sqrt.f64 (*.f64 3 x))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (*.f64 x 3))) 2) 1/2))
(sqrt.f64 (*.f64 3 x))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x 3)) 1) 1/2))
(sqrt.f64 (*.f64 3 x))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x 3)) 1/2) 1))
(sqrt.f64 (*.f64 3 x))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (*.f64 x 3))) 1) 1))
(sqrt.f64 (*.f64 3 x))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (sqrt.f64 (.f64 x 3)))) 3))
(sqrt.f64 (*.f64 3 x))
(exp.f64 (.f64 (.f64 3/2 (log.f64 (*.f64 x 3))) 1/3))
(sqrt.f64 (*.f64 3 x))
(exp.f64 (.f64 (.f64 1/4 (log.f64 (*.f64 x 3))) 2))
(sqrt.f64 (*.f64 3 x))
(log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 x 3))))
(sqrt.f64 (*.f64 3 x))

eval59.0ms (2.4%)

Compiler: Compiled 2642 to 1965 computations (25.6% saved)

prune43.0ms (1.7%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	212	1	213
Fresh	0	0	0
Picked	0	4	4
Done	0	3	3
Total	212	8	220

Accuracy

100.0%

Counts

220 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
✓	99.7%	(.f64 (.f64 (*.f64 x 3) y) y)
▶	99.7%	(.f64 (.f64 y 3) (*.f64 x y))
✓	99.7%	(.f64 (.f64 x (*.f64 3 y)) y)
✓	88.0%	(.f64 (.f64 x 3) (*.f64 y y))
✓	99.7%	(.f64 (.f64 3 (*.f64 x y)) y)
✓	88.0%	(.f64 x (.f64 3 (*.f64 y y)))
✓	88.1%	(.f64 3 (.f64 x (pow.f64 y 2)))
✓	99.4%	(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
✓	99.7%	(.f64 (.f64 (*.f64 x 3) y) y)
▶	99.7%	(.f64 (.f64 y 3) (*.f64 x y))
✓	99.7%	(.f64 (.f64 x (*.f64 3 y)) y)
✓	88.0%	(.f64 (.f64 x 3) (*.f64 y y))
✓	99.7%	(.f64 (.f64 3 (*.f64 x y)) y)
✓	88.0%	(.f64 x (.f64 3 (*.f64 y y)))
✓	88.1%	(.f64 3 (.f64 x (pow.f64 y 2)))

Compiler

Compiled 146 to 102 computations (30.1% saved)

localize27.0ms (1.1%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	99.7%	(.f64 (.f64 y 3) (*.f64 x y))

Compiler

Compiled 19 to 10 computations (47.4% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite52.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

898×	`unpow-prod-down`
640×	`log-prod`
504×	`prod-exp`
482×	`pow-prod-down`
470×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	28
1	110	28
2	1322	28

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(.f64 (.f64 y 3) (*.f64 x y))

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

simplify64.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1184×	`log-prod`
994×	`associate-r`
826×	`associate-l`
764×	`associate-+r+`
740×	`associate-+l+`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	70	1303
1	162	1249
2	504	1249
3	3471	1249
4	7542	1249

Stop Event

1×	node limit

Counts

45 → 30

Calls

Call 1

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

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

eval9.0ms (0.4%)

Compiler: Compiled 414 to 288 computations (30.4% saved)

prune8.0ms (0.3%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	30	0	30
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	30	8	38

Accuracy

100.0%

Counts

38 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)
✓	99.7%	(.f64 (.f64 (*.f64 x 3) y) y)
✓	99.7%	(.f64 (.f64 y 3) (*.f64 x y))
✓	99.7%	(.f64 (.f64 x (*.f64 3 y)) y)
✓	88.0%	(.f64 (.f64 x 3) (*.f64 y y))
✓	99.7%	(.f64 (.f64 3 (*.f64 x y)) y)
✓	88.0%	(.f64 x (.f64 3 (*.f64 y y)))
✓	88.1%	(.f64 3 (.f64 x (pow.f64 y 2)))

Compiler

Compiled 132 to 86 computations (34.8% saved)

regimes30.0ms (1.2%)

Counts

8 → 1

Calls

Call 1

Inputs
(.f64 x (.f64 3 (*.f64 y y)))
(.f64 (.f64 3 (*.f64 x y)) y)
(.f64 (.f64 x 3) (*.f64 y y))
(.f64 (.f64 x (*.f64 3 y)) y)
(.f64 (.f64 y 3) (*.f64 x y))
(.f64 (.f64 (*.f64 x 3) y) y)
(.f64 3 (.f64 x (pow.f64 y 2)))
(pow.f64 (.f64 y (sqrt.f64 (.f64 x 3))) 2)

Outputs
(.f64 (.f64 x (*.f64 3 y)) y)

Calls

4 calls:

10.0ms	(.f64 (.f64 (*.f64 x 3) y) y)
6.0ms	y
6.0ms	(*.f64 x 3)
6.0ms	x

Results

Accuracy	Segments	Branch
99.7%	1	`x`
99.7%	1	`y`
99.7%	1	`(.f64 (.f64 (*.f64 x 3) y) y)`
99.7%	1	`(*.f64 x 3)`

Compiler

Compiled 79 to 49 computations (38% saved)

regimes13.0ms (0.5%)

Counts

3 → 1

Calls

Call 1

Inputs
(.f64 x (.f64 3 (*.f64 y y)))
(.f64 (.f64 3 (*.f64 x y)) y)
(.f64 (.f64 x 3) (*.f64 y y))

Outputs
(.f64 (.f64 3 (*.f64 x y)) y)

Calls

3 calls:

5.0ms	(*.f64 x 3)
4.0ms	y
4.0ms	x

Results

Accuracy	Segments	Branch
99.7%	1	`x`
99.7%	1	`(*.f64 x 3)`
99.7%	1	`y`

Compiler

Compiled 34 to 21 computations (38.2% saved)

regimes7.0ms (0.3%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 x (.f64 3 (*.f64 y y)))

Outputs
(.f64 x (.f64 3 (*.f64 y y)))

Calls

2 calls:

3.0ms	y
3.0ms	x

Results

Accuracy	Segments	Branch
88.0%	1	`x`
88.0%	1	`y`

Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	84
1	25	84

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 (.f64 x (*.f64 3 y)) y)
(.f64 (.f64 3 (*.f64 x y)) y)
(.f64 x (.f64 3 (*.f64 y y)))

Outputs
(.f64 (.f64 x (*.f64 3 y)) y)
(.f64 y (.f64 x (*.f64 3 y)))
(.f64 (.f64 3 (*.f64 x y)) y)
(.f64 y (.f64 3 (*.f64 x y)))
(.f64 x (.f64 3 (*.f64 y y)))

Compiler

Compiled 27 to 18 computations (33.3% saved)

soundness278.0ms (11.2%)

Rules

1568×	`log-prod`
1284×	`fma-def`
950×	`fma-def`
810×	`prod-exp`
622×	`unsub-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	235	6724
1	509	6562
2	1219	6562
3	3783	6562
4	6513	6562
0	24	204
1	71	196
2	206	196
3	630	196
4	1077	196
5	2043	196
6	2142	196
7	2146	196
8	2146	196
9	2148	196

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 53 to 31 computations (41.5% saved)

end0.0ms (0%)

preprocess45.0ms (1.8%)

Remove

(negabs x)

(abs y)

Compiler

Compiled 226 to 148 computations (34.5% saved)

analyze0.0ms (0%)

sample797.0ms (32%)

preprocess246.0ms (9.9%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize64.0ms (2.6%)

series8.0ms (0.3%)

rewrite136.0ms (5.5%)

simplify130.0ms (5.2%)

eval25.0ms (1%)

prune18.0ms (0.7%)

localize108.0ms (4.3%)

series14.0ms (0.6%)

rewrite117.0ms (4.7%)

simplify182.0ms (7.3%)

eval59.0ms (2.4%)

prune43.0ms (1.7%)

localize27.0ms (1.1%)

series1.0ms (0%)

rewrite52.0ms (2.1%)

simplify64.0ms (2.6%)

eval9.0ms (0.4%)

prune8.0ms (0.3%)

regimes30.0ms (1.2%)

regimes13.0ms (0.5%)

regimes7.0ms (0.3%)

simplify3.0ms (0.1%)

soundness278.0ms (11.2%)

end0.0ms (0%)

preprocess45.0ms (1.8%)

Profiling