Metrics for FastMath dist

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

ival-add: 0.0ms (0% of total)

ival-mult: 0.0ms (0% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

sample643.0ms (36.4%)

Results

421.0ms

8256×

valid

Precisions

Click to see histograms. Total time spent on operations: 195.0ms

ival-mult: 144.0ms (73.8% of total)

ival-add: 41.0ms (21% of total)

const: 7.0ms (3.6% of total)

backward-pass: 3.0ms (1.5% of total)

Bogosity

preprocess82.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

329×	`fma-define`
268×	`fma-neg`
79×	`unsub-neg`
69×	`associate-l`
60×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	262
1	92	250
2	224	246
3	543	246
4	1018	246
5	1573	246
6	1676	246
7	1678	246

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))
(+.f64 (.f64 d1 (neg.f64 d2)) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 (neg.f64 d3)))
(neg.f64 (+.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3)))
(neg.f64 (+.f64 (.f64 d1 (neg.f64 d2)) (.f64 d1 d3)))
(neg.f64 (+.f64 (.f64 d1 d2) (.f64 d1 (neg.f64 d3))))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))
(*.f64 (neg.f64 d1) (+.f64 d2 d3))
(*.f64 d1 (-.f64 (neg.f64 d2) d3))
(+.f64 (.f64 d1 (neg.f64 d2)) (.f64 d1 d3))
(*.f64 d1 (+.f64 (neg.f64 d2) d3))
(*.f64 d1 (fma.f64 #s(literal -1 binary64) d2 d3))
(*.f64 d1 (-.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 (neg.f64 d3)))
(*.f64 d1 (+.f64 d2 (neg.f64 d3)))
(*.f64 d1 (-.f64 d2 d3))
(neg.f64 (+.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3)))
(*.f64 d1 (+.f64 d2 d3))
(neg.f64 (+.f64 (.f64 d1 (neg.f64 d2)) (.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (neg.f64 d3)))
(*.f64 d1 (-.f64 d2 d3))
(neg.f64 (+.f64 (.f64 d1 d2) (.f64 d1 (neg.f64 d3))))
(*.f64 d1 (+.f64 (neg.f64 d2) d3))
(*.f64 d1 (fma.f64 #s(literal -1 binary64) d2 d3))
(*.f64 d1 (-.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(*.f64 d2 (+.f64 d1 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(*.f64 d3 (+.f64 d2 d1))
(*.f64 d3 (+.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))

Symmetry

(negabs d1)

(sort d2 d3)

explain56.0ms (3.2%)

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
5	-	-	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`
0	-	-	`(*.f64 d1 d3)`
0	-	-	`(*.f64 d1 d2)`
0	-	-	`d3`
0	-	-	`d1`
0	-	-	`d2`

Results

35.0ms

512×

valid

Compiler

Compiled 50 to 20 computations (60% saved)

Precisions

Click to see histograms. Total time spent on operations: 13.0ms

ival-mult: 9.0ms (71.7% of total)

ival-add: 3.0ms (23.9% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

eval0.0ms (0%)

Compiler: Compiled 8 to 5 computations (37.5% saved)

prune1.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.0%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	100.0%	(*.f64 d1 (+.f64 d2 d3))

Compiler

Compiled 18 to 11 computations (38.9% saved)

localize33.0ms (1.9%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	98.1%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))

Results

24.0ms

256×

valid

Compiler

Compiled 31 to 9 computations (71% saved)

Precisions

Click to see histograms. Total time spent on operations: 10.0ms

ival-mult: 7.0ms (69.8% of total)

ival-add: 3.0ms (29.9% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series11.0ms (0.6%)

Counts

2 → 54

Calls

Call 1

Inputs
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>

Outputs
#<alt (*.f64 d1 d3)>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (*.f64 d1 d2)>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (*.f64 d1 d3)>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (*.f64 d1 d3)>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (*.f64 d1 (+.f64 d2 d3))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))>
#<alt (*.f64 d1 d3)>
#<alt (*.f64 d1 d2)>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (*.f64 d1 d2)>
#<alt (*.f64 d1 d3)>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>
#<alt (*.f64 d1 d3)>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>

Calls

18 calls:

Time	Variable		Point	Expression
2.0ms	d1	@	0	(* d1 (+ d2 d3))
1.0ms	d1	@	inf	(+ (* d1 d2) (* d1 d3))
1.0ms	d1	@	0	(+ (* d1 d2) (* d1 d3))
1.0ms	d2	@	-inf	(* d1 (+ d2 d3))
1.0ms	d1	@	-inf	(+ (* d1 d2) (* d1 d3))

rewrite227.0ms (12.9%)

Algorithm

1×	batch-egg-rewrite

Rules

909×	`log1p-expm1-u`
909×	`expm1-log1p-u`
466×	`fma-define`
455×	`log-prod`
213×	`fma-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	44
1	191	44
2	2482	44

Stop Event

1×	node limit

Counts

2 → 150

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)) (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (*.f64 d1 d3) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(/.f64 (*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) d1) (-.f64 d2 d3))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d2)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64))))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 1 binary64)))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64))) (cbrt.f64 d2) (.f64 d1 d3))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 d3))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (.f64 d1 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 d1 d2))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 d1 (+.f64 d2 d3)))
(.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (+.f64 d2 d3)) d1))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) (+.f64 d2 d3)))
(.f64 (sqrt.f64 (+.f64 d2 d3)) (.f64 (sqrt.f64 (+.f64 d2 d3)) d1))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 d3)))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) #s(literal 2 binary64)))))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (.f64 d1 (-.f64 d2 d3))))
(.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) #s(literal 2 binary64))) (cbrt.f64 (+.f64 d2 d3)))
(.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (+.f64 d2 d3)))
(.f64 (.f64 (+.f64 d2 d3) (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1))
(.f64 (.f64 (+.f64 d2 d3) (sqrt.f64 d1)) (sqrt.f64 d1))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (*.f64 d1 d3) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(/.f64 (*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) d1) (-.f64 d2 d3))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d2)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64))))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 1 binary64)))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64))) (cbrt.f64 d2) (.f64 d1 d3))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 d3))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (.f64 d1 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 d1 d2))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))

