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

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample890.0ms (46.3%)

Results

666.0ms	6499×	256	valid
175.0ms	1756×	256	infinite
0.0ms	1×	256	valid

Precisions

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

Operation ival-mult, time spent: 137.0ms, 68.0% of total-time

Operation ival-add, time spent: 56.0ms, 28.0% of total-time

Operation const, time spent: 10.0ms, 5.0% of total-time

Bogosity

preprocess156.0ms (8.1%)

Algorithm

1×	egg-herbie

Rules

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

FPErrors

Click to see full error table

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

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)

Compiler

Compiled 50 to 20 computations (60% saved)

Precisions

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

Operation ival-mult, time spent: 8.0ms, 64.0% of total-time

Operation ival-add, time spent: 3.0ms, 24.0% of total-time

Operation const, time spent: 1.0ms, 8.0% of total-time

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 5 computations (37.5% saved)

localize27.0ms (1.4%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 15 to 6 computations (60% saved)

Precisions

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

Operation ival-mult, time spent: 4.0ms, 69.0% of total-time

Operation ival-add, time spent: 2.0ms, 34.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

series5.0ms (0.2%)

Counts

1 → 24

Calls

Call 1

Inputs
#<alt (*.f64 d1 (+.f64 d2 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)))))>

Calls

9 calls:

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

rewrite185.0ms (9.6%)

Algorithm

1×	batch-egg-rewrite

Rules

682×	`prod-diff`
630×	`log1p-expm1-u`
630×	`expm1-log1p-u`
533×	`unpow-prod-down`
304×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	122	22
2	1729	22

Stop Event

1×	node limit

Counts

1 → 60

Calls

Call 1

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

Outputs
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 (.f64 d1 d2) #s(literal 1 binary64)) (.f64 (.f64 d1 d3) #s(literal 1 binary64)))
(+.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 (+.f64 (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d3)))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.f64 (.f64 d1 d2) (.f64 d1 d3)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #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 d3 #s(literal 3 binary64)) (pow.f64 d2 #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 d1) (+.f64 d2 d3)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (exp.f64 (.f64 d1 d3)) (exp.f64 (*.f64 d1 d2))))
(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)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 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 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.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) d3) (.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 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.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) d3) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 (*.f64 d1 d3) #s(literal 1 binary64)))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d3))) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d2))) (cbrt.f64 (.f64 d1 d2)) (*.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 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (*.f64 d1 d2))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.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))
(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 d2) #s(literal 2 binary64))) (cbrt.f64 d2) (.f64 d1 d3))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 d3))

simplify74.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

645×	`fma-neg`
515×	`fma-define`
391×	`distribute-lft-neg-in`
355×	`distribute-rgt-neg-in`
333×	`times-frac`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	183	2105
1	440	2090
2	1253	2085
3	4142	2072

Stop Event

1×	node limit

Counts

