Metrics for Logistic regression 2

analyze1.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 12 to 9 computations (25% saved)

sample5.1s (50.2%)

Results

2.9s	2219×	body	8192	exit
1.7s	6935×	body	256	valid
239.0ms	931×	body	256	infinite
148.0ms	180×	body	1024	valid
103.0ms	209×	body	512	valid
1.0ms	1×	body	2048	valid

Bogosity

preprocess332.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1536×	`times-frac`
1354×	`fma-def`
800×	`fma-neg`
720×	`fabs-mul`
544×	`cancel-sign-sub-inv`

Problems

256×

No Errors

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	25	113
1	61	109
2	94	101
3	211	101
4	365	101
5	607	101
6	1137	101
7	2603	101
8	5620	101
9	7751	101

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 x)))) (*.f64 (neg.f64 x) y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x (neg.f64 y)))
(-.f64 (log.f64 (+.f64 1 (exp.f64 y))) (*.f64 y x))

Outputs
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 x)))) (*.f64 (neg.f64 x) y))
(+.f64 (log1p.f64 (exp.f64 (neg.f64 x))) (*.f64 x y))
(+.f64 (*.f64 x y) (log1p.f64 (exp.f64 (neg.f64 x))))
(fma.f64 x y (log1p.f64 (exp.f64 (neg.f64 x))))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x (neg.f64 y)))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x (neg.f64 y)))
(+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(fma.f64 x y (log1p.f64 (exp.f64 x)))
(-.f64 (log.f64 (+.f64 1 (exp.f64 y))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 y)) (*.f64 x y))

Compiler

Compiled 40 to 23 computations (42.5% saved)

eval1.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