simplify159.0ms (9%)

Algorithm

1×	egg-herbie

Rules

669×	`times-frac`
649×	`fma-define`
431×	`div-sub`
325×	`associate-/l*`
281×	`distribute-lft-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	242	6592
1	588	6415
2	1535	6415
3	6801	6415

Stop Event

1×	node limit

Counts

204 → 108

Calls

Call 1

Inputs
(*.f64 d1 d3)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 d2)
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(*.f64 d1 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d3)
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 d3)
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(*.f64 d1 d3)
(*.f64 d1 d2)
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 d2)
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(*.f64 d1 d2)
(*.f64 d1 d3)
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 d3)
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)) (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (*.f64 d1 d3) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(/.f64 (*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) d1) (-.f64 d2 d3))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d2)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64))))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 1 binary64)))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64))) (cbrt.f64 d2) (.f64 d1 d3))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 d3))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (.f64 d1 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 d1 d2))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 d1 (+.f64 d2 d3)))
(.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (+.f64 d2 d3)) d1))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) (+.f64 d2 d3)))
(.f64 (sqrt.f64 (+.f64 d2 d3)) (.f64 (sqrt.f64 (+.f64 d2 d3)) d1))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 d3)))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) #s(literal 2 binary64)))))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (.f64 d1 (-.f64 d2 d3))))
(.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) #s(literal 2 binary64))) (cbrt.f64 (+.f64 d2 d3)))
(.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (+.f64 d2 d3)))
(.f64 (.f64 (+.f64 d2 d3) (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1))
(.f64 (.f64 (+.f64 d2 d3) (sqrt.f64 d1)) (sqrt.f64 d1))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (*.f64 d1 d3) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(/.f64 (*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) d1) (-.f64 d2 d3))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d3)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2)))))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d2)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64))))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 1 binary64)))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64))) (cbrt.f64 d2) (.f64 d1 d3))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 d3))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (.f64 d1 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 d1 d2))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))

Outputs
(*.f64 d1 d3)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d2)
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(*.f64 d1 d2)
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(*.f64 d1 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(*.f64 d1 d3)
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 (.f64 #s(literal -1 binary64) d2) (.f64 #s(literal -1 binary64) d3))))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(*.f64 d1 d2)
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(*.f64 d1 d2)
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(*.f64 d1 d2)
(*.f64 d1 d3)
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(*.f64 d1 d3)
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 d3 (+.f64 d1 (.f64 d1 (/.f64 d2 d3))))
(*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)) (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d3 d2)) d1)) (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d3 d2)) d1)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 d3 d2)) d1))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d3 d2)) d1))))
(*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 d3 d2)) d1))) #s(literal 2 binary64))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d3 d2))
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (*.f64 d1 d3) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (/.f64 d1 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(*.f64 d1 (/.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) (-.f64 d2 d3)))
(/.f64 (*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (/.f64 d1 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))
(/.f64 (*.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) d1) (-.f64 d2 d3))
(*.f64 d1 (/.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) (-.f64 d2 d3)))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 3 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64))
(*.f64 d1 (+.f64 d3 d2))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d2)))))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64))))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64))))
(*.f64 d1 (+.f64 d3 d2))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 1 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d1 d2 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d1 d3 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d3 d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64))) (cbrt.f64 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3)))) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d3 d2))
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))) (/.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d3 d2))
(.f64 #s(literal 1 binary64) (.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (+.f64 d2 d3)) d1))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (sqrt.f64 (+.f64 d2 d3)) (.f64 (sqrt.f64 (+.f64 d2 d3)) d1))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) #s(literal 2 binary64)))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) #s(literal 2 binary64))) (cbrt.f64 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 (+.f64 d2 d3) (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1))
(*.f64 d1 (+.f64 d3 d2))
(.f64 (.f64 (+.f64 d2 d3) (sqrt.f64 d1)) (sqrt.f64 d1))
(*.f64 d1 (+.f64 d3 d2))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (*.f64 d1 d3) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (.f64 d1 (.f64 d2 (*.f64 d1 d3))))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (pow.f64 d1 #s(literal 3 binary64))) (fma.f64 d1 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)))) (neg.f64 (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d3) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 2 binary64))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) #s(literal 2 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 2 binary64))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 d1 d1) (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (*.f64 d1 (-.f64 d2 d3)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64)))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (/.f64 d1 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(*.f64 d1 (/.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) (-.f64 d2 d3)))
(/.f64 (*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(*.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (/.f64 d1 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))
(/.f64 (*.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) d1) (-.f64 d2 d3))
(*.f64 d1 (/.f64 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64))) (-.f64 d2 d3)))
(/.f64 (*.f64 d1 (-.f64 (pow.f64 d2 #s(literal 2 binary64)) (pow.f64 d3 #s(literal 2 binary64)))) (-.f64 d2 d3))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 3 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))) #s(literal 2 binary64))
(*.f64 d1 (+.f64 d3 d2))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 2 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 d3)) d1))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) d2) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d3) d1)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d3)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (pow.f64 (exp.f64 d3) d1) (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d2)))))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (pow.f64 (exp.f64 d1) d2)))
(*.f64 d1 (+.f64 d3 d2))
(log.f64 (.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (.f64 d1 d3))) (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 d2)))))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64))))
(*.f64 d1 (+.f64 d3 d2))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 d3) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64))))
(*.f64 d1 (+.f64 d3 d2))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))) #s(literal 1 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d1 d2 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d1 d3 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 d3 d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d3)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) #s(literal 2 binary64))) (cbrt.f64 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))

eval16.0ms (0.9%)

Compiler: Compiled 1354 to 489 computations (63.9% saved)

prune17.0ms (1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	105	3	108
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	105	5	110

Accuracy

100.0%

Counts

110 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.0%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	92.6%	(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	53.9%	(*.f64 d1 d3)
▶	55.8%	(*.f64 d1 d2)

Compiler

Compiled 42 to 26 computations (38.1% saved)

localize37.0ms (2.1%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	92.9%	(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
✓	92.2%	(/.f64 (*.f64 d1 d2) d3)

Results

27.0ms

256×

valid

Compiler

Compiled 41 to 9 computations (78% saved)

Precisions

Click to see histograms. Total time spent on operations: 10.0ms

ival-mult: 6.0ms (63.1% of total)

ival-div: 2.0ms (21% of total)

ival-add: 1.0ms (10.5% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series11.0ms (0.6%)

Counts

2 → 33

Calls

Call 1

Inputs
#<alt (/.f64 (*.f64 d1 d2) d3)>
#<alt (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))>

Outputs
#<alt (*.f64 d1 d2)>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (*.f64 d1 d3)>
#<alt (*.f64 d1 d3)>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))>
#<alt (.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))>
#<alt (.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))>
#<alt (.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))>
#<alt (.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))>
#<alt (.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))>
#<alt (.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))>
#<alt (.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))>
#<alt (.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d1 (.f64 d3 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d1 (.f64 d3 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d1 (.f64 d3 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d1 (.f64 d3 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))>
#<alt (*.f64 d1 d3)>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (+.f64 (.f64 d1 d2) (.f64 d1 d3))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))>

Calls

18 calls:

Time	Variable		Point	Expression
2.0ms	d3	@	-inf	(/ (* d1 d2) d3)
1.0ms	d1	@	inf	(* d3 (+ d1 (/ (* d1 d2) d3)))
1.0ms	d2	@	0	(/ (* d1 d2) d3)
1.0ms	d3	@	inf	(/ (* d1 d2) d3)
0.0ms	d3	@	-inf	(* d3 (+ d1 (/ (* d1 d2) d3)))

rewrite109.0ms (6.2%)

Algorithm

1×	batch-egg-rewrite

Rules

972×	`log1p-expm1-u`
972×	`expm1-log1p-u`
518×	`log-prod`
298×	`fma-define`
154×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	62
1	170	58
2	2639	58

Stop Event

1×	node limit

Counts

2 → 113

Calls

Call 1

Inputs
(/.f64 (*.f64 d1 d2) d3)
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))

Outputs
(+.f64 #s(literal 0 binary64) (*.f64 d1 (/.f64 d2 d3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3))) (cbrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (/.f64 d2 d3)))) #s(literal 1 binary64))
(*.f64 d1 (/.f64 d2 d3))
(*.f64 d2 (/.f64 d1 d3))
(.f64 d2 (.f64 d1 (/.f64 #s(literal 1 binary64) d3)))
(.f64 (.f64 d1 d2) (/.f64 #s(literal 1 binary64) d3))
(.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 d1 (/.f64 d2 d3)))
(.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (*.f64 d1 d2)) d3))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3)))
(.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) (/.f64 d2 d3)))
(.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (/.f64 d2 d3))))
(.f64 (sqrt.f64 (.f64 d1 d2)) (/.f64 (sqrt.f64 (*.f64 d1 d2)) d3))
(.f64 (sqrt.f64 (.f64 d1 d2)) (.f64 (sqrt.f64 (.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3)))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (/.f64 d2 d3)))
(.f64 (.f64 d1 (neg.f64 d2)) (/.f64 #s(literal 1 binary64) (neg.f64 d3)))
(.f64 (/.f64 #s(literal 1 binary64) d3) (.f64 d1 d2))
(*.f64 (/.f64 d2 d3) d1)
(.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (/.f64 (.f64 d1 d2) (cbrt.f64 d3)))
(.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 d3)) (/.f64 (.f64 d1 d2) (sqrt.f64 d3)))
(*.f64 (/.f64 d2 (sqrt.f64 d3)) (/.f64 d1 (sqrt.f64 d3)))
(*.f64 (/.f64 d1 #s(literal 1 binary64)) (/.f64 d2 d3))
(*.f64 (/.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (/.f64 d2 (cbrt.f64 d3)))
(*.f64 (/.f64 d1 (sqrt.f64 d3)) (/.f64 d2 (sqrt.f64 d3)))
(*.f64 (/.f64 d2 #s(literal 1 binary64)) (/.f64 d1 d3))
(*.f64 (/.f64 d2 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (/.f64 d1 (cbrt.f64 d3)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) #s(literal 1 binary64)) (/.f64 (cbrt.f64 (*.f64 d1 d2)) d3))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (sqrt.f64 d3)) (/.f64 (cbrt.f64 (*.f64 d1 d2)) (sqrt.f64 d3)))
(.f64 (/.f64 (sqrt.f64 (.f64 d1 d2)) #s(literal 1 binary64)) (/.f64 (sqrt.f64 (*.f64 d1 d2)) d3))
(.f64 (/.f64 (sqrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (/.f64 (sqrt.f64 (*.f64 d1 d2)) (cbrt.f64 d3)))
(pow.f64 (*.f64 d1 (/.f64 d2 d3)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64))
(pow.f64 (/.f64 (/.f64 d3 d2) d1) #s(literal -1 binary64))
(neg.f64 (/.f64 (*.f64 d1 d2) (neg.f64 d3)))
(neg.f64 (/.f64 (*.f64 d1 (neg.f64 d2)) d3))
(sqrt.f64 (pow.f64 (*.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (/.f64 d2 d3)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 d1 (/.f64 d2 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (/.f64 d2 d3))))
(exp.f64 (log.f64 (*.f64 d1 (/.f64 d2 d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (/.f64 d2 d3))) #s(literal 1 binary64)))
(+.f64 (.f64 d1 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(+.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) (*.f64 d1 d3))
(+.f64 #s(literal 0 binary64) (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)))
(+.f64 (.f64 (.f64 d1 d3) #s(literal 1 binary64)) (.f64 (.f64 (*.f64 d1 d3) (/.f64 d2 d3)) #s(literal 1 binary64)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3)) (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)))) #s(literal 1 binary64))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (.f64 d1 d3) (-.f64 (.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (.f64 (.f64 d1 d3) (.f64 (.f64 d1 d3) (/.f64 d2 d3))))))
(/.f64 (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))) (-.f64 (.f64 d1 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3))))
(/.f64 (.f64 d3 (+.f64 (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 (/.f64 d2 d3)) (-.f64 (.f64 d1 (/.f64 d2 d3)) d1) (pow.f64 d1 #s(literal 2 binary64))))
(/.f64 (.f64 d3 (-.f64 (pow.f64 d1 #s(literal 2 binary64)) (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64)))) (-.f64 d1 (*.f64 d1 (/.f64 d2 d3))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64))) d3) (fma.f64 (.f64 d1 (/.f64 d2 d3)) (-.f64 (.f64 d1 (/.f64 d2 d3)) d1) (pow.f64 d1 #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 d1 #s(literal 2 binary64)) (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64))) d3) (-.f64 d1 (*.f64 d1 (/.f64 d2 d3))))
(pow.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)))))
(log.f64 (.f64 (exp.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (exp.f64 (.f64 d1 d3))))
(cbrt.f64 (pow.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)) #s(literal 3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 (fma.f64 d1 (/.f64 d2 d3) d1) #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 d1 (/.f64 d2 d3) d1) #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))))
(expm1.f64 (log1p.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))))
(log1p.f64 (expm1.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))))
(exp.f64 (log.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))))
(exp.f64 (.f64 (log.f64 (.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))) #s(literal 1 binary64)))
(fma.f64 d1 d3 (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 d1 (.f64 (/.f64 d2 d3) d3) (.f64 d1 d3))
(fma.f64 (.f64 d1 d2) (.f64 (/.f64 #s(literal 1 binary64) d3) d3) (*.f64 d1 d3))
(fma.f64 d3 d1 (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 d3 (.f64 d1 (/.f64 d2 d3)) (.f64 d1 d3))
(fma.f64 (.f64 d1 (/.f64 d2 d3)) d3 (.f64 d1 d3))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 #s(literal 1 binary64) (.f64 (.f64 d1 d3) (/.f64 d2 d3)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64)) (.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) d3) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) d1) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) (.f64 d1 (/.f64 d2 d3))) (*.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) d3) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) (.f64 d1 (/.f64 d2 d3))) (*.f64 d1 d3))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) #s(literal 1 binary64)))
(fma.f64 (.f64 d1 d3) (/.f64 d2 d3) (.f64 d1 d3))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d3))) (cbrt.f64 (.f64 d1 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (cbrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)))) (cbrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (sqrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (sqrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (sqrt.f64 d3)) (.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (sqrt.f64 d3)) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 (.f64 d1 (/.f64 d2 d3)))) (.f64 (sqrt.f64 d3) (sqrt.f64 (.f64 d1 (/.f64 d2 d3)))) (*.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 (.f64 d1 (/.f64 d2 d3)) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (*.f64 d1 d3))
(fma.f64 (.f64 (.f64 d1 (/.f64 d2 d3)) (sqrt.f64 d3)) (sqrt.f64 d3) (*.f64 d1 d3))
(fma.f64 (.f64 d3 (.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3) (*.f64 d1 d3))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64))) (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) (.f64 d1 d3))
(fma.f64 (.f64 d3 (sqrt.f64 (.f64 d1 (/.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (.f64 d1 d3))

simplify124.0ms (7%)

Algorithm

1×	egg-herbie

Rules

521×	`cube-prod`
500×	`exp-prod`
347×	`distribute-lft-in`
313×	`cancel-sign-sub-inv`
289×	`distribute-rgt-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	299	4082
1	730	3936
2	2374	3907
3	6714	3907