84 → 74

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 (.f64 d1 d3) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 (.f64 d1 d2) #s(literal 1 binary64)) (.f64 (.f64 d1 d3) #s(literal 1 binary64)))
(+.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 (+.f64 (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d3)))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.f64 (.f64 d1 d2) (.f64 d1 d3)))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #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 d3 #s(literal 3 binary64)) (pow.f64 d2 #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 d1) (+.f64 d2 d3)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 d1 (+.f64 d2 d3)))))
(log.f64 (.f64 (exp.f64 (.f64 d1 d3)) (exp.f64 (*.f64 d1 d2))))
(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)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 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 #s(literal 1 binary64) (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 #s(literal 1 binary64) (.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) d3) (.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 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.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) d3) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 d3))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 d3))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 (*.f64 d1 d3) #s(literal 1 binary64)))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d3))) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d2))) (cbrt.f64 (.f64 d1 d2)) (*.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 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (*.f64 d1 d2))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 d3))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.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))
(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 d2) #s(literal 2 binary64))) (cbrt.f64 d2) (.f64 d1 d3))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 d3))

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 d1 (+.f64 d3 d2))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(*.f64 d1 (+.f64 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 d1 (+.f64 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 (+.f64 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 (+.f64 d3 d2))
(*.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 d1 (+.f64 d3 d2))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 (+.f64 d3 d2))
(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(*.f64 d1 (+.f64 d3 d2))
(*.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 d3 d2))
(.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 d2))
(.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 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 #s(literal 0 binary64) (*.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 (.f64 d1 d2) #s(literal 1 binary64)) (.f64 (.f64 d1 d3) #s(literal 1 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(+.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 d1) (+.f64 d3 d2))) (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))))
(+.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 d3 d2)))))
(*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 d3 d2)))) #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 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d3)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) #s(literal 3 binary64)) (pow.f64 (.f64 d1 d3) #s(literal 3 binary64))) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))))
(/.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64)))) (fma.f64 d1 (.f64 (pow.f64 d2 #s(literal 2 binary64)) d1) (.f64 d1 (.f64 d3 (*.f64 d1 (-.f64 d3 d2))))))
(.f64 (pow.f64 d1 #s(literal 3 binary64)) (/.f64 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64))) (.f64 d1 (+.f64 (.f64 d3 (.f64 d1 (-.f64 d3 d2))) (*.f64 d1 (pow.f64 d2 #s(literal 2 binary64)))))))
(.f64 (pow.f64 d1 #s(literal 3 binary64)) (/.f64 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64))) (.f64 d1 (*.f64 d1 (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64)))))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.f64 (.f64 d1 d2) (.f64 d1 d3)))
(*.f64 d1 (+.f64 d3 d2))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #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 d3 d2))
(/.f64 (*.f64 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64))) d1) (fma.f64 d3 (-.f64 d3 d2) (pow.f64 d2 #s(literal 2 binary64))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #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 d3 d2))
(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 d1) (+.f64 d2 d3)))
(*.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 (exp.f64 (.f64 d1 d3)) (exp.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))
(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))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 d3)))) #s(literal 2 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 #s(literal 1 binary64) (.f64 d1 d3) (.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 (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) d3) (.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 d2) #s(literal 2 binary64)) (.f64 (cbrt.f64 d2) d1) (.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) d3) (.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 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 (*.f64 d1 d3) #s(literal 1 binary64)))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d3))) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d2))) (cbrt.f64 (.f64 d1 d2)) (*.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 (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (.f64 (sqrt.f64 d1) (sqrt.f64 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (.f64 (sqrt.f64 d3) (sqrt.f64 d1)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.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))
(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 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))

eval15.0ms (0.8%)

Compiler: Compiled 893 to 301 computations (66.3% saved)

prune11.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	71	3	74
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	71	4	75

Accuracy

100.0%

Counts

75 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	93.0%	(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	58.5%	(*.f64 d1 d3)
▶	48.0%	(*.f64 d1 d2)

Compiler

Compiled 32 to 20 computations (37.5% saved)

localize71.0ms (3.7%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	93.7%	(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
✓	92.7%	(/.f64 (*.f64 d1 d2) d3)

Compiler

Compiled 41 to 9 computations (78% saved)

Precisions

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

Operation ival-mult, time spent: 26.0ms, 82.0% of total-time

Operation ival-div, time spent: 4.0ms, 13.0% of total-time

Operation ival-add, time spent: 2.0ms, 6.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

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	d1	@	inf	(* d3 (+ d1 (/ (* d1 d2) d3)))
1.0ms	d1	@	inf	(/ (* d1 d2) d3)
1.0ms	d1	@	0	(/ (* d1 d2) d3)
1.0ms	d2	@	0	(/ (* d1 d2) d3)
1.0ms	d3	@	inf	(/ (* d1 d2) d3)

rewrite104.0ms (5.4%)

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))

simplify119.0ms (6.2%)

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))

eval35.0ms (1.8%)

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

prune22.0ms (1.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	142	4	146

Accuracy

100.0%

Counts

146 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	93.0%	(.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3)))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	58.5%	(*.f64 d1 d3)
✓	48.0%	(*.f64 d1 d2)

Compiler

Compiled 62 to 31 computations (50% saved)

regimes10.0ms (0.5%)

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	d3
2.0ms	d2
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)

regimes10.0ms (0.5%)

Counts

2 → 4

Calls

Call 1

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

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

Calls

3 calls:

5.0ms	d1
3.0ms	d3
2.0ms	d2

Results