prune3.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
▶	100.0%	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize70.0ms (0.7%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

Compiler

Compiled 20 to 7 computations (65% saved)

series12.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
5.0ms	y	@	0	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
4.0ms	x	@	inf	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
2.0ms	x	@	-inf	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
1.0ms	x	@	0	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
0.0ms	y	@	inf	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

rewrite68.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1934×	`pow1`
1780×	`add-exp-log`
1780×	`log1p-expm1-u`
1780×	`expm1-log1p-u`
196×	`add-sqr-sqrt`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	187	21
2	2458	21

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

Inputs
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

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

simplify100.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1412×	`fma-def`
1408×	`fma-neg`
712×	`distribute-lft-neg-in`
538×	`distribute-rgt-neg-in`
392×	`unsub-neg`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	127	1882
1	338	1758
2	1247	1750
3	5230	1610

Stop Event

1×	node limit

Counts

62 → 62

Calls

Call 1

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

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

eval34.0ms (0.3%)

Compiler: Compiled 934 to 334 computations (64.2% saved)

prune18.0ms (0.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	58	4	62
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	4	63

Accuracy

100.0%

Counts

63 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	86.5%	(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
▶	46.8%	(*.f64 y (neg.f64 x))
▶	60.0%	(log1p.f64 (exp.f64 x))
▶	54.7%	(log.f64 2)
▶	86.5%	(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
▶	46.8%	(*.f64 y (neg.f64 x))
▶	60.0%	(log1p.f64 (exp.f64 x))
▶	54.7%	(log.f64 2)

Compiler

Compiled 50 to 40 computations (20% saved)

localize295.0ms (2.9%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
✓	100.0%	(*.f64 x (-.f64 1/2 y))

Compiler

Compiled 42 to 25 computations (40.5% saved)

series20.0ms (0.2%)

Counts

2 → 27

Calls

12 calls:

Time	Variable		Point	Expression
10.0ms	x	@	0	(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
3.0ms	y	@	0	(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
1.0ms	x	@	0	(*.f64 x (-.f64 1/2 y))
1.0ms	y	@	inf	(*.f64 x (-.f64 1/2 y))
1.0ms	x	@	inf	(*.f64 x (-.f64 1/2 y))

rewrite182.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1688×	`prod-diff`
1046×	`log-prod`
694×	`pow-prod-down`
568×	`fma-def`
510×	`pow-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	36
1	236	32
2	3077	32

Stop Event

1×	node limit

Counts

2 → 88

Calls

Call 1

Inputs
(*.f64 x (-.f64 1/2 y))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))

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

simplify143.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1796×	`fma-neg`
1554×	`fma-def`
724×	`log-prod`
644×	`unswap-sqr`
496×	`hypot-def`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	214	2803
1	488	2743
2	1535	2709
3	6784	2709

Stop Event

1×	node limit

Counts

115 → 113

Calls

Call 1

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

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

eval77.0ms (0.8%)

Compiler: Compiled 1669 to 1311 computations (21.4% saved)

prune34.0ms (0.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	111	2	113
Fresh	0	0	0
Picked	1	3	4
Done	0	0	0
Total	112	5	117

Accuracy

100.0%

Counts

117 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	55.5%	(+.f64 (*.f64 1/2 x) (log.f64 2))
▶	92.5%	(+.f64 (log.f64 2) (*.f64 x (neg.f64 y)))
✓	46.8%	(*.f64 y (neg.f64 x))
✓	60.0%	(log1p.f64 (exp.f64 x))
✓	54.7%	(log.f64 2)
▶	55.5%	(+.f64 (*.f64 1/2 x) (log.f64 2))
▶	92.5%	(+.f64 (log.f64 2) (*.f64 x (neg.f64 y)))
✓	46.8%	(*.f64 y (neg.f64 x))
✓	60.0%	(log1p.f64 (exp.f64 x))
✓	54.7%	(log.f64 2)

Compiler

Compiled 64 to 52 computations (18.8% saved)

localize172.0ms (1.7%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (*.f64 1/2 x) (log.f64 2))
✓	100.0%	(+.f64 (log.f64 2) (*.f64 x (neg.f64 y)))

Compiler

Compiled 35 to 22 computations (37.1% saved)

series11.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

Time	Variable		Point	Expression
8.0ms	x	@	0	(+.f64 (log.f64 2) (*.f64 x (neg.f64 y)))
1.0ms	y	@	0	(+.f64 (log.f64 2) (*.f64 x (neg.f64 y)))
0.0ms	x	@	0	(+.f64 (*.f64 1/2 x) (log.f64 2))
0.0ms	x	@	inf	(+.f64 (log.f64 2) (*.f64 x (neg.f64 y)))
0.0ms	x	@	-inf	(+.f64 (log.f64 2) (*.f64 x (neg.f64 y)))

rewrite124.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1202×	`log-prod`
910×	`fma-def`
822×	`pow-prod-down`
556×	`pow-prod-up`
550×	`pow-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	34
1	281	26
2	3842	26

Stop Event

1×	node limit

Counts

2 → 154

Calls

Call 1

Inputs
(+.f64 (log.f64 2) (*.f64 x (neg.f64 y)))
(+.f64 (*.f64 1/2 x) (log.f64 2))

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

simplify80.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

1430×	`fma-def`
950×	`associate-/l*`
782×	`associate-/r*`
696×	`unswap-sqr`
574×	`distribute-lft-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	311	4974
1	709	4508
2	1940	4206

Stop Event

1×	node limit

Counts

190 → 185

Calls

Call 1

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

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

eval57.0ms (0.6%)

Compiler: Compiled 2707 to 1711 computations (36.8% saved)

prune29.0ms (0.3%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	183	2	185
Fresh	0	0	0
Picked	1	1	2
Done	0	3	3
Total	184	6	190

Accuracy

100.0%

Counts

190 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	92.5%	(-.f64 (log.f64 2) (*.f64 x y))
✓	55.5%	(+.f64 (*.f64 1/2 x) (log.f64 2))
✓	46.8%	(*.f64 y (neg.f64 x))
▶	3.8%	(*.f64 x 1/2)
✓	60.0%	(log1p.f64 (exp.f64 x))
✓	54.7%	(log.f64 2)
▶	92.5%	(-.f64 (log.f64 2) (*.f64 x y))
✓	55.5%	(+.f64 (*.f64 1/2 x) (log.f64 2))
✓	46.8%	(*.f64 y (neg.f64 x))
▶	3.8%	(*.f64 x 1/2)
✓	60.0%	(log1p.f64 (exp.f64 x))
✓	54.7%	(log.f64 2)

Compiler

Compiled 72 to 58 computations (19.4% saved)

localize92.0ms (0.9%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(-.f64 (log.f64 2) (*.f64 x y))

Compiler

Compiled 22 to 13 computations (40.9% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite162.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1908×	`pow1`
1764×	`add-exp-log`
1762×	`log1p-expm1-u`
1762×	`expm1-log1p-u`
198×	`add-sqr-sqrt`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	188	17
2	2439	17

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

Inputs
(-.f64 (log.f64 2) (*.f64 x y))

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

simplify92.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

1398×	`fma-def`
1348×	`fma-neg`
666×	`distribute-lft-neg-in`
506×	`distribute-rgt-neg-in`
482×	`associate-+l+`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	110	1546
1	297	1426
2	1155	1426
3	4946	1306

Stop Event

1×	node limit

Counts

62 → 49

Calls

Call 1

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

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

eval28.0ms (0.3%)

Compiler: Compiled 671 to 402 computations (40.1% saved)

prune18.0ms (0.2%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	0	0
Picked	0	2	2
Done	0	4	4
Total	49	6	55

Accuracy

100.0%

Counts

55 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	92.5%	(-.f64 (log.f64 2) (*.f64 x y))
✓	55.5%	(+.f64 (*.f64 1/2 x) (log.f64 2))
✓	46.8%	(*.f64 y (neg.f64 x))
✓	3.8%	(*.f64 x 1/2)
✓	60.0%	(log1p.f64 (exp.f64 x))
✓	54.7%	(log.f64 2)

Compiler

Compiled 93 to 64 computations (31.2% saved)

regimes45.0ms (0.4%)

Counts

10 → 1

Calls

Call 1

Inputs
(*.f64 x 1/2)
(*.f64 y (neg.f64 x))
(log.f64 2)
(+.f64 (*.f64 1/2 x) (log.f64 2))
(-.f64 (log.f64 2) (*.f64 x y))
(+.f64 (log.f64 2) (*.f64 x (neg.f64 y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(log1p.f64 (exp.f64 x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))

Outputs
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

Calls

3 calls:

15.0ms	x
14.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
11.0ms	y

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))`

Compiler

Compiled 74 to 47 computations (36.5% saved)

regimes534.0ms (5.3%)

Counts

8 → 2

Calls

Call 1

Inputs
(*.f64 x 1/2)
(*.f64 y (neg.f64 x))
(log.f64 2)
(+.f64 (*.f64 1/2 x) (log.f64 2))
(-.f64 (log.f64 2) (*.f64 x y))
(+.f64 (log.f64 2) (*.f64 x (neg.f64 y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(log1p.f64 (exp.f64 x))

Outputs
(*.f64 y (neg.f64 x))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))

Calls

2 calls:

483.0ms	y
47.0ms	x

Results

Accuracy	Segments	Branch
99.6%	2	`x`
92.5%	1	`y`

Compiler

Compiled 47 to 34 computations (27.7% saved)

regimes313.0ms (3.1%)

Counts

6 → 2

Calls

Call 1

Inputs
(*.f64 x 1/2)
(*.f64 y (neg.f64 x))
(log.f64 2)
(+.f64 (*.f64 1/2 x) (log.f64 2))
(-.f64 (log.f64 2) (*.f64 x y))
(+.f64 (log.f64 2) (*.f64 x (neg.f64 y)))

Outputs
(*.f64 y (neg.f64 x))
(-.f64 (log.f64 2) (*.f64 x y))

Calls

1 calls:

308.0ms

Results

Accuracy	Segments	Branch
99.3%	2	`x`

Compiler

Compiled 33 to 24 computations (27.3% saved)

regimes134.0ms (1.3%)

Counts

4 → 3

Calls

Call 1

Inputs
(*.f64 x 1/2)
(*.f64 y (neg.f64 x))
(log.f64 2)
(+.f64 (*.f64 1/2 x) (log.f64 2))

Outputs
(*.f64 y (neg.f64 x))
(+.f64 (*.f64 1/2 x) (log.f64 2))
(*.f64 y (neg.f64 x))

Calls

2 calls:

82.0ms	x
48.0ms	y

Results

Accuracy	Segments	Branch
74.5%	3	`y`
86.1%	3	`x`

Compiler

Compiled 23 to 17 computations (26.1% saved)

regimes101.0ms (1%)

Counts

3 → 3

Calls

Call 1

Inputs
(*.f64 x 1/2)
(*.f64 y (neg.f64 x))
(log.f64 2)

Outputs
(*.f64 y (neg.f64 x))
(log.f64 2)
(*.f64 y (neg.f64 x))

Calls

1 calls:

97.0ms

Results

Accuracy	Segments	Branch
85.9%	3	`x`

Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes32.0ms (0.3%)

Counts

2 → 1

Calls

Call 1

Inputs
(*.f64 x 1/2)
(*.f64 y (neg.f64 x))

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

Calls

2 calls:

14.0ms	x
14.0ms	y

Results

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

Compiler

Compiled 15 to 10 computations (33.3% saved)

regimes83.0ms (0.8%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 x 1/2)

Outputs
(*.f64 x 1/2)

Calls

2 calls:

13.0ms	x
13.0ms	y

Results

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

bsearch73.0ms (0.7%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
73.0ms	-32304.413209637434	-0.39373708585889616

Results

67.0ms

144×

body

256

valid

Compiler

Compiled 178 to 138 computations (22.5% saved)

bsearch72.0ms (0.7%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
71.0ms	-32304.413209637434	-0.39373708585889616

Results

44.0ms	121×	body	256	valid
11.0ms	16×	body	512	valid
7.0ms	6×	body	1024	valid
2.0ms	1×	body	2048	valid

Compiler

Compiled 160 to 120 computations (25% saved)

bsearch49.0ms (0.5%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
21.0ms	6.506135612028583e-47	4.177501609152869e-43
28.0ms	-32304.413209637434	-0.39373708585889616

Results

44.0ms

272×

body

256

valid

Compiler

Compiled 288 to 233 computations (19.1% saved)

bsearch82.0ms (0.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
63.0ms	6.506135612028583e-47	4.177501609152869e-43
19.0ms	-32304.413209637434	-0.39373708585889616

Results

77.0ms

272×

body

256

valid

Compiler

Compiled 220 to 182 computations (17.3% saved)

simplify34.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

16×	`+-commutative`
14×	`*-commutative`
12×	`sub-neg`
8×	`cancel-sign-sub-inv`
6×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	213
1	67	213
2	80	213
3	85	213
4	87	213

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(if (<=.f64 x -3152519739159347/2251799813685248) (.f64 y (neg.f64 x)) (+.f64 (log.f64 2) (.f64 x (-.f64 1/2 y))))
(if (<=.f64 x -122) (.f64 y (neg.f64 x)) (-.f64 (log.f64 2) (.f64 x y)))
(if (<=.f64 x -3602879701896397/9007199254740992) (.f64 y (neg.f64 x)) (if (<=.f64 x 3515176971816541/25108406941546723055343157692830665664409421777856138051584) (+.f64 (.f64 1/2 x) (log.f64 2)) (*.f64 y (neg.f64 x))))
(if (<=.f64 x -3602879701896397/9007199254740992) (.f64 y (neg.f64 x)) (if (<=.f64 x 728143801304855/6277101735386680763835789423207666416102355444464034512896) (log.f64 2) (.f64 y (neg.f64 x))))
(*.f64 y (neg.f64 x))
(*.f64 x 1/2)

Outputs
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(if (<=.f64 x -3152519739159347/2251799813685248) (.f64 y (neg.f64 x)) (+.f64 (log.f64 2) (.f64 x (-.f64 1/2 y))))
(if (<=.f64 x -3152519739159347/2251799813685248) (.f64 x (neg.f64 y)) (+.f64 (log.f64 2) (.f64 x (-.f64 1/2 y))))
(if (<=.f64 x -122) (.f64 y (neg.f64 x)) (-.f64 (log.f64 2) (.f64 x y)))
(if (<=.f64 x -122) (.f64 x (neg.f64 y)) (-.f64 (log.f64 2) (.f64 x y)))
(if (<=.f64 x -3602879701896397/9007199254740992) (.f64 y (neg.f64 x)) (if (<=.f64 x 3515176971816541/25108406941546723055343157692830665664409421777856138051584) (+.f64 (.f64 1/2 x) (log.f64 2)) (*.f64 y (neg.f64 x))))
(if (or (<=.f64 x -3602879701896397/9007199254740992) (not (<=.f64 x 3515176971816541/25108406941546723055343157692830665664409421777856138051584))) (.f64 y (neg.f64 x)) (+.f64 (log.f64 2) (.f64 x 1/2)))
(if (or (<=.f64 x -3602879701896397/9007199254740992) (not (<=.f64 x 3515176971816541/25108406941546723055343157692830665664409421777856138051584))) (.f64 x (neg.f64 y)) (+.f64 (log.f64 2) (.f64 x 1/2)))
(if (<=.f64 x -3602879701896397/9007199254740992) (.f64 y (neg.f64 x)) (if (<=.f64 x 728143801304855/6277101735386680763835789423207666416102355444464034512896) (log.f64 2) (.f64 y (neg.f64 x))))
(if (or (<=.f64 x -3602879701896397/9007199254740992) (not (<=.f64 x 728143801304855/6277101735386680763835789423207666416102355444464034512896))) (*.f64 y (neg.f64 x)) (log.f64 2))
(if (or (<=.f64 x -3602879701896397/9007199254740992) (not (<=.f64 x 728143801304855/6277101735386680763835789423207666416102355444464034512896))) (*.f64 x (neg.f64 y)) (log.f64 2))
(*.f64 y (neg.f64 x))
(*.f64 x (neg.f64 y))
(*.f64 x 1/2)

Compiler

Compiled 92 to 67 computations (27.2% saved)

soundness1.0s (10.3%)

Rules

1796×	`fma-neg`
1796×	`fma-neg`
1554×	`fma-def`
1554×	`fma-def`
1536×	`times-frac`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	25	113
1	61	109
2	94	101
3	211	101
4	365	101
5	607	101
6	1137	101
7	2603	101
8	5620	101
9	7751	101
0	214	2803
1	488	2743
2	1535	2709
3	6784	2709
0	311	4974
1	709	4508
2	1940	4206
0	127	1882
1	338	1758
2	1247	1750
3	5230	1610
0	214	2803
1	488	2743
2	1535	2709
3	6784	2709
0	311	4974
1	709	4508
2	1940	4206

Stop Event

1×	node limit
1×	node limit
1×	node limit
1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 107 to 71 computations (33.6% saved)

end0.0ms (0%)

preprocess199.0ms (2%)

Compiler: Compiled 238 to 148 computations (37.8% saved)

analyze1.0ms (0%)

sample5.1s (50.2%)

preprocess332.0ms (3.3%)

eval1.0ms (0%)

prune3.0ms (0%)

localize70.0ms (0.7%)

series12.0ms (0.1%)

rewrite68.0ms (0.7%)

simplify100.0ms (1%)

eval34.0ms (0.3%)

prune18.0ms (0.2%)

localize295.0ms (2.9%)

series20.0ms (0.2%)

rewrite182.0ms (1.8%)

simplify143.0ms (1.4%)

eval77.0ms (0.8%)

prune34.0ms (0.3%)

localize172.0ms (1.7%)

series11.0ms (0.1%)

rewrite124.0ms (1.2%)

simplify80.0ms (0.8%)

eval57.0ms (0.6%)

prune29.0ms (0.3%)

localize92.0ms (0.9%)

series2.0ms (0%)

rewrite162.0ms (1.6%)

simplify92.0ms (0.9%)

eval28.0ms (0.3%)

prune18.0ms (0.2%)

regimes45.0ms (0.4%)

regimes534.0ms (5.3%)

regimes313.0ms (3.1%)

regimes134.0ms (1.3%)

regimes101.0ms (1%)

regimes32.0ms (0.3%)

regimes83.0ms (0.8%)

bsearch73.0ms (0.7%)

bsearch72.0ms (0.7%)

bsearch49.0ms (0.5%)

bsearch82.0ms (0.8%)

simplify34.0ms (0.3%)

soundness1.0s (10.3%)

end0.0ms (0%)

preprocess199.0ms (2%)

Profiling