Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, 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 11 to 8 computations (27.3% saved)

sample1.1s (52.1%)

Results

907.0ms	7221×	body	256	valid
131.0ms	1035×	body	256	infinite

Bogosity

preprocess101.0ms (5%)

Algorithm

1×	egg-herbie

Rules

2186×	`fma-def`
160×	`associate-r`
130×	`unsub-neg`
126×	`distribute-lft-in`
120×	`distribute-rgt-in`

Problems

256×

No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	31	236
1	76	220
2	168	220
3	390	220
4	781	220
5	1319	220
6	1767	220
7	2072	220
8	2076	220
9	2076	220

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 x 3) y) z)
(-.f64 (.f64 (.f64 x 3) y) z)
(-.f64 (.f64 (.f64 (neg.f64 x) 3) y) z)
(-.f64 (.f64 (.f64 x 3) (neg.f64 y)) z)
(-.f64 (.f64 (.f64 x 3) y) (neg.f64 z))
(-.f64 (.f64 (.f64 y 3) x) z)
(-.f64 (.f64 (.f64 z 3) y) x)
(-.f64 (.f64 (.f64 x 3) z) y)

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

Symmetry

(sort x y)

Compiler

Compiled 33 to 21 computations (36.4% saved)

eval1.0ms (0%)

Compiler: Compiled 31 to 18 computations (41.9% saved)

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(-.f64 (.f64 (.f64 x 3) y) z)
▶	99.9%	(-.f64 (.f64 x (.f64 3 y)) z)
▶	99.9%	(-.f64 (.f64 (.f64 x 3) y) z)
▶	99.9%	(-.f64 (.f64 x (.f64 3 y)) z)

Compiler

Compiled 40 to 28 computations (30% saved)

localize46.0ms (2.3%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 42 to 24 computations (42.9% saved)

series4.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

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

rewrite100.0ms (5%)

Algorithm

1×	batch-egg-rewrite

Rules

872×	`unpow-prod-down`
608×	`log-prod`
594×	`cbrt-prod`
462×	`prod-exp`
452×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	128	38
2	1265	38

Stop Event

1×	node limit

Counts

2 → 42

Calls

Call 1

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

Outputs
(+.f64 0 (.f64 x (.f64 3 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(-.f64 (+.f64 1 (.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 (.f64 9 (pow.f64 (.f64 y x) 2)) 1/2)
(pow.f64 (.f64 27 (pow.f64 (.f64 y x) 3)) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 3 y))) 2)
(pow.f64 (E.f64) (log.f64 (.f64 x (.f64 3 y))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (.f64 3 y)))) 2)) (cbrt.f64 (log.f64 (.f64 x (.f64 3 y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (.f64 3 y))))) (sqrt.f64 (log.f64 (.f64 x (.f64 3 y)))))
(sqrt.f64 (.f64 9 (pow.f64 (.f64 y x) 2)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(cbrt.f64 (.f64 27 (pow.f64 (.f64 y x) 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 y))))
(exp.f64 (log.f64 (.f64 x (.f64 3 y))))
(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))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 y))))
(+.f64 0 (.f64 x (.f64 3 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(-.f64 (+.f64 1 (.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 (.f64 9 (pow.f64 (.f64 y x) 2)) 1/2)
(pow.f64 (.f64 27 (pow.f64 (.f64 y x) 3)) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 3 y))) 2)
(pow.f64 (E.f64) (log.f64 (.f64 x (.f64 3 y))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (.f64 3 y)))) 2)) (cbrt.f64 (log.f64 (.f64 x (.f64 3 y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (.f64 3 y))))) (sqrt.f64 (log.f64 (.f64 x (.f64 3 y)))))
(sqrt.f64 (.f64 9 (pow.f64 (.f64 y x) 2)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(cbrt.f64 (.f64 27 (pow.f64 (.f64 y x) 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 y))))
(exp.f64 (log.f64 (.f64 x (.f64 3 y))))
(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))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 y))))

simplify64.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

