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.0s (42.9%)

Results

924.0ms	7270×	body	256	valid
90.0ms	986×	body	256	infinite

Bogosity

preprocess127.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

2300×	`fma-def`
174×	`unsub-neg`
164×	`associate-r`
156×	`distribute-lft-in`
150×	`distribute-rgt-in`

Problems

256×

No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	34	332
1	85	296
2	199	296
3	522	296
4	1023	296
5	1668	296
6	2244	296
7	2250	296
8	2250	296

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))
(neg.f64 (-.f64 (.f64 (.f64 (neg.f64 x) 3) y) z))
(neg.f64 (-.f64 (.f64 (.f64 x 3) (neg.f64 y)) z))
(neg.f64 (-.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))
(-.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))
(-.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)
(-.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)
(-.f64 (.f64 (.f64 x 3) y) (neg.f64 z))
(-.f64 (.f64 x (.f64 3 y)) (neg.f64 z))
(fma.f64 (*.f64 x 3) y z)
(fma.f64 x (*.f64 3 y) z)
(neg.f64 (-.f64 (.f64 (.f64 (neg.f64 x) 3) y) z))
(-.f64 (.f64 x (.f64 3 y)) (neg.f64 z))
(fma.f64 (*.f64 x 3) y z)
(fma.f64 x (*.f64 3 y) z)
(neg.f64 (-.f64 (.f64 (.f64 x 3) (neg.f64 y)) z))
(-.f64 (.f64 x (.f64 3 y)) (neg.f64 z))
(fma.f64 (*.f64 x 3) y z)
(fma.f64 x (*.f64 3 y) z)
(neg.f64 (-.f64 (.f64 (.f64 x 3) y) (neg.f64 z)))
(-.f64 (.f64 y (.f64 3 (neg.f64 x))) z)
(-.f64 (.f64 y (.f64 x -3)) z)
(-.f64 (.f64 x (.f64 y -3)) z)
(-.f64 (.f64 (.f64 y 3) x) z)
(fma.f64 (*.f64 3 y) x (neg.f64 z))
(-.f64 (.f64 (.f64 x 3) y) 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 y (.f64 3 z)) x)
(-.f64 (.f64 (.f64 x 3) z) y)

Symmetry

(sort x y)

Compiler

Compiled 33 to 21 computations (36.4% saved)

eval1.0ms (0%)

Compiler: Compiled 24 to 15 computations (37.5% 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)

localize53.0ms (2.2%)

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)

series5.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
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))
1.0ms	y	@	inf	(.f64 x (.f64 3 y))
0.0ms	y	@	-inf	(.f64 x (.f64 3 y))

rewrite179.0ms (7.5%)

Algorithm

1×	batch-egg-rewrite

Rules

872×	`unpow-prod-down`
608×	`log-prod`
592×	`cbrt-prod`
462×	`prod-exp`
450×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	128	38
2	1268	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 x y) 2)) 1/2)
(pow.f64 (.f64 27 (pow.f64 (.f64 x y) 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 x y) 2)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(cbrt.f64 (.f64 27 (pow.f64 (.f64 x 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 (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 x y) 2)) 1/2)
(pow.f64 (.f64 27 (pow.f64 (.f64 x y) 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 x y) 2)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(cbrt.f64 (.f64 27 (pow.f64 (.f64 x 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 (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))))

simplify76.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	72	2006
1	168	1934
2	388	1934
3	1186	1934
4	4157	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 x y) 2)) 1/2)
(pow.f64 (.f64 27 (pow.f64 (.f64 x y) 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 x y) 2)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(cbrt.f64 (.f64 27 (pow.f64 (.f64 x 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 (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 x y) 2)) 1/2)
(pow.f64 (.f64 27 (pow.f64 (.f64 x y) 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 x y) 2)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(cbrt.f64 (.f64 27 (pow.f64 (.f64 x 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 (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 x y) 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 x y) 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 x y) 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 x y) 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 x y) 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 x y) 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 x y) 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 x y) 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))

eval7.0ms (0.3%)

Compiler: Compiled 364 to 253 computations (30.5% saved)