Stop Event

1×	node limit

Counts

146 → 142

Calls

Call 1

Inputs
(*.f64 d1 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d3)
(*.f64 d1 d3)
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(.f64 #s(literal -1 binary64) (.f64 d1 (.f64 d3 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))
(.f64 #s(literal -1 binary64) (.f64 d1 (.f64 d3 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))
(.f64 #s(literal -1 binary64) (.f64 d1 (.f64 d3 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))
(.f64 #s(literal -1 binary64) (.f64 d1 (.f64 d3 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))
(*.f64 d1 d3)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 d2)
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (/.f64 d2 d3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3))) (cbrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (/.f64 d2 d3)))) #s(literal 1 binary64))
(*.f64 d1 (/.f64 d2 d3))
(*.f64 d2 (/.f64 d1 d3))
(.f64 d2 (.f64 d1 (/.f64 #s(literal 1 binary64) d3)))
(.f64 (.f64 d1 d2) (/.f64 #s(literal 1 binary64) d3))
(.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 d1 (/.f64 d2 d3)))
(.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (*.f64 d1 d2)) d3))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3)))
(.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) (/.f64 d2 d3)))
(.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (/.f64 d2 d3))))
(.f64 (sqrt.f64 (.f64 d1 d2)) (/.f64 (sqrt.f64 (*.f64 d1 d2)) d3))
(.f64 (sqrt.f64 (.f64 d1 d2)) (.f64 (sqrt.f64 (.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3)))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (/.f64 d2 d3)))
(.f64 (.f64 d1 (neg.f64 d2)) (/.f64 #s(literal 1 binary64) (neg.f64 d3)))
(.f64 (/.f64 #s(literal 1 binary64) d3) (.f64 d1 d2))
(*.f64 (/.f64 d2 d3) d1)
(.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (/.f64 (.f64 d1 d2) (cbrt.f64 d3)))
(.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 d3)) (/.f64 (.f64 d1 d2) (sqrt.f64 d3)))
(*.f64 (/.f64 d2 (sqrt.f64 d3)) (/.f64 d1 (sqrt.f64 d3)))
(*.f64 (/.f64 d1 #s(literal 1 binary64)) (/.f64 d2 d3))
(*.f64 (/.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (/.f64 d2 (cbrt.f64 d3)))
(*.f64 (/.f64 d1 (sqrt.f64 d3)) (/.f64 d2 (sqrt.f64 d3)))
(*.f64 (/.f64 d2 #s(literal 1 binary64)) (/.f64 d1 d3))
(*.f64 (/.f64 d2 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (/.f64 d1 (cbrt.f64 d3)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) #s(literal 1 binary64)) (/.f64 (cbrt.f64 (*.f64 d1 d2)) d3))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (sqrt.f64 d3)) (/.f64 (cbrt.f64 (*.f64 d1 d2)) (sqrt.f64 d3)))
(.f64 (/.f64 (sqrt.f64 (.f64 d1 d2)) #s(literal 1 binary64)) (/.f64 (sqrt.f64 (*.f64 d1 d2)) d3))
(.f64 (/.f64 (sqrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (/.f64 (sqrt.f64 (*.f64 d1 d2)) (cbrt.f64 d3)))
(pow.f64 (*.f64 d1 (/.f64 d2 d3)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64))
(pow.f64 (/.f64 (/.f64 d3 d2) d1) #s(literal -1 binary64))
(neg.f64 (/.f64 (*.f64 d1 d2) (neg.f64 d3)))
(neg.f64 (/.f64 (*.f64 d1 (neg.f64 d2)) d3))
(sqrt.f64 (pow.f64 (*.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (/.f64 d2 d3)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 d1 (/.f64 d2 d3))))
(log1p.f64 (expm1.f64 (*.f64 d1 (/.f64 d2 d3))))
(exp.f64 (log.f64 (*.f64 d1 (/.f64 d2 d3))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (/.f64 d2 d3))) #s(literal 1 binary64)))
(+.f64 (.f64 d1 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(+.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) (*.f64 d1 d3))
(+.f64 #s(literal 0 binary64) (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)))
(+.f64 (.f64 (.f64 d1 d3) #s(literal 1 binary64)) (.f64 (.f64 (*.f64 d1 d3) (/.f64 d2 d3)) #s(literal 1 binary64)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3)) (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)))) #s(literal 1 binary64))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (.f64 d1 d3) (-.f64 (.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (.f64 (.f64 d1 d3) (.f64 (.f64 d1 d3) (/.f64 d2 d3))))))
(/.f64 (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))) (-.f64 (.f64 d1 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3))))
(/.f64 (.f64 d3 (+.f64 (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 (/.f64 d2 d3)) (-.f64 (.f64 d1 (/.f64 d2 d3)) d1) (pow.f64 d1 #s(literal 2 binary64))))
(/.f64 (.f64 d3 (-.f64 (pow.f64 d1 #s(literal 2 binary64)) (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64)))) (-.f64 d1 (*.f64 d1 (/.f64 d2 d3))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64))) d3) (fma.f64 (.f64 d1 (/.f64 d2 d3)) (-.f64 (.f64 d1 (/.f64 d2 d3)) d1) (pow.f64 d1 #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 d1 #s(literal 2 binary64)) (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64))) d3) (-.f64 d1 (*.f64 d1 (/.f64 d2 d3))))
(pow.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)))))
(log.f64 (.f64 (exp.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (exp.f64 (.f64 d1 d3))))
(cbrt.f64 (pow.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)) #s(literal 3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 (fma.f64 d1 (/.f64 d2 d3) d1) #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 d1 (/.f64 d2 d3) d1) #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))))
(expm1.f64 (log1p.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))))
(log1p.f64 (expm1.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))))
(exp.f64 (log.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))))
(exp.f64 (.f64 (log.f64 (.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))) #s(literal 1 binary64)))
(fma.f64 d1 d3 (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 d1 (.f64 (/.f64 d2 d3) d3) (.f64 d1 d3))
(fma.f64 (.f64 d1 d2) (.f64 (/.f64 #s(literal 1 binary64) d3) d3) (*.f64 d1 d3))
(fma.f64 d3 d1 (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 d3 (.f64 d1 (/.f64 d2 d3)) (.f64 d1 d3))
(fma.f64 (.f64 d1 (/.f64 d2 d3)) d3 (.f64 d1 d3))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 #s(literal 1 binary64) (.f64 (.f64 d1 d3) (/.f64 d2 d3)) (*.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64)) (.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) d3) (.f64 d1 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) d1) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) (.f64 d1 (/.f64 d2 d3))) (*.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) d3) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) (.f64 d1 (/.f64 d2 d3))) (*.f64 d1 d3))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) #s(literal 1 binary64)))
(fma.f64 (.f64 d1 d3) (/.f64 d2 d3) (.f64 d1 d3))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d3))) (cbrt.f64 (.f64 d1 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (cbrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)))) (cbrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (.f64 d1 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (sqrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (sqrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (sqrt.f64 d3)) (.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (sqrt.f64 d3)) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 (.f64 d1 (/.f64 d2 d3)))) (.f64 (sqrt.f64 d3) (sqrt.f64 (.f64 d1 (/.f64 d2 d3)))) (*.f64 d1 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(fma.f64 (.f64 (.f64 d1 (/.f64 d2 d3)) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (*.f64 d1 d3))
(fma.f64 (.f64 (.f64 d1 (/.f64 d2 d3)) (sqrt.f64 d3)) (sqrt.f64 d3) (*.f64 d1 d3))
(fma.f64 (.f64 d3 (.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3) (*.f64 d1 d3))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64))) (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) (.f64 d1 d3))
(fma.f64 (.f64 d3 (sqrt.f64 (.f64 d1 (/.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (.f64 d1 d3))

Outputs
(*.f64 d1 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(*.f64 d1 d3)
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 d1 (.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 #s(literal -1 binary64) (.f64 d1 (.f64 d3 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 #s(literal -1 binary64) (.f64 d1 (.f64 d3 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 #s(literal -1 binary64) (.f64 d1 (.f64 d3 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 #s(literal -1 binary64) (.f64 d1 (.f64 d3 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d2)
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(*.f64 d1 d2)
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(.f64 #s(literal -1 binary64) (.f64 d2 (+.f64 (.f64 #s(literal -1 binary64) d1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))
(.f64 d2 (+.f64 d1 (.f64 d1 (/.f64 d3 d2))))
(*.f64 d2 (fma.f64 d1 (/.f64 d3 d2) d1))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (/.f64 d2 d3)))
(*.f64 d1 (/.f64 d2 d3))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3))) (cbrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 d2) (/.f64 d1 d3))) (cbrt.f64 (pow.f64 (exp.f64 d2) (/.f64 d1 d3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d2) (/.f64 d1 d3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))))
(*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))) #s(literal 2 binary64))
(*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d2) (/.f64 d1 d3)))) #s(literal 2 binary64))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (/.f64 d2 d3)))) #s(literal 1 binary64))
(*.f64 d1 (/.f64 d2 d3))
(*.f64 d1 (/.f64 d2 d3))
(*.f64 d2 (/.f64 d1 d3))
(*.f64 d1 (/.f64 d2 d3))
(.f64 d2 (.f64 d1 (/.f64 #s(literal 1 binary64) d3)))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (.f64 d1 d2) (/.f64 #s(literal 1 binary64) d3))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 1 binary64))
(*.f64 d1 (/.f64 d2 d3))
(.f64 #s(literal 1 binary64) (.f64 d1 (/.f64 d2 d3)))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) (pow.f64 (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64)))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (*.f64 d1 d2)) d3))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3)))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) (/.f64 d2 d3)))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (/.f64 d2 d3))))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (sqrt.f64 (.f64 d1 d2)) (/.f64 (sqrt.f64 (*.f64 d1 d2)) d3))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (sqrt.f64 (.f64 d1 d2)) (.f64 (sqrt.f64 (.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3)))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (/.f64 d2 d3)))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (.f64 d1 (neg.f64 d2)) (/.f64 #s(literal 1 binary64) (neg.f64 d3)))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (/.f64 #s(literal 1 binary64) d3) (.f64 d1 d2))
(*.f64 d1 (/.f64 d2 d3))
(*.f64 (/.f64 d2 d3) d1)
(*.f64 d1 (/.f64 d2 d3))
(.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (/.f64 (.f64 d1 d2) (cbrt.f64 d3)))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 d3)) (/.f64 (.f64 d1 d2) (sqrt.f64 d3)))
(*.f64 d1 (/.f64 d2 d3))
(*.f64 (/.f64 d2 (sqrt.f64 d3)) (/.f64 d1 (sqrt.f64 d3)))
(*.f64 d1 (/.f64 d2 d3))
(*.f64 (/.f64 d1 #s(literal 1 binary64)) (/.f64 d2 d3))
(*.f64 d1 (/.f64 d2 d3))
(*.f64 (/.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (/.f64 d2 (cbrt.f64 d3)))
(*.f64 d1 (/.f64 d2 d3))
(*.f64 (/.f64 d1 (sqrt.f64 d3)) (/.f64 d2 (sqrt.f64 d3)))
(*.f64 d1 (/.f64 d2 d3))
(*.f64 (/.f64 d2 #s(literal 1 binary64)) (/.f64 d1 d3))
(*.f64 d1 (/.f64 d2 d3))
(*.f64 (/.f64 d2 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (/.f64 d1 (cbrt.f64 d3)))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) #s(literal 1 binary64)) (/.f64 (cbrt.f64 (*.f64 d1 d2)) d3))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))))
(.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) (/.f64 (pow.f64 (cbrt.f64 (*.f64 d1 d2)) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 2 binary64)) (sqrt.f64 d3)) (/.f64 (cbrt.f64 (*.f64 d1 d2)) (sqrt.f64 d3)))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (/.f64 (sqrt.f64 (.f64 d1 d2)) #s(literal 1 binary64)) (/.f64 (sqrt.f64 (*.f64 d1 d2)) d3))
(*.f64 d1 (/.f64 d2 d3))
(.f64 (/.f64 (sqrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (/.f64 (sqrt.f64 (*.f64 d1 d2)) (cbrt.f64 d3)))
(*.f64 d1 (/.f64 d2 d3))
(pow.f64 (*.f64 d1 (/.f64 d2 d3)) #s(literal 1 binary64))
(*.f64 d1 (/.f64 d2 d3))
(pow.f64 (cbrt.f64 (*.f64 d1 (/.f64 d2 d3))) #s(literal 3 binary64))
(*.f64 d1 (/.f64 d2 d3))
(pow.f64 (pow.f64 (*.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(*.f64 d1 (/.f64 d2 d3))
(pow.f64 (sqrt.f64 (*.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64))
(*.f64 d1 (/.f64 d2 d3))
(pow.f64 (/.f64 (/.f64 d3 d2) d1) #s(literal -1 binary64))
(*.f64 d1 (/.f64 d2 d3))
(neg.f64 (/.f64 (*.f64 d1 d2) (neg.f64 d3)))
(*.f64 d1 (/.f64 d2 d3))
(neg.f64 (/.f64 (*.f64 d1 (neg.f64 d2)) d3))
(*.f64 d1 (/.f64 d2 d3))
(sqrt.f64 (pow.f64 (*.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64)))
(*.f64 d1 (/.f64 d2 d3))
(log.f64 (pow.f64 (exp.f64 d1) (/.f64 d2 d3)))
(*.f64 d1 (/.f64 d2 d3))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (/.f64 d2 d3)))))
(*.f64 d1 (/.f64 d2 d3))
(cbrt.f64 (pow.f64 (*.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)))
(*.f64 d1 (/.f64 d2 d3))
(expm1.f64 (log1p.f64 (*.f64 d1 (/.f64 d2 d3))))
(*.f64 d1 (/.f64 d2 d3))
(log1p.f64 (expm1.f64 (*.f64 d1 (/.f64 d2 d3))))
(*.f64 d1 (/.f64 d2 d3))
(exp.f64 (log.f64 (*.f64 d1 (/.f64 d2 d3))))
(*.f64 d1 (/.f64 d2 d3))
(exp.f64 (.f64 (log.f64 (.f64 d1 (/.f64 d2 d3))) #s(literal 1 binary64)))
(*.f64 d1 (/.f64 d2 d3))
(+.f64 (.f64 d1 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 #s(literal 0 binary64) (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 (.f64 d1 d3) #s(literal 1 binary64)) (.f64 (.f64 (*.f64 d1 d3) (/.f64 d2 d3)) #s(literal 1 binary64)))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3)) (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 d1 (+.f64 d2 d3)))) (cbrt.f64 (exp.f64 (.f64 d1 (+.f64 d2 d3)))))) (log.f64 (cbrt.f64 (exp.f64 (.f64 d1 (+.f64 d2 d3))))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))) (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))))
(.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (exp.f64 (.f64 d1 (+.f64 d2 d3))))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 d3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)))) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (.f64 d1 d3) (-.f64 (.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (.f64 (.f64 d1 d3) (.f64 (.f64 d1 d3) (/.f64 d2 d3))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 (.f64 d3 (/.f64 d2 d3))) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d3) (.f64 d1 d3) (.f64 (.f64 d1 (.f64 d3 (/.f64 d2 d3))) (-.f64 (.f64 d1 (.f64 d3 (/.f64 d2 d3))) (*.f64 d1 d3)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d3) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d2) #s(literal 3 binary64))) (fma.f64 (pow.f64 d1 #s(literal 2 binary64)) (.f64 d3 d3) (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 (*.f64 d2 #s(literal 1 binary64)) d3)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64)))) (-.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) #s(literal 6 binary64)) (.f64 (.f64 d3 (pow.f64 d1 #s(literal 2 binary64))) (-.f64 d2 d3))))
(/.f64 (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))) (-.f64 (.f64 d1 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 d3 (+.f64 (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 (/.f64 d2 d3)) (-.f64 (.f64 d1 (/.f64 d2 d3)) d1) (pow.f64 d1 #s(literal 2 binary64))))
(.f64 (+.f64 (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64))) (/.f64 d3 (fma.f64 (.f64 d1 (/.f64 d2 d3)) (.f64 d1 (+.f64 (/.f64 d2 d3) #s(literal -1 binary64))) (pow.f64 d1 #s(literal 2 binary64)))))
(.f64 (.f64 (+.f64 (pow.f64 (/.f64 d2 d3) #s(literal 3 binary64)) #s(literal 1 binary64)) (pow.f64 d1 #s(literal 3 binary64))) (/.f64 d3 (.f64 d1 (+.f64 d1 (.f64 (/.f64 d2 d3) (*.f64 d1 (+.f64 #s(literal -1 binary64) (/.f64 d2 d3))))))))
(/.f64 (.f64 d3 (-.f64 (pow.f64 d1 #s(literal 2 binary64)) (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64)))) (-.f64 d1 (*.f64 d1 (/.f64 d2 d3))))
(.f64 (-.f64 (pow.f64 d1 #s(literal 2 binary64)) (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64))) (/.f64 d3 (-.f64 d1 (*.f64 d1 (/.f64 d2 d3)))))
(.f64 (-.f64 (pow.f64 d1 #s(literal 2 binary64)) (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64))) (/.f64 d3 (*.f64 d1 (-.f64 #s(literal 1 binary64) (/.f64 d2 d3)))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64))) d3) (fma.f64 (.f64 d1 (/.f64 d2 d3)) (-.f64 (.f64 d1 (/.f64 d2 d3)) d1) (pow.f64 d1 #s(literal 2 binary64))))
(/.f64 (.f64 d3 (+.f64 (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64)))) (fma.f64 (.f64 d1 (/.f64 d2 d3)) (-.f64 (.f64 d1 (/.f64 d2 d3)) d1) (pow.f64 d1 #s(literal 2 binary64))))
(.f64 (+.f64 (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 3 binary64))) (/.f64 d3 (fma.f64 (.f64 d1 (/.f64 d2 d3)) (.f64 d1 (+.f64 (/.f64 d2 d3) #s(literal -1 binary64))) (pow.f64 d1 #s(literal 2 binary64)))))
(.f64 (.f64 (+.f64 (pow.f64 (/.f64 d2 d3) #s(literal 3 binary64)) #s(literal 1 binary64)) (pow.f64 d1 #s(literal 3 binary64))) (/.f64 d3 (.f64 d1 (+.f64 d1 (.f64 (/.f64 d2 d3) (*.f64 d1 (+.f64 #s(literal -1 binary64) (/.f64 d2 d3))))))))
(/.f64 (.f64 (-.f64 (pow.f64 d1 #s(literal 2 binary64)) (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64))) d3) (-.f64 d1 (*.f64 d1 (/.f64 d2 d3))))
(.f64 (-.f64 (pow.f64 d1 #s(literal 2 binary64)) (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64))) (/.f64 d3 (-.f64 d1 (*.f64 d1 (/.f64 d2 d3)))))
(.f64 (-.f64 (pow.f64 d1 #s(literal 2 binary64)) (pow.f64 (.f64 d1 (/.f64 d2 d3)) #s(literal 2 binary64))) (/.f64 d3 (*.f64 d1 (-.f64 #s(literal 1 binary64) (/.f64 d2 d3)))))
(pow.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)) #s(literal 1 binary64))
(*.f64 d1 (+.f64 d2 d3))
(pow.f64 (cbrt.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))) #s(literal 3 binary64))
(*.f64 d1 (+.f64 d2 d3))
(pow.f64 (pow.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(*.f64 d1 (+.f64 d2 d3))
(pow.f64 (sqrt.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))) #s(literal 2 binary64))
(*.f64 d1 (+.f64 d2 d3))
(sqrt.f64 (pow.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)) #s(literal 2 binary64)))
(*.f64 d1 (+.f64 d2 d3))
(log.f64 (pow.f64 (exp.f64 (fma.f64 d1 (/.f64 d2 d3) d1)) d3))
(*.f64 d1 (+.f64 d2 d3))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)))))
(*.f64 d1 (+.f64 d2 d3))
(log.f64 (.f64 (exp.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (exp.f64 (.f64 d1 d3))))
(*.f64 d1 (+.f64 d2 d3))
(cbrt.f64 (pow.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1)) #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d2 d3))
(cbrt.f64 (*.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 (fma.f64 d1 (/.f64 d2 d3) d1) #s(literal 3 binary64))))
(*.f64 d1 (+.f64 d2 d3))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 d1 (/.f64 d2 d3) d1) #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))))
(*.f64 d1 (+.f64 d2 d3))
(expm1.f64 (log1p.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))))
(*.f64 d1 (+.f64 d2 d3))
(log1p.f64 (expm1.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))))
(*.f64 d1 (+.f64 d2 d3))
(exp.f64 (log.f64 (*.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))))
(*.f64 d1 (+.f64 d2 d3))
(exp.f64 (.f64 (log.f64 (.f64 d3 (fma.f64 d1 (/.f64 d2 d3) d1))) #s(literal 1 binary64)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 d1 d3 (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 d1 (.f64 (/.f64 d2 d3) d3) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d1 d2) (.f64 (/.f64 #s(literal 1 binary64) d3) d3) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 d3 d1 (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 d3 (.f64 d1 (/.f64 d2 d3)) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d1 (/.f64 d2 d3)) d3 (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 #s(literal 1 binary64) (.f64 d1 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 #s(literal 1 binary64) (.f64 (.f64 d1 d3) (/.f64 d2 d3)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64)) (.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) d3) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64)) (.f64 (cbrt.f64 d1) d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) d1) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64)) (.f64 (cbrt.f64 d3) (.f64 d1 (/.f64 d2 d3))) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) d3) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) d1) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (sqrt.f64 d3) (.f64 (sqrt.f64 d3) (.f64 d1 (/.f64 d2 d3))) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)) #s(literal 1 binary64)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d1 d3) (/.f64 d2 d3) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d3))) (cbrt.f64 (.f64 d1 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (cbrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3)))) (cbrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (sqrt.f64 (.f64 d1 d3)) (sqrt.f64 (.f64 d1 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (sqrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (sqrt.f64 (.f64 (.f64 d1 d3) (/.f64 d2 d3))) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (sqrt.f64 d3)) (.f64 (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (sqrt.f64 d3)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 (.f64 d1 (/.f64 d2 d3)))) (.f64 (sqrt.f64 d3) (sqrt.f64 (.f64 d1 (/.f64 d2 d3)))) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d1 (sqrt.f64 d3)) (sqrt.f64 d3) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 d1) #s(literal 2 binary64))) (cbrt.f64 d1) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d3 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 (*.f64 d1 d3) (/.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (.f64 d1 (/.f64 d2 d3)) (pow.f64 (cbrt.f64 d3) #s(literal 2 binary64))) (cbrt.f64 d3) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (.f64 d1 (/.f64 d2 d3)) (sqrt.f64 d3)) (sqrt.f64 d3) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d3 (.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d3 (pow.f64 (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) #s(literal 2 binary64))) (cbrt.f64 (.f64 d1 (/.f64 d2 d3))) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d3 (sqrt.f64 (.f64 d1 (/.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (/.f64 d2 d3))) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))

eval20.0ms (1.1%)

Compiler: Compiled 2220 to 673 computations (69.7% saved)

prune40.0ms (2.2%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	0	0
Picked	0	3	3
Done	0	2	2
Total	142	5	147

Accuracy

100.0%

Counts

147 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.0%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	92.6%	(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	53.9%	(*.f64 d1 d3)
✓	55.8%	(*.f64 d1 d2)

Compiler

Compiled 72 to 37 computations (48.6% saved)

regimes10.0ms (0.6%)

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))

Outputs
(*.f64 d1 (+.f64 d2 d3))

Calls

4 calls:

3.0ms	d1
2.0ms	d2
2.0ms	d3
2.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Results

Accuracy	Segments	Branch
100.0%	1	`d1`
100.0%	1	`d2`
100.0%	1	`d3`
100.0%	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes17.0ms (1%)

Counts

2 → 2

Calls

Call 1

Inputs
(*.f64 d1 d2)
(*.f64 d1 d3)

Outputs
(*.f64 d1 d2)
(*.f64 d1 d3)

Calls

3 calls:

12.0ms	d1
2.0ms	d3
2.0ms	d2

Results

Accuracy	Segments	Branch
69.8%	6	`d1`
90.9%	2	`d2`
88.6%	4	`d3`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes2.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 d1 d2)

Outputs
(*.f64 d1 d2)

Calls

3 calls:

1.0ms	d1
0.0ms	d2
0.0ms	d3

Results

Accuracy	Segments	Branch
55.8%	1	`d1`
55.8%	1	`d3`
55.8%	1	`d2`

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch20.0ms (1.1%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
19.0ms	-4.2399826517880774e-91	-6.855629846856445e-97

Results

15.0ms

144×

valid

Compiler

Compiled 142 to 101 computations (28.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 3.0ms

ival-mult: 2.0ms (64.2% of total)

ival-add: 1.0ms (32.1% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative`
1×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	73
1	23	73

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 d1 (+.f64 d2 d3))

(if (<=.f64 d2 #s(literal -481634709357915/1146749307995035755805410447651043470398282494584140561868794419693461438044242404035009276555062843277312 binary64)) (*.f64 d1 d2) (*.f64 d1 d3))

(*.f64 d1 d2)

Outputs

(*.f64 d1 (+.f64 d2 d3))

(if (<=.f64 d2 #s(literal -481634709357915/1146749307995035755805410447651043470398282494584140561868794419693461438044242404035009276555062843277312 binary64)) (*.f64 d1 d2) (*.f64 d1 d3))

(*.f64 d1 d2)

soundness84.0ms (4.8%)

Rules

329×	`fma-define`
268×	`fma-neg`
79×	`unsub-neg`
69×	`associate-l`
60×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	262
1	92	250
2	224	246
3	543	246
4	1018	246
5	1573	246
6	1676	246
7	1678	246

Stop Event

1×	done
1×	saturated

Compiler

Compiled 36 to 18 computations (50% saved)

preprocess43.0ms (2.5%)

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 174 to 102 computations (41.4% saved)

FastMath dist

analyze0.0ms (0%)

sample643.0ms (36.4%)

preprocess82.0ms (4.6%)

explain56.0ms (3.2%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize33.0ms (1.9%)

series11.0ms (0.6%)

rewrite227.0ms (12.9%)

simplify159.0ms (9%)

eval16.0ms (0.9%)

prune17.0ms (1%)

localize37.0ms (2.1%)

series11.0ms (0.6%)

rewrite109.0ms (6.2%)

simplify124.0ms (7%)

eval20.0ms (1.1%)

prune40.0ms (2.2%)

regimes10.0ms (0.6%)

regimes17.0ms (1%)

regimes2.0ms (0.1%)

bsearch20.0ms (1.1%)

simplify2.0ms (0.1%)

soundness84.0ms (4.8%)

preprocess43.0ms (2.5%)

end0.0ms (0%)

Profiling