Accuracy	Segments	Branch
67.3%	5	`d1`
85.7%	2	`d2`
89.1%	4	`d3`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes5.0ms (0.2%)

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:

2.0ms	d3
1.0ms	d1
1.0ms	d2

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch42.0ms (2.2%)

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	4.632116907440464e-40	1.6595551084607383e-38
15.0ms	1.6124902962292282e-49	1.092220961765991e-47
14.0ms	1.693856349364257e-139	4.519304930901002e-137

Results

30.0ms	308×	256	valid
7.0ms	43×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 324 to 231 computations (28.7% saved)

Precisions

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

Operation ival-mult, time spent: 8.0ms, 77.0% of total-time

Operation ival-add, time spent: 2.0ms, 19.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

4×	`not-or`
4×	`if-if-or-not`
3×	`*-commutative`
2×	`if-not`
2×	`not-not`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	25	117
1	34	111
2	37	111
3	40	107
4	41	107
5	42	107

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 d3 #s(literal 1178420618842611/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008 binary64)) (*.f64 d1 d2) (if (<=.f64 d3 #s(literal 8951544791827361/52656145834278593348959013841835216159447547700274555627155488768 binary64)) (*.f64 d1 d3) (if (<=.f64 d3 #s(literal 4980610507814139/766247770432944429179173513575154591809369561091801088 binary64)) (*.f64 d1 d2) (*.f64 d1 d3))))

(*.f64 d1 d2)

Outputs
(*.f64 d1 (+.f64 d2 d3))
(if (<=.f64 d3 #s(literal 1178420618842611/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008 binary64)) (.f64 d1 d2) (if (<=.f64 d3 #s(literal 8951544791827361/52656145834278593348959013841835216159447547700274555627155488768 binary64)) (.f64 d1 d3) (if (<=.f64 d3 #s(literal 4980610507814139/766247770432944429179173513575154591809369561091801088 binary64)) (.f64 d1 d2) (.f64 d1 d3))))
(if (<=.f64 d3 #s(literal 1178420618842611/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008 binary64)) (.f64 d1 d2) (if (or (<=.f64 d3 #s(literal 8951544791827361/52656145834278593348959013841835216159447547700274555627155488768 binary64)) (not (<=.f64 d3 #s(literal 4980610507814139/766247770432944429179173513575154591809369561091801088 binary64)))) (.f64 d1 d3) (*.f64 d1 d2)))
(if (or (<=.f64 d3 #s(literal 1178420618842611/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008 binary64)) (not (or (<=.f64 d3 #s(literal 8951544791827361/52656145834278593348959013841835216159447547700274555627155488768 binary64)) (not (<=.f64 d3 #s(literal 4980610507814139/766247770432944429179173513575154591809369561091801088 binary64)))))) (.f64 d1 d2) (.f64 d1 d3))
(if (or (<=.f64 d3 #s(literal 1178420618842611/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008 binary64)) (and (not (<=.f64 d3 #s(literal 8951544791827361/52656145834278593348959013841835216159447547700274555627155488768 binary64))) (<=.f64 d3 #s(literal 4980610507814139/766247770432944429179173513575154591809369561091801088 binary64)))) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)

Compiler

Compiled 36 to 24 computations (33.3% saved)

soundness75.0ms (3.9%)

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

Compiler

Compiled 15 to 8 computations (46.7% saved)

end0.0ms (0%)

preprocess48.0ms (2.5%)

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 192 to 116 computations (39.6% saved)

analyze0.0ms (0%)

sample890.0ms (46.3%)

preprocess156.0ms (8.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize27.0ms (1.4%)

series5.0ms (0.2%)

rewrite185.0ms (9.6%)

simplify74.0ms (3.9%)

eval15.0ms (0.8%)

prune11.0ms (0.6%)

localize71.0ms (3.7%)

series11.0ms (0.6%)

rewrite104.0ms (5.4%)

simplify119.0ms (6.2%)

eval35.0ms (1.8%)

prune22.0ms (1.1%)

regimes10.0ms (0.5%)

regimes10.0ms (0.5%)

regimes5.0ms (0.2%)

bsearch42.0ms (2.2%)

simplify6.0ms (0.3%)

soundness75.0ms (3.9%)

end0.0ms (0%)

preprocess48.0ms (2.5%)

Profiling