992×	`unswap-sqr`
978×	`log-prod`
658×	`exp-sum`
478×	`*-commutative`
452×	`distribute-lft-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	73	2006
1	166	1934
2	386	1934
3	1184	1934
4	4141	1934

Stop Event

1×	node limit

Counts

90 → 29

Calls

Call 1

Inputs
(.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 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 0 (.f64 x (.f64 3 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(-.f64 (+.f64 1 (.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 (.f64 9 (pow.f64 (.f64 y x) 2)) 1/2)
(pow.f64 (.f64 27 (pow.f64 (.f64 y x) 3)) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 3 y))) 2)
(pow.f64 (E.f64) (log.f64 (.f64 x (.f64 3 y))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (.f64 3 y)))) 2)) (cbrt.f64 (log.f64 (.f64 x (.f64 3 y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (.f64 3 y))))) (sqrt.f64 (log.f64 (.f64 x (.f64 3 y)))))
(sqrt.f64 (.f64 9 (pow.f64 (.f64 y x) 2)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(cbrt.f64 (.f64 27 (pow.f64 (.f64 y x) 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 y))))
(exp.f64 (log.f64 (.f64 x (.f64 3 y))))
(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))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 y))))
(+.f64 0 (.f64 x (.f64 3 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(-.f64 (+.f64 1 (.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 (.f64 9 (pow.f64 (.f64 y x) 2)) 1/2)
(pow.f64 (.f64 27 (pow.f64 (.f64 y x) 3)) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 3 y))) 2)
(pow.f64 (E.f64) (log.f64 (.f64 x (.f64 3 y))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (.f64 3 y)))) 2)) (cbrt.f64 (log.f64 (.f64 x (.f64 3 y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (.f64 3 y))))) (sqrt.f64 (log.f64 (.f64 x (.f64 3 y)))))
(sqrt.f64 (.f64 9 (pow.f64 (.f64 y x) 2)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(cbrt.f64 (.f64 27 (pow.f64 (.f64 y x) 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 3 y))))
(exp.f64 (log.f64 (.f64 x (.f64 3 y))))
(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))
(log1p.f64 (expm1.f64 (.f64 x (.f64 3 y))))

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

eval39.0ms (1.9%)

Compiler: Compiled 364 to 254 computations (30.2% saved)

prune7.0ms (0.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	27	2	29
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	27	4	31

Accuracy

100.0%

Counts

31 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(-.f64 (.f64 (.f64 x 3) y) z)
✓	99.9%	(-.f64 (.f64 x (.f64 3 y)) z)
▶	99.8%	(-.f64 (.f64 3 (.f64 x y)) z)
▶	74.5%	(-.f64 (cbrt.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) z)
✓	99.9%	(-.f64 (.f64 (.f64 x 3) y) z)
✓	99.9%	(-.f64 (.f64 x (.f64 3 y)) z)
▶	99.8%	(-.f64 (.f64 3 (.f64 x y)) z)
▶	74.5%	(-.f64 (cbrt.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) z)

Compiler

Compiled 86 to 62 computations (27.9% saved)

localize110.0ms (5.5%)

Localize:

Found 4 expressions with local error:

New	Accuracy	Program
✓	99.7%	(.f64 3 (.f64 x y))
✓	99.8%	(.f64 27 (pow.f64 (.f64 y x) 3))
✓	99.7%	(pow.f64 (*.f64 y x) 3)
✓	58.5%	(cbrt.f64 (.f64 27 (pow.f64 (.f64 y x) 3)))

Compiler

Compiled 61 to 31 computations (49.2% saved)

series18.0ms (0.9%)

Counts

4 → 72

Calls

24 calls:

Time	Variable		Point	Expression
5.0ms	y	@	-inf	(cbrt.f64 (.f64 27 (pow.f64 (.f64 y x) 3)))
4.0ms	x	@	inf	(.f64 27 (pow.f64 (.f64 y x) 3))
2.0ms	x	@	-inf	(cbrt.f64 (.f64 27 (pow.f64 (.f64 y x) 3)))
1.0ms	y	@	-inf	(.f64 27 (pow.f64 (.f64 y x) 3))
1.0ms	y	@	0	(.f64 27 (pow.f64 (.f64 y x) 3))

rewrite78.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

822×	`log-prod`
626×	`prod-exp`
614×	`log1p-expm1-u`
614×	`expm1-log1p-u`
548×	`pow-prod-down`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	86
1	181	86
2	1815	86

Stop Event

1×	node limit

Counts

4 → 134

Calls

Call 1

Inputs
(cbrt.f64 (.f64 27 (pow.f64 (.f64 y x) 3)))
(pow.f64 (*.f64 y x) 3)
(.f64 27 (pow.f64 (.f64 y x) 3))
(.f64 3 (.f64 x y))

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

simplify99.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

1566×	`log-prod`
1008×	`distribute-lft-in`
980×	`distribute-rgt-in`
732×	`unswap-sqr`
604×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	322	4294971888
1	684	4546
2	2023	4534
3	7654	4534

Stop Event

1×	node limit

Counts

206 → 158

Calls

Call 1

Inputs
(.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 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(.f64 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(.f64 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(.f64 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(.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 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(.f64 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(.f64 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(.f64 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(+.f64 0 (.f64 (.f64 y x) (cbrt.f64 27)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (.f64 y x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (.f64 y x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (.f64 y x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (.f64 y x)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 y x) (cbrt.f64 27)))) 1)
(.f64 (.f64 y x) (cbrt.f64 27))
(.f64 (.f64 (*.f64 y x) (cbrt.f64 27)) 1)
(.f64 (.f64 (*.f64 y x) (cbrt.f64 27)) (log.f64 (exp.f64 1)))
(.f64 1 (.f64 (*.f64 y x) (cbrt.f64 27)))
(.f64 (cbrt.f64 27) (.f64 y x))
(.f64 (cbrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) (pow.f64 (cbrt.f64 (.f64 (*.f64 y x) (cbrt.f64 27))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 2) (cbrt.f64 (.f64 (*.f64 y x) (cbrt.f64 27))))
(.f64 (sqrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) (sqrt.f64 (.f64 (*.f64 y x) (cbrt.f64 27))))
(.f64 (.f64 (cbrt.f64 27) y) x)
(.f64 (.f64 (cbrt.f64 27) x) y)
(.f64 (.f64 (cbrt.f64 27) 1) (*.f64 y x))
(.f64 (.f64 (cbrt.f64 27) (pow.f64 (cbrt.f64 (.f64 y x)) 2)) (cbrt.f64 (.f64 y x)))
(.f64 (.f64 (cbrt.f64 27) (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
(pow.f64 (.f64 27 (pow.f64 (.f64 y x) 3)) 1/3)
(pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 1)
(pow.f64 (pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 2) 1/2)
(pow.f64 (cbrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 3)
(pow.f64 (.f64 (pow.f64 (.f64 y x) 6) 729) 1/6)
(pow.f64 (pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 9) 1/9)
(pow.f64 (.f64 (pow.f64 (.f64 y x) 3/2) (sqrt.f64 27)) 2/3)
(pow.f64 (sqrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 2)
(sqrt.f64 (pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 2))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (*.f64 y x)))
(expm1.f64 (log1p.f64 (.f64 (.f64 y x) (cbrt.f64 27))))
(exp.f64 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))))
(exp.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (*.f64 y x) 3))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (*.f64 y x) (cbrt.f64 27))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) 1) 1/3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) 1/3) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (*.f64 y x) (cbrt.f64 27)))) 3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (*.f64 y x) (cbrt.f64 27)))) 2))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 1) (log.f64 (cbrt.f64 27))))
(exp.f64 (+.f64 (log.f64 (cbrt.f64 27)) (.f64 (log.f64 (.f64 y x)) 1)))
(log1p.f64 (expm1.f64 (.f64 (.f64 y x) (cbrt.f64 27))))
(+.f64 0 (pow.f64 (*.f64 y x) 3))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 y x) 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 y x) 3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (.f64 y x) 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (.f64 y x) 3)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (*.f64 y x) 3))) 1)
(.f64 y (.f64 x (pow.f64 (*.f64 y x) 2)))
(.f64 x (.f64 y (pow.f64 (*.f64 y x) 2)))
(.f64 (.f64 y x) (pow.f64 (*.f64 y x) 2))
(.f64 (pow.f64 (.f64 y x) 3) 1)
(.f64 (pow.f64 (.f64 y x) 3) (log.f64 (exp.f64 1)))
(*.f64 (pow.f64 y 3) (pow.f64 x 3))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(.f64 (pow.f64 (.f64 y x) 2) (*.f64 y x))
(.f64 1 (pow.f64 (.f64 y x) 3))
(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) (pow.f64 (*.f64 y x) 2)))
(.f64 (sqrt.f64 (.f64 y x)) (pow.f64 (*.f64 y x) 5/2))
(.f64 (pow.f64 (.f64 y x) 3/2) (pow.f64 (*.f64 y x) 3/2))
(.f64 (.f64 (pow.f64 (*.f64 y x) 2) y) x)
(.f64 (.f64 (pow.f64 (*.f64 y x) 2) x) y)
(.f64 (.f64 (pow.f64 (.f64 y x) 2) 1) (.f64 y x))
(.f64 (pow.f64 (.f64 (.f64 y x) (cbrt.f64 (.f64 y x))) 2) (cbrt.f64 (*.f64 y x)))
(.f64 (pow.f64 (.f64 y x) 5/2) (sqrt.f64 (*.f64 y x)))
(sqrt.f64 (pow.f64 (*.f64 y x) 6))
(log.f64 (exp.f64 (pow.f64 (*.f64 y x) 3)))
(cbrt.f64 (pow.f64 (*.f64 y x) 9))
(expm1.f64 (log1p.f64 (pow.f64 (*.f64 y x) 3)))
(exp.f64 (.f64 3 (log.f64 (.f64 y x))))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 y x))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 y x)) 1) 3))
(exp.f64 (.f64 (.f64 (.f64 3 (log.f64 (.f64 y x))) 1) 1))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y x) 2)) 3/2))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y x) 9)) 1/3))
(exp.f64 (.f64 (.f64 3/2 (log.f64 (*.f64 y x))) 2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 y x)) 3/2) 2))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 1) (log.f64 (pow.f64 (*.f64 y x) 2))))
(exp.f64 (+.f64 (.f64 3 (log.f64 y)) (.f64 (log.f64 x) 3)))
(exp.f64 (+.f64 (.f64 (log.f64 y) 3) (.f64 3 (log.f64 x))))
(exp.f64 (+.f64 (.f64 (log.f64 y) 3) (.f64 (log.f64 x) 3)))
(exp.f64 (+.f64 (.f64 3 (log.f64 x)) (.f64 (log.f64 y) 3)))
(exp.f64 (+.f64 (.f64 (log.f64 x) 3) (.f64 3 (log.f64 y))))
(exp.f64 (+.f64 (.f64 (log.f64 x) 3) (.f64 (log.f64 y) 3)))
(exp.f64 (+.f64 (log.f64 (pow.f64 (.f64 y x) 2)) (.f64 (log.f64 (*.f64 y x)) 1)))
(exp.f64 (+.f64 (.f64 3/2 (log.f64 (.f64 y x))) (.f64 (log.f64 (.f64 y x)) 3/2)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 3/2) (.f64 3/2 (log.f64 (.f64 y x)))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 3/2) (.f64 (log.f64 (.f64 y x)) 3/2)))
(log1p.f64 (expm1.f64 (pow.f64 (*.f64 y x) 3)))
(+.f64 0 (.f64 27 (pow.f64 (.f64 y x) 3)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 y x) 3)) 27)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 y x) 3)) 27))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 y x) 3)) 27))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 y x) 3)) 27))))
(-.f64 (exp.f64 (log1p.f64 (.f64 27 (pow.f64 (.f64 y x) 3)))) 1)
(pow.f64 (.f64 27 (pow.f64 (.f64 y x) 3)) 1)
(pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 3)
(pow.f64 (cbrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 9)
(pow.f64 (.f64 (pow.f64 (.f64 y x) 6) 729) 1/2)
(pow.f64 (pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 9) 1/3)
(pow.f64 (.f64 (pow.f64 (.f64 y x) 3/2) (sqrt.f64 27)) 2)
(pow.f64 (sqrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 6)
(sqrt.f64 (.f64 (pow.f64 (.f64 y x) 6) 729))
(log.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 y x) 3)) 27))
(cbrt.f64 (pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 9))
(expm1.f64 (log1p.f64 (.f64 27 (pow.f64 (.f64 y x) 3))))
(exp.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))))
(exp.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (*.f64 y x) 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (.f64 (*.f64 y x) (cbrt.f64 27))) 3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) 1/3) 3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 1) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 (*.f64 y x) (cbrt.f64 27)) 9)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 (*.f64 y x) 3/2) (sqrt.f64 27))) 2))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) 1/3) (.f64 2 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 1) (.f64 2 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))))))
(exp.f64 (+.f64 (.f64 2 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27)))) (.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) 1/3)))
(exp.f64 (+.f64 (.f64 2 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27)))) (.f64 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 1)))
(log1p.f64 (expm1.f64 (.f64 27 (pow.f64 (.f64 y x) 3))))
(+.f64 0 (.f64 y (.f64 x 3)))
(+.f64 (log.f64 (pow.f64 (pow.f64 (exp.f64 y) 2) x)) (*.f64 y x))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 y (.f64 x 3)))) 1)
(pow.f64 (.f64 y (.f64 x 3)) 1)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 3))) 3)
(pow.f64 (.f64 (pow.f64 (.f64 y x) 2) 9) 1/2)
(pow.f64 (pow.f64 (.f64 y (.f64 x 3)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 y (.f64 x 3))) 2)
(sqrt.f64 (.f64 (pow.f64 (.f64 y x) 2) 9))
(log.f64 (pow.f64 (exp.f64 y) (*.f64 x 3)))
(cbrt.f64 (pow.f64 (.f64 y (.f64 x 3)) 3))
(expm1.f64 (log1p.f64 (.f64 y (.f64 x 3))))
(exp.f64 (log.f64 (.f64 y (.f64 x 3))))
(exp.f64 (.f64 (log.f64 (.f64 y (*.f64 x 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (.f64 x 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (*.f64 x 3)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 y (.f64 x 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (*.f64 x 3)))) 2))
(exp.f64 (+.f64 (.f64 (log.f64 y) 1) (log.f64 (.f64 x 3))))
(exp.f64 (+.f64 (log.f64 (.f64 x 3)) (.f64 (log.f64 y) 1)))
(log1p.f64 (expm1.f64 (.f64 y (.f64 x 3))))

Outputs
(.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 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(neg.f64 (.f64 x (.f64 y (cbrt.f64 -27))))
(.f64 (.f64 y (cbrt.f64 -27)) (neg.f64 x))
(.f64 y (.f64 (cbrt.f64 -27) (neg.f64 x)))
(.f64 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(neg.f64 (.f64 x (.f64 y (cbrt.f64 -27))))
(.f64 (.f64 y (cbrt.f64 -27)) (neg.f64 x))
(.f64 y (.f64 (cbrt.f64 -27) (neg.f64 x)))
(.f64 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(neg.f64 (.f64 x (.f64 y (cbrt.f64 -27))))
(.f64 (.f64 y (cbrt.f64 -27)) (neg.f64 x))
(.f64 y (.f64 (cbrt.f64 -27) (neg.f64 x)))
(.f64 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(neg.f64 (.f64 x (.f64 y (cbrt.f64 -27))))
(.f64 (.f64 y (cbrt.f64 -27)) (neg.f64 x))
(.f64 y (.f64 (cbrt.f64 -27) (neg.f64 x)))
(.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 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(neg.f64 (.f64 x (.f64 y (cbrt.f64 -27))))
(.f64 (.f64 y (cbrt.f64 -27)) (neg.f64 x))
(.f64 y (.f64 (cbrt.f64 -27) (neg.f64 x)))
(.f64 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(neg.f64 (.f64 x (.f64 y (cbrt.f64 -27))))
(.f64 (.f64 y (cbrt.f64 -27)) (neg.f64 x))
(.f64 y (.f64 (cbrt.f64 -27) (neg.f64 x)))
(.f64 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(neg.f64 (.f64 x (.f64 y (cbrt.f64 -27))))
(.f64 (.f64 y (cbrt.f64 -27)) (neg.f64 x))
(.f64 y (.f64 (cbrt.f64 -27) (neg.f64 x)))
(.f64 -1 (.f64 x (*.f64 y (cbrt.f64 -27))))
(neg.f64 (.f64 x (.f64 y (cbrt.f64 -27))))
(.f64 (.f64 y (cbrt.f64 -27)) (neg.f64 x))
(.f64 y (.f64 (cbrt.f64 -27) (neg.f64 x)))
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(.f64 27 (.f64 (pow.f64 x 3) (pow.f64 y 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(+.f64 0 (.f64 (.f64 y x) (cbrt.f64 27)))
(.f64 3 (.f64 x y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (.f64 y x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (.f64 y x)))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (.f64 x y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (*.f64 x y)))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (.f64 x y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (.f64 y x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (.f64 y x)))))
(.f64 3 (.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 y x) (cbrt.f64 27)))) 1)
(.f64 3 (.f64 x y))
(.f64 (.f64 y x) (cbrt.f64 27))
(.f64 3 (.f64 x y))
(.f64 (.f64 (*.f64 y x) (cbrt.f64 27)) 1)
(.f64 3 (.f64 x y))
(.f64 (.f64 (*.f64 y x) (cbrt.f64 27)) (log.f64 (exp.f64 1)))
(.f64 3 (.f64 x y))
(.f64 1 (.f64 (*.f64 y x) (cbrt.f64 27)))
(.f64 3 (.f64 x y))
(.f64 (cbrt.f64 27) (.f64 y x))
(.f64 3 (.f64 x y))
(.f64 (cbrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) (pow.f64 (cbrt.f64 (.f64 (*.f64 y x) (cbrt.f64 27))) 2))
(.f64 3 (.f64 x y))
(.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 2) (cbrt.f64 (.f64 (*.f64 y x) (cbrt.f64 27))))
(.f64 3 (.f64 x y))
(.f64 (sqrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) (sqrt.f64 (.f64 (*.f64 y x) (cbrt.f64 27))))
(.f64 3 (.f64 x y))
(.f64 (.f64 (cbrt.f64 27) y) x)
(.f64 3 (.f64 x y))
(.f64 (.f64 (cbrt.f64 27) x) y)
(.f64 3 (.f64 x y))
(.f64 (.f64 (cbrt.f64 27) 1) (*.f64 y x))
(.f64 3 (.f64 x y))
(.f64 (.f64 (cbrt.f64 27) (pow.f64 (cbrt.f64 (.f64 y x)) 2)) (cbrt.f64 (.f64 y x)))
(.f64 3 (.f64 x y))
(.f64 (.f64 (cbrt.f64 27) (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
(.f64 3 (.f64 x y))
(pow.f64 (.f64 27 (pow.f64 (.f64 y x) 3)) 1/3)
(.f64 3 (.f64 x y))
(pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 1)
(.f64 3 (.f64 x y))
(pow.f64 (pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 2) 1/2)
(.f64 3 (.f64 x y))
(pow.f64 (cbrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 3)
(.f64 3 (.f64 x y))
(pow.f64 (.f64 (pow.f64 (.f64 y x) 6) 729) 1/6)
(pow.f64 (.f64 (pow.f64 (.f64 x y) 6) 729) 1/6)
(pow.f64 (pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 9) 1/9)
(.f64 (pow.f64 (pow.f64 (.f64 x (.f64 y (cbrt.f64 27))) 9) 1/18) (pow.f64 (pow.f64 (.f64 x (*.f64 y (cbrt.f64 27))) 9) 1/18))
(.f64 (pow.f64 (pow.f64 (.f64 3 (.f64 x y)) 9) 1/18) (pow.f64 (pow.f64 (.f64 3 (*.f64 x y)) 9) 1/18))
(pow.f64 (.f64 (pow.f64 (.f64 y x) 3/2) (sqrt.f64 27)) 2/3)
(.f64 (pow.f64 (.f64 (pow.f64 (.f64 x y) 3/2) (sqrt.f64 27)) 1/3) (pow.f64 (.f64 (pow.f64 (*.f64 x y) 3/2) (sqrt.f64 27)) 1/3))
(.f64 (cbrt.f64 (.f64 (sqrt.f64 27) (pow.f64 (.f64 x y) 3/2))) (cbrt.f64 (.f64 (sqrt.f64 27) (pow.f64 (*.f64 x y) 3/2))))
(pow.f64 (sqrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 2)
(.f64 3 (.f64 x y))
(sqrt.f64 (pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 2))
(.f64 3 (.f64 x y))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 27)) (*.f64 y x)))
(.f64 3 (.f64 x y))
(expm1.f64 (log1p.f64 (.f64 (.f64 y x) (cbrt.f64 27))))
(.f64 3 (.f64 x y))
(exp.f64 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (*.f64 y x) 3))) 1/3))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (.f64 (*.f64 y x) (cbrt.f64 27))) 1))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) 1) 1/3))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) 1/3) 1))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 1) 1))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (*.f64 y x) (cbrt.f64 27)))) 3))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (*.f64 y x) (cbrt.f64 27)))) 2))
(.f64 3 (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 1) (log.f64 (cbrt.f64 27))))
(.f64 3 (.f64 x y))
(exp.f64 (+.f64 (log.f64 (cbrt.f64 27)) (.f64 (log.f64 (.f64 y x)) 1)))
(.f64 3 (.f64 x y))
(log1p.f64 (expm1.f64 (.f64 (.f64 y x) (cbrt.f64 27))))
(.f64 3 (.f64 x y))
(+.f64 0 (pow.f64 (*.f64 y x) 3))
(pow.f64 (*.f64 x y) 3)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 y x) 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 y x) 3)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 x y) 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 x y) 3)))))
(.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 x y) 3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (.f64 y x) 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (.f64 y x) 3)))))
(.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (.f64 x y) 3)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (*.f64 y x) 3))) 1)
(pow.f64 (*.f64 x y) 3)
(.f64 y (.f64 x (pow.f64 (*.f64 y x) 2)))
(pow.f64 (*.f64 x y) 3)
(.f64 x (.f64 y (pow.f64 (*.f64 y x) 2)))
(pow.f64 (*.f64 x y) 3)
(.f64 (.f64 y x) (pow.f64 (*.f64 y x) 2))
(pow.f64 (*.f64 x y) 3)
(.f64 (pow.f64 (.f64 y x) 3) 1)
(pow.f64 (*.f64 x y) 3)
(.f64 (pow.f64 (.f64 y x) 3) (log.f64 (exp.f64 1)))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 y 3) (pow.f64 x 3))
(pow.f64 (*.f64 x y) 3)
(*.f64 (pow.f64 x 3) (pow.f64 y 3))
(pow.f64 (*.f64 x y) 3)
(.f64 (pow.f64 (.f64 y x) 2) (*.f64 y x))
(pow.f64 (*.f64 x y) 3)
(.f64 1 (pow.f64 (.f64 y x) 3))
(pow.f64 (*.f64 x y) 3)
(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) (pow.f64 (*.f64 y x) 2)))
(pow.f64 (*.f64 x y) 3)
(.f64 (sqrt.f64 (.f64 y x)) (pow.f64 (*.f64 y x) 5/2))
(.f64 (sqrt.f64 (.f64 x y)) (pow.f64 (*.f64 x y) 5/2))
(.f64 (pow.f64 (.f64 y x) 3/2) (pow.f64 (*.f64 y x) 3/2))
(pow.f64 (*.f64 x y) 3)
(.f64 (.f64 (pow.f64 (*.f64 y x) 2) y) x)
(pow.f64 (*.f64 x y) 3)
(.f64 (.f64 (pow.f64 (*.f64 y x) 2) x) y)
(pow.f64 (*.f64 x y) 3)
(.f64 (.f64 (pow.f64 (.f64 y x) 2) 1) (.f64 y x))
(pow.f64 (*.f64 x y) 3)
(.f64 (pow.f64 (.f64 (.f64 y x) (cbrt.f64 (.f64 y x))) 2) (cbrt.f64 (*.f64 y x)))
(pow.f64 (*.f64 x y) 3)
(.f64 (pow.f64 (.f64 y x) 5/2) (sqrt.f64 (*.f64 y x)))
(.f64 (sqrt.f64 (.f64 x y)) (pow.f64 (*.f64 x y) 5/2))
(sqrt.f64 (pow.f64 (*.f64 y x) 6))
(pow.f64 (*.f64 x y) 3)
(log.f64 (exp.f64 (pow.f64 (*.f64 y x) 3)))
(pow.f64 (*.f64 x y) 3)
(cbrt.f64 (pow.f64 (*.f64 y x) 9))
(pow.f64 (*.f64 x y) 3)
(expm1.f64 (log1p.f64 (pow.f64 (*.f64 y x) 3)))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (.f64 3 (log.f64 (.f64 y x))))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 y x))) 1))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 y x)) 1) 3))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (.f64 (.f64 (.f64 3 (log.f64 (.f64 y x))) 1) 1))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y x) 2)) 3/2))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y x) 9)) 1/3))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (.f64 (.f64 3/2 (log.f64 (*.f64 y x))) 2))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 y x)) 3/2) 2))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 1) (log.f64 (pow.f64 (*.f64 y x) 2))))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (+.f64 (.f64 3 (log.f64 y)) (.f64 (log.f64 x) 3)))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (+.f64 (.f64 (log.f64 y) 3) (.f64 3 (log.f64 x))))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (+.f64 (.f64 (log.f64 y) 3) (.f64 (log.f64 x) 3)))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (+.f64 (.f64 3 (log.f64 x)) (.f64 (log.f64 y) 3)))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (+.f64 (.f64 (log.f64 x) 3) (.f64 3 (log.f64 y))))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (+.f64 (.f64 (log.f64 x) 3) (.f64 (log.f64 y) 3)))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (+.f64 (log.f64 (pow.f64 (.f64 y x) 2)) (.f64 (log.f64 (*.f64 y x)) 1)))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (+.f64 (.f64 3/2 (log.f64 (.f64 y x))) (.f64 (log.f64 (.f64 y x)) 3/2)))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 3/2) (.f64 3/2 (log.f64 (.f64 y x)))))
(pow.f64 (*.f64 x y) 3)
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) 3/2) (.f64 (log.f64 (.f64 y x)) 3/2)))
(pow.f64 (*.f64 x y) 3)
(log1p.f64 (expm1.f64 (pow.f64 (*.f64 y x) 3)))
(pow.f64 (*.f64 x y) 3)
(+.f64 0 (.f64 27 (pow.f64 (.f64 y x) 3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 y x) 3)) 27)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 y x) 3)) 27))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 x y) 3)) 27)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 x y) 3)) 27))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 x y) 3)) 27))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 y x) 3)) 27))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 y x) 3)) 27))))
(.f64 27 (pow.f64 (.f64 x y) 3))
(-.f64 (exp.f64 (log1p.f64 (.f64 27 (pow.f64 (.f64 y x) 3)))) 1)
(.f64 27 (pow.f64 (.f64 x y) 3))
(pow.f64 (.f64 27 (pow.f64 (.f64 y x) 3)) 1)
(.f64 27 (pow.f64 (.f64 x y) 3))
(pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 3)
(.f64 27 (pow.f64 (.f64 x y) 3))
(pow.f64 (cbrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 9)
(pow.f64 (cbrt.f64 (.f64 x (.f64 y (cbrt.f64 27)))) 9)
(pow.f64 (cbrt.f64 (.f64 3 (.f64 x y))) 9)
(pow.f64 (.f64 (pow.f64 (.f64 y x) 6) 729) 1/2)
(sqrt.f64 (.f64 (pow.f64 (.f64 x y) 6) 729))
(pow.f64 (pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 9) 1/3)
(.f64 27 (pow.f64 (.f64 x y) 3))
(pow.f64 (.f64 (pow.f64 (.f64 y x) 3/2) (sqrt.f64 27)) 2)
(.f64 27 (pow.f64 (.f64 x y) 3))
(pow.f64 (sqrt.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 6)
(.f64 27 (pow.f64 (.f64 x y) 3))
(sqrt.f64 (.f64 (pow.f64 (.f64 y x) 6) 729))
(sqrt.f64 (.f64 (pow.f64 (.f64 x y) 6) 729))
(log.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 y x) 3)) 27))
(.f64 27 (pow.f64 (.f64 x y) 3))
(cbrt.f64 (pow.f64 (.f64 (.f64 y x) (cbrt.f64 27)) 9))
(.f64 27 (pow.f64 (.f64 x y) 3))
(expm1.f64 (log1p.f64 (.f64 27 (pow.f64 (.f64 y x) 3))))
(.f64 27 (pow.f64 (.f64 x y) 3))
(exp.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))))
(.f64 27 (pow.f64 (.f64 x y) 3))
(exp.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (*.f64 y x) 3))) 1))
(.f64 27 (pow.f64 (.f64 x y) 3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) 1) 1))
(.f64 27 (pow.f64 (.f64 x y) 3))
(exp.f64 (.f64 (log.f64 (.f64 (*.f64 y x) (cbrt.f64 27))) 3))
(.f64 27 (pow.f64 (.f64 x y) 3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) 1/3) 3))
(.f64 27 (pow.f64 (.f64 x y) 3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 1) 3))
(.f64 27 (pow.f64 (.f64 x y) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 (*.f64 y x) (cbrt.f64 27)) 9)) 1/3))
(.f64 27 (pow.f64 (.f64 x y) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 (*.f64 y x) 3/2) (sqrt.f64 27))) 2))
(.f64 27 (pow.f64 (.f64 x y) 3))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) 1/3) (.f64 2 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))))))
(.f64 27 (pow.f64 (.f64 x y) 3))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 1) (.f64 2 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))))))
(.f64 27 (pow.f64 (.f64 x y) 3))
(exp.f64 (+.f64 (.f64 2 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27)))) (.f64 (log.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) 1/3)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(exp.f64 (+.f64 (.f64 2 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27)))) (.f64 (log.f64 (.f64 (.f64 y x) (cbrt.f64 27))) 1)))
(.f64 27 (pow.f64 (.f64 x y) 3))
(log1p.f64 (expm1.f64 (.f64 27 (pow.f64 (.f64 y x) 3))))
(.f64 27 (pow.f64 (.f64 x y) 3))
(+.f64 0 (.f64 y (.f64 x 3)))
(.f64 3 (.f64 x y))
(+.f64 (log.f64 (pow.f64 (pow.f64 (exp.f64 y) 2) x)) (*.f64 y x))
(.f64 3 (.f64 x y))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (.f64 x 3)))))
(.f64 3 (.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (.f64 y (.f64 x 3)))) 1)
(.f64 3 (.f64 x y))
(pow.f64 (.f64 y (.f64 x 3)) 1)
(.f64 3 (.f64 x y))
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 3))) 3)
(.f64 3 (.f64 x y))
(pow.f64 (.f64 (pow.f64 (.f64 y x) 2) 9) 1/2)
(.f64 3 (.f64 x y))
(pow.f64 (pow.f64 (.f64 y (.f64 x 3)) 3) 1/3)
(.f64 3 (.f64 x y))
(pow.f64 (sqrt.f64 (.f64 y (.f64 x 3))) 2)
(.f64 3 (.f64 x y))
(sqrt.f64 (.f64 (pow.f64 (.f64 y x) 2) 9))
(.f64 3 (.f64 x y))
(log.f64 (pow.f64 (exp.f64 y) (*.f64 x 3)))
(.f64 3 (.f64 x y))
(cbrt.f64 (pow.f64 (.f64 y (.f64 x 3)) 3))
(.f64 3 (.f64 x y))
(expm1.f64 (log1p.f64 (.f64 y (.f64 x 3))))
(.f64 3 (.f64 x y))
(exp.f64 (log.f64 (.f64 y (.f64 x 3))))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (.f64 y (*.f64 x 3))) 1))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (.f64 x 3))) 1) 1))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (*.f64 x 3)))) 3))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 y (.f64 x 3)))) 1/3))
(.f64 3 (.f64 x y))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (*.f64 x 3)))) 2))
(.f64 3 (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 y) 1) (log.f64 (.f64 x 3))))
(.f64 3 (.f64 x y))
(exp.f64 (+.f64 (log.f64 (.f64 x 3)) (.f64 (log.f64 y) 1)))
(.f64 3 (.f64 x y))
(log1p.f64 (expm1.f64 (.f64 y (.f64 x 3))))
(.f64 3 (.f64 x y))

eval51.0ms (2.5%)

Compiler: Compiled 2196 to 1438 computations (34.5% saved)

prune52.0ms (2.6%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	0	0
Picked	0	2	2
Done	0	2	2
Total	158	4	162

Accuracy

100.0%

Counts

162 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(-.f64 (.f64 (.f64 x 3) y) z)
✓	99.9%	(-.f64 (.f64 x (.f64 3 y)) z)
✓	99.8%	(-.f64 (.f64 3 (.f64 x y)) z)
✓	74.5%	(-.f64 (cbrt.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) z)

Compiler

Compiled 77 to 53 computations (31.2% saved)

regimes44.0ms (2.2%)

Counts

4 → 1

Calls

Call 1

Inputs
(-.f64 (.f64 3 (.f64 x y)) z)
(-.f64 (.f64 x (.f64 3 y)) z)
(-.f64 (.f64 (.f64 x 3) y) z)
(-.f64 (cbrt.f64 (.f64 27 (pow.f64 (.f64 y x) 3))) z)

Outputs
(-.f64 (.f64 x (.f64 3 y)) z)

Calls

6 calls:

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

Results

Accuracy	Segments	Branch
99.9%	1	`x`
99.9%	1	`y`
99.9%	1	`z`
99.9%	1	`(-.f64 (.f64 (.f64 x 3) y) z)`
99.9%	1	`(.f64 (.f64 x 3) y)`
99.9%	1	`(*.f64 x 3)`

Compiler

Compiled 70 to 49 computations (30% saved)

regimes9.0ms (0.4%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

Outputs
(-.f64 (.f64 3 (.f64 x y)) z)

Calls

3 calls:

3.0ms	z
3.0ms	x
3.0ms	y

Results

Accuracy	Segments	Branch
99.8%	1	`x`
99.8%	1	`y`
99.8%	1	`z`

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative`
6×	`sub-neg`
6×	`+-commutative`
2×	`neg-mul-1`
2×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	56
1	24	56
2	30	56
3	32	56
4	33	56

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