prune8.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)
▶	71.7%	(-.f64 (cbrt.f64 (.f64 27 (pow.f64 (.f64 x y) 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)
▶	71.7%	(-.f64 (cbrt.f64 (.f64 27 (pow.f64 (.f64 x y) 3))) z)

Compiler

Compiled 86 to 62 computations (27.9% saved)

localize80.0ms (3.3%)

Localize:

Found 4 expressions with local error:

New	Accuracy	Program
✓	99.6%	(.f64 3 (.f64 x y))
✓	99.9%	(.f64 27 (pow.f64 (.f64 x y) 3))
✓	99.7%	(pow.f64 (*.f64 x y) 3)
✓	54.9%	(cbrt.f64 (.f64 27 (pow.f64 (.f64 x y) 3)))

Compiler

Compiled 61 to 30 computations (50.8% saved)

series15.0ms (0.6%)

Counts

4 → 72

Calls

24 calls:

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

rewrite97.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

822×	`log-prod`
626×	`prod-exp`
611×	`log1p-expm1-u`
611×	`expm1-log1p-u`
552×	`pow-prod-down`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	86
1	159	86
2	1796	86

Stop Event

1×	node limit

Counts

4 → 134

Calls

Call 1

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

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

simplify90.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1608×	`fma-def`
998×	`distribute-lft-in`
940×	`distribute-rgt-in`
712×	`unswap-sqr`
646×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	321	4294972124
1	689	4746
2	2034	4734

Stop Event

1×	node limit

Counts

206 → 160

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

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

eval46.0ms (1.9%)

Compiler: Compiled 2192 to 1472 computations (32.8% saved)

prune26.0ms (1.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	159	1	160
Fresh	0	0	0
Picked	1	1	2
Done	0	2	2
Total	160	4	164

Accuracy

100.0%

Counts

164 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.4%	(-.f64 (.f64 (.f64 x y) (cbrt.f64 27)) 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)
▶	99.4%	(-.f64 (.f64 (.f64 x y) (cbrt.f64 27)) 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)

Compiler

Compiled 82 to 58 computations (29.3% saved)

localize40.0ms (1.7%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	99.6%	(.f64 (.f64 x y) (cbrt.f64 27))
✓	98.4%	(cbrt.f64 27)

Compiler

Compiled 27 to 15 computations (44.4% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite77.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

738×	`unpow-prod-down`
556×	`log-prod`
550×	`cbrt-prod`
534×	`prod-exp`
450×	`pow-prod-down`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	28
1	109	28
2	1259	28

Stop Event

1×	node limit

Counts

2 → 49

Calls

Call 1

Inputs
(cbrt.f64 27)
(.f64 (.f64 x y) (cbrt.f64 27))

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

simplify183.0ms (7.7%)

Algorithm

1×	egg-herbie

Rules

1152×	`log-prod`
734×	`associate-r`
656×	`fma-neg`
654×	`associate-l`
526×	`fma-def`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	129	1389
1	283	1327
2	796	1327
3	3535	1327
4	7540	1327

Stop Event

1×	node limit

Counts

73 → 60

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

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

eval28.0ms (1.2%)

Compiler: Compiled 762 to 532 computations (30.2% saved)

prune11.0ms (0.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	60	4	64

Accuracy

100.0%

Counts

64 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(-.f64 (.f64 (.f64 x y) (cbrt.f64 27)) 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)

Compiler

Compiled 83 to 54 computations (34.9% saved)

regimes30.0ms (1.2%)

Counts

5 → 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 (.f64 (.f64 x y) (cbrt.f64 27)) z)
(-.f64 (cbrt.f64 (.f64 27 (pow.f64 (.f64 x y) 3))) z)

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

Calls

6 calls:

6.0ms	z
5.0ms	x
5.0ms	(.f64 (.f64 x 3) y)
4.0ms	(*.f64 x 3)
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 78 to 52 computations (33.3% saved)

regimes11.0ms (0.5%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

3 calls:

4.0ms	x
3.0ms	z
3.0ms	y

Results

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

Compiler

Compiled 29 to 20 computations (31% 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	x
3.0ms	y
3.0ms	z

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)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative`
8×	`sub-neg`
8×	`+-commutative`
2×	`neg-mul-1`
2×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	84
1	30	84
2	37	84
3	39	84
4	40	84

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 30 to 21 computations (30% saved)

soundness108.0ms (4.5%)

Rules

2300×	`fma-def`
174×	`unsub-neg`
164×	`associate-r`
156×	`distribute-lft-in`
150×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	34	332
1	85	296
2	199	296
3	522	296
4	1023	296
5	1668	296
6	2244	296
7	2250	296
8	2250	296

Stop Event

1×

saturated

Compiler

Compiled 17 to 11 computations (35.3% saved)

end0.0ms (0%)

preprocess55.0ms (2.3%)

Compiler: Compiled 168 to 114 computations (32.1% saved)

analyze0.0ms (0%)

sample1.0s (42.9%)

preprocess127.0ms (5.3%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize53.0ms (2.2%)

series5.0ms (0.2%)

rewrite179.0ms (7.5%)

simplify76.0ms (3.2%)

eval7.0ms (0.3%)

prune8.0ms (0.3%)

localize80.0ms (3.3%)

series15.0ms (0.6%)

rewrite97.0ms (4%)

simplify90.0ms (3.7%)

eval46.0ms (1.9%)

prune26.0ms (1.1%)

localize40.0ms (1.7%)

series1.0ms (0%)

rewrite77.0ms (3.2%)

simplify183.0ms (7.7%)

eval28.0ms (1.2%)

prune11.0ms (0.4%)

regimes30.0ms (1.2%)

regimes11.0ms (0.5%)

regimes9.0ms (0.4%)

simplify4.0ms (0.2%)

soundness108.0ms (4.5%)

end0.0ms (0%)

preprocess55.0ms (2.3%)

Profiling