Outputs
(-.f64 (.f64 x (.f64 3 y)) z)
(-.f64 (.f64 3 (.f64 x y)) z)

Compiler

Compiled 20 to 14 computations (30% saved)

soundness99.0ms (4.9%)

Rules

2186×	`fma-def`
160×	`associate-r`
130×	`unsub-neg`
126×	`distribute-lft-in`
120×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	31	236
1	76	220
2	168	220
3	390	220
4	781	220
5	1319	220
6	1767	220
7	2072	220
8	2076	220
9	2076	220

Stop Event

1×

saturated

Compiler

Compiled 17 to 11 computations (35.3% saved)

end0.0ms (0%)

preprocess36.0ms (1.8%)

Remove: (sort x y)
Compiler: Compiled 94 to 64 computations (31.9% saved)

analyze0.0ms (0%)

sample1.1s (52.1%)

preprocess101.0ms (5%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize46.0ms (2.3%)

series4.0ms (0.2%)

rewrite100.0ms (5%)

simplify64.0ms (3.2%)

eval39.0ms (1.9%)

prune7.0ms (0.3%)

localize110.0ms (5.5%)

series18.0ms (0.9%)

rewrite78.0ms (3.9%)

simplify99.0ms (4.9%)

eval51.0ms (2.5%)

prune52.0ms (2.6%)

regimes44.0ms (2.2%)

regimes9.0ms (0.4%)

simplify6.0ms (0.3%)

soundness99.0ms (4.9%)

end0.0ms (0%)

preprocess36.0ms (1.8%)

Profiling