Metrics for Henrywood and Agarwal, Equation (3)

analyze380.0ms (4.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	5
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	6
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.2%	0%	0%	0%	8
28.6%	28.1%	70.2%	0.2%	0%	1.6%	0%	9
28.6%	28.1%	70.2%	0.2%	0%	1.6%	0%	10
28.8%	28.1%	69.4%	0.2%	0%	2.3%	0%	11
36.1%	32.7%	58.1%	0.2%	0%	9%	0%	12

Compiler

Compiled 13 to 9 computations (30.8% saved)

Precisions

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

Operation ival-sqrt, time spent: 86.0ms, 63.0% of total-time

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

Operation ival-div, time spent: 14.0ms, 10.0% of total-time

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

sample3.1s (37.5%)

Results

1.4s	7427×	valid
1.4s	6890×	invalid
211.0ms	828×	infinite
0.0ms	1×	valid

Precisions

Click to see histograms. Total time spent on operations: 1.3s

Operation ival-div, time spent: 733.0ms, 55.0% of total-time

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

Operation ival-sqrt, time spent: 252.0ms, 19.0% of total-time

Operation const, time spent: 24.0ms, 2.0% of total-time

Bogosity

preprocess246.0ms (3%)

Algorithm

1×	egg-herbie

Rules

3010×	`fma-def`
1272×	`div-sub`
1190×	`fma-neg`
632×	`associate-/l*`
558×	`distribute-lft-in`

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
94	-	5	(1.6970157004102654e-7 4.000981432600332e-51 3.7259181215314636e-37 1.719169388216798e+302)	`(sqrt.f64 (/.f64 A (*.f64 V l)))`
27	-	1	(2.2267789657379134e-35 -3.129545542957358e-20 -1.4390554762656902e-275 2.1697963164583204e-47)	`(/.f64 A (*.f64 V l))`
6	-	0	-	`(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))`
0	-	0	-	`c0`
0	-	0	-	`l`
0	-	0	-	`A`
0	-	0	-	`(*.f64 V l)`
0	-	0	-	`V`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	600
1	128	600
2	205	600
3	453	600
4	1029	600
5	2264	600
6	4268	600
7	6001	600
8	7824	600

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 c0 (sqrt.f64 (/.f64 (neg.f64 A) (.f64 V l))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 (neg.f64 V) l))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V (neg.f64 l)))))
(neg.f64 (.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (.f64 V l)))))
(neg.f64 (.f64 c0 (sqrt.f64 (/.f64 (neg.f64 A) (.f64 V l)))))
(neg.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 (neg.f64 V) l)))))
(neg.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V (neg.f64 l))))))
(.f64 A (sqrt.f64 (/.f64 c0 (.f64 V l))))
(.f64 V (sqrt.f64 (/.f64 A (.f64 c0 l))))
(.f64 l (sqrt.f64 (/.f64 A (.f64 V c0))))
(.f64 c0 (sqrt.f64 (/.f64 V (.f64 A l))))
(.f64 c0 (sqrt.f64 (/.f64 l (.f64 V A))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 l V))))

Outputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (neg.f64 c0))
(.f64 c0 (neg.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))
(*.f64 c0 (neg.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))
(.f64 c0 (sqrt.f64 (/.f64 (neg.f64 A) (.f64 V l))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 l (neg.f64 V)))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 (neg.f64 V) l))))
(.f64 c0 (sqrt.f64 (/.f64 (neg.f64 A) (.f64 V l))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 l (neg.f64 V)))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V (neg.f64 l)))))
(.f64 c0 (sqrt.f64 (/.f64 (neg.f64 A) (.f64 V l))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 l (neg.f64 V)))))
(neg.f64 (.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (.f64 V l)))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(neg.f64 (.f64 c0 (sqrt.f64 (/.f64 (neg.f64 A) (.f64 V l)))))
(.f64 (neg.f64 c0) (sqrt.f64 (/.f64 (neg.f64 A) (.f64 V l))))
(.f64 c0 (neg.f64 (sqrt.f64 (/.f64 (neg.f64 A) (.f64 V l)))))
(.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (.f64 l (neg.f64 V)))))
(neg.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 (neg.f64 V) l)))))
(.f64 (neg.f64 c0) (sqrt.f64 (/.f64 (neg.f64 A) (.f64 V l))))
(.f64 c0 (neg.f64 (sqrt.f64 (/.f64 (neg.f64 A) (.f64 V l)))))
(.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (.f64 l (neg.f64 V)))))
(neg.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V (neg.f64 l))))))
(.f64 (neg.f64 c0) (sqrt.f64 (/.f64 (neg.f64 A) (.f64 V l))))
(.f64 c0 (neg.f64 (sqrt.f64 (/.f64 (neg.f64 A) (.f64 V l)))))
(.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (.f64 l (neg.f64 V)))))
(.f64 A (sqrt.f64 (/.f64 c0 (.f64 V l))))
(*.f64 A (sqrt.f64 (/.f64 (/.f64 c0 l) V)))
(.f64 V (sqrt.f64 (/.f64 A (.f64 c0 l))))
(.f64 l (sqrt.f64 (/.f64 A (.f64 V c0))))
(.f64 l (sqrt.f64 (/.f64 A (.f64 c0 V))))
(*.f64 l (sqrt.f64 (/.f64 (/.f64 A V) c0)))
(.f64 c0 (sqrt.f64 (/.f64 V (.f64 A l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 V l) A)))
(.f64 c0 (sqrt.f64 (/.f64 l (.f64 V A))))
(.f64 c0 (sqrt.f64 (/.f64 l (.f64 A V))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 l V) A)))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 l V))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))

Symmetry

(negabs c0)

(sort V l)

Compiler

Compiled 74 to 26 computations (64.9% saved)

Precisions

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

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

Operation ival-sqrt, time spent: 6.0ms, 31.0% of total-time

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

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

eval0.0ms (0%)

Compiler: Compiled 12 to 8 computations (33.3% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	70.7%	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
▶	67.9%	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

Compiler

Compiled 24 to 16 computations (33.3% saved)

localize240.0ms (2.9%)

Localize:

Found 4 expressions with local error:

New	Accuracy	Program
✓	98.9%	(/.f64 (/.f64 A V) l)
✓	87.5%	(sqrt.f64 (/.f64 (/.f64 A V) l))
✓	99.2%	(/.f64 A (*.f64 V l))
✓	87.5%	(sqrt.f64 (/.f64 A (*.f64 V l)))

Compiler

Compiled 57 to 13 computations (77.2% saved)

Precisions

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

Operation ival-sqrt, time spent: 46.0ms, 41.0% of total-time

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

Operation ival-div, time spent: 32.0ms, 28.0% of total-time

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

series20.0ms (0.2%)

Counts

4 → 36

Calls

36 calls:

Time	Variable		Point	Expression
3.0ms	A	@	0	(/.f64 A (*.f64 V l))
1.0ms	A	@	inf	(/.f64 A (*.f64 V l))
1.0ms	A	@	-inf	(sqrt.f64 (/.f64 A (*.f64 V l)))
1.0ms	A	@	0	(sqrt.f64 (/.f64 A (*.f64 V l)))
1.0ms	V	@	0	(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite248.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

988×	`log-prod`
894×	`log1p-expm1-u`
894×	`expm1-log1p-u`
372×	`log-div`
364×	`pow-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	96
1	207	96
2	2466	96

Stop Event

1×	node limit

Counts

4 → 252

Calls

Call 1

Inputs
(sqrt.f64 (/.f64 A (*.f64 V l)))
(/.f64 A (*.f64 V l))
(sqrt.f64 (/.f64 (/.f64 A V) l))
(/.f64 (/.f64 A V) l)

Outputs
(+.f64 0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) 1)
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) 1)
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (log.f64 (exp.f64 1)))
(.f64 1 (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (sqrt.f64 A) (pow.f64 (/.f64 1 (.f64 V l)) 1/2))
(.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (.f64 V l))))
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(*.f64 (sqrt.f64 (/.f64 A V)) (pow.f64 (/.f64 1 l) 1/2))
(*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(.f64 (pow.f64 1 1/2) (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2)) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(/.f64 1 (sqrt.f64 (*.f64 l (/.f64 V A))))
(/.f64 1 (/.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V))))
(/.f64 1 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))
(/.f64 (sqrt.f64 (neg.f64 (/.f64 A V))) (sqrt.f64 (neg.f64 l)))
(/.f64 (neg.f64 (sqrt.f64 A)) (neg.f64 (sqrt.f64 (*.f64 V l))))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 A V))) (neg.f64 (sqrt.f64 l)))
(pow.f64 (/.f64 A (*.f64 V l)) 1/2)
(pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 3)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2) 1/3)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) 2)
(pow.f64 (sqrt.f64 (*.f64 l (/.f64 V A))) -1)
(pow.f64 (/.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V))) -1)
(pow.f64 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)) -1)
(fabs.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
(log.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
(cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(exp.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(exp.f64 (.f64 (log.f64 (/.f64 A (.f64 V l))) 1/2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2) 1))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) 3))
(exp.f64 (.f64 (.f64 3/2 (log.f64 (/.f64 A (*.f64 V l)))) 1/3))
(exp.f64 (.f64 (.f64 1/4 (log.f64 (/.f64 A (*.f64 V l)))) 2))
(log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(+.f64 0 (/.f64 A (*.f64 V l)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 A (*.f64 V l)))) 1)
(.f64 A (/.f64 1 (.f64 V l)))
(.f64 A (.f64 (/.f64 1 V) (/.f64 1 l)))
(.f64 (/.f64 A (.f64 V l)) 1)
(.f64 (/.f64 A (.f64 V l)) (log.f64 (exp.f64 1)))
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 (/.f64 A V) (/.f64 1 l))
(.f64 1 (/.f64 A (.f64 V l)))
(.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (.f64 (cbrt.f64 (/.f64 A V)) (/.f64 1 l)))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 2))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (pow.f64 (cbrt.f64 A) 2) (.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))))
(.f64 (sqrt.f64 A) (.f64 (sqrt.f64 A) (/.f64 1 (*.f64 V l))))
(.f64 (sqrt.f64 (/.f64 A V)) (.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 l)))
(.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (neg.f64 A) (/.f64 1 (.f64 l (neg.f64 V))))
(*.f64 (neg.f64 (/.f64 A V)) (/.f64 1 (neg.f64 l)))
(*.f64 (/.f64 1 V) (/.f64 A l))
(*.f64 (/.f64 1 l) (/.f64 A V))
(.f64 (/.f64 1 (.f64 V l)) A)
(.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (/.f64 A (.f64 V l)) 1/4)) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) 1) (/.f64 (cbrt.f64 A) (.f64 V l)))
(.f64 (/.f64 (sqrt.f64 A) 1) (/.f64 (sqrt.f64 A) (.f64 V l)))
(*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 A (cbrt.f64 (*.f64 V l))))
(.f64 (/.f64 1 (sqrt.f64 (.f64 V l))) (/.f64 A (sqrt.f64 (*.f64 V l))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) V) (/.f64 (cbrt.f64 A) l))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) l) (/.f64 (cbrt.f64 A) V))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (sqrt.f64 (.f64 V l))) (/.f64 (cbrt.f64 A) (sqrt.f64 (*.f64 V l))))
(*.f64 (/.f64 (sqrt.f64 A) l) (/.f64 (sqrt.f64 A) V))
(.f64 (/.f64 (sqrt.f64 A) (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 (sqrt.f64 A) (cbrt.f64 (*.f64 V l))))
(.f64 (/.f64 A 1) (/.f64 1 (.f64 V l)))
(*.f64 (/.f64 A (pow.f64 (cbrt.f64 l) 2)) (/.f64 (/.f64 1 V) (cbrt.f64 l)))
(*.f64 (/.f64 A (sqrt.f64 l)) (/.f64 (/.f64 1 V) (sqrt.f64 l)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 l) 2)) (/.f64 (/.f64 A V) (cbrt.f64 l)))
(*.f64 (/.f64 1 (sqrt.f64 l)) (/.f64 (/.f64 A V) (sqrt.f64 l)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) 1) (/.f64 (cbrt.f64 (/.f64 A V)) l))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (/.f64 A (.f64 V l))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (sqrt.f64 l)) (/.f64 (cbrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) 1) (/.f64 (sqrt.f64 (/.f64 A V)) l))
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) (pow.f64 (cbrt.f64 l) 2)) (/.f64 (sqrt.f64 (/.f64 A V)) (cbrt.f64 l)))
(.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(pow.f64 (/.f64 A (*.f64 V l)) 1)
(pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 2)
(pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 3)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2) 1/2)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3) 1/3)
(pow.f64 (*.f64 l (/.f64 V A)) -1)
(pow.f64 (*.f64 (/.f64 V A) l) -1)
(pow.f64 (/.f64 (*.f64 l (/.f64 V A)) 1) -1)
(neg.f64 (/.f64 A (*.f64 l (neg.f64 V))))
(neg.f64 (/.f64 (/.f64 A V) (neg.f64 l)))
(sqrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2))
(log.f64 (exp.f64 (/.f64 A (*.f64 V l))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 A (*.f64 V l)))))
(cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))
(cbrt.f64 (/.f64 (pow.f64 A 3) (pow.f64 (*.f64 V l) 3)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 A V) 3) (pow.f64 l 3)))
(expm1.f64 (log1p.f64 (/.f64 A (*.f64 V l))))
(exp.f64 (log.f64 (/.f64 A (*.f64 V l))))
(exp.f64 (.f64 (log.f64 (/.f64 A (.f64 V l))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1) 1))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) 2))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2) 2))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1) 2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (/.f64 A (.f64 V l)))) 3))
(exp.f64 (.f64 (.f64 2 (log.f64 (/.f64 A (*.f64 V l)))) 1/2))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 A (*.f64 V l)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 l (/.f64 V A))) -1))
(log1p.f64 (expm1.f64 (/.f64 A (*.f64 V l))))
(+.f64 0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) 1)
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) 1)
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (log.f64 (exp.f64 1)))
(.f64 1 (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (sqrt.f64 A) (pow.f64 (/.f64 1 (.f64 V l)) 1/2))
(.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (.f64 V l))))
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(*.f64 (sqrt.f64 (/.f64 A V)) (pow.f64 (/.f64 1 l) 1/2))
(*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(.f64 (pow.f64 1 1/2) (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2)) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(/.f64 1 (sqrt.f64 (*.f64 l (/.f64 V A))))
(/.f64 1 (/.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V))))
(/.f64 1 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))
(/.f64 (sqrt.f64 (neg.f64 (/.f64 A V))) (sqrt.f64 (neg.f64 l)))
(/.f64 (neg.f64 (sqrt.f64 A)) (neg.f64 (sqrt.f64 (*.f64 V l))))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 A V))) (neg.f64 (sqrt.f64 l)))
(pow.f64 (/.f64 A (*.f64 V l)) 1/2)
(pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 3)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2) 1/3)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) 2)
(pow.f64 (sqrt.f64 (*.f64 l (/.f64 V A))) -1)
(pow.f64 (/.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V))) -1)
(pow.f64 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)) -1)
(fabs.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
(log.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
(cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(exp.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(exp.f64 (.f64 (log.f64 (/.f64 A (.f64 V l))) 1/2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2) 1))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) 3))
(exp.f64 (.f64 (.f64 3/2 (log.f64 (/.f64 A (*.f64 V l)))) 1/3))
(exp.f64 (.f64 (.f64 1/4 (log.f64 (/.f64 A (*.f64 V l)))) 2))
(log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(+.f64 0 (/.f64 A (*.f64 V l)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 A (*.f64 V l)))) 1)
(.f64 A (/.f64 1 (.f64 V l)))
(.f64 A (.f64 (/.f64 1 V) (/.f64 1 l)))
(.f64 (/.f64 A (.f64 V l)) 1)
(.f64 (/.f64 A (.f64 V l)) (log.f64 (exp.f64 1)))
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 (/.f64 A V) (/.f64 1 l))
(.f64 1 (/.f64 A (.f64 V l)))
(.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (.f64 (cbrt.f64 (/.f64 A V)) (/.f64 1 l)))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 2))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (pow.f64 (cbrt.f64 A) 2) (.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))))
(.f64 (sqrt.f64 A) (.f64 (sqrt.f64 A) (/.f64 1 (*.f64 V l))))
(.f64 (sqrt.f64 (/.f64 A V)) (.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 l)))
(.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (neg.f64 A) (/.f64 1 (.f64 l (neg.f64 V))))
(*.f64 (neg.f64 (/.f64 A V)) (/.f64 1 (neg.f64 l)))
(*.f64 (/.f64 1 V) (/.f64 A l))
(*.f64 (/.f64 1 l) (/.f64 A V))
(.f64 (/.f64 1 (.f64 V l)) A)
(.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (/.f64 A (.f64 V l)) 1/4)) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) 1) (/.f64 (cbrt.f64 A) (.f64 V l)))
(.f64 (/.f64 (sqrt.f64 A) 1) (/.f64 (sqrt.f64 A) (.f64 V l)))
(*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 A (cbrt.f64 (*.f64 V l))))
(.f64 (/.f64 1 (sqrt.f64 (.f64 V l))) (/.f64 A (sqrt.f64 (*.f64 V l))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) V) (/.f64 (cbrt.f64 A) l))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) l) (/.f64 (cbrt.f64 A) V))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (sqrt.f64 (.f64 V l))) (/.f64 (cbrt.f64 A) (sqrt.f64 (*.f64 V l))))
(*.f64 (/.f64 (sqrt.f64 A) l) (/.f64 (sqrt.f64 A) V))
(.f64 (/.f64 (sqrt.f64 A) (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 (sqrt.f64 A) (cbrt.f64 (*.f64 V l))))
(.f64 (/.f64 A 1) (/.f64 1 (.f64 V l)))
(*.f64 (/.f64 A (pow.f64 (cbrt.f64 l) 2)) (/.f64 (/.f64 1 V) (cbrt.f64 l)))
(*.f64 (/.f64 A (sqrt.f64 l)) (/.f64 (/.f64 1 V) (sqrt.f64 l)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 l) 2)) (/.f64 (/.f64 A V) (cbrt.f64 l)))
(*.f64 (/.f64 1 (sqrt.f64 l)) (/.f64 (/.f64 A V) (sqrt.f64 l)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) 1) (/.f64 (cbrt.f64 (/.f64 A V)) l))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (/.f64 A (.f64 V l))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (sqrt.f64 l)) (/.f64 (cbrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) 1) (/.f64 (sqrt.f64 (/.f64 A V)) l))
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) (pow.f64 (cbrt.f64 l) 2)) (/.f64 (sqrt.f64 (/.f64 A V)) (cbrt.f64 l)))
(.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(pow.f64 (/.f64 A (*.f64 V l)) 1)
(pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 2)
(pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 3)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2) 1/2)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3) 1/3)
(pow.f64 (*.f64 l (/.f64 V A)) -1)
(pow.f64 (*.f64 (/.f64 V A) l) -1)
(pow.f64 (/.f64 (*.f64 l (/.f64 V A)) 1) -1)
(neg.f64 (/.f64 A (*.f64 l (neg.f64 V))))
(neg.f64 (/.f64 (/.f64 A V) (neg.f64 l)))
(sqrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2))
(log.f64 (exp.f64 (/.f64 A (*.f64 V l))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 A (*.f64 V l)))))
(cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))
(cbrt.f64 (/.f64 (pow.f64 A 3) (pow.f64 (*.f64 V l) 3)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 A V) 3) (pow.f64 l 3)))
(expm1.f64 (log1p.f64 (/.f64 A (*.f64 V l))))
(exp.f64 (log.f64 (/.f64 A (*.f64 V l))))
(exp.f64 (.f64 (log.f64 (/.f64 A (.f64 V l))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1) 1))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) 2))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2) 2))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1) 2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (/.f64 A (.f64 V l)))) 3))
(exp.f64 (.f64 (.f64 2 (log.f64 (/.f64 A (*.f64 V l)))) 1/2))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 A (*.f64 V l)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 l (/.f64 V A))) -1))
(log1p.f64 (expm1.f64 (/.f64 A (*.f64 V l))))

simplify107.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1720×	`times-frac`
1404×	`fma-def`
726×	`distribute-lft-in`
650×	`distribute-rgt-in`
532×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	307	8924
1	692	8436
2	2154	8256

Stop Event

1×	node limit

Counts

288 → 151

Calls

Call 1

Inputs
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(+.f64 0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) 1)
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) 1)
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (log.f64 (exp.f64 1)))
(.f64 1 (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (sqrt.f64 A) (pow.f64 (/.f64 1 (.f64 V l)) 1/2))
(.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (.f64 V l))))
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(*.f64 (sqrt.f64 (/.f64 A V)) (pow.f64 (/.f64 1 l) 1/2))
(*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(.f64 (pow.f64 1 1/2) (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2)) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(/.f64 1 (sqrt.f64 (*.f64 l (/.f64 V A))))
(/.f64 1 (/.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V))))
(/.f64 1 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))
(/.f64 (sqrt.f64 (neg.f64 (/.f64 A V))) (sqrt.f64 (neg.f64 l)))
(/.f64 (neg.f64 (sqrt.f64 A)) (neg.f64 (sqrt.f64 (*.f64 V l))))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 A V))) (neg.f64 (sqrt.f64 l)))
(pow.f64 (/.f64 A (*.f64 V l)) 1/2)
(pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 3)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2) 1/3)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) 2)
(pow.f64 (sqrt.f64 (*.f64 l (/.f64 V A))) -1)
(pow.f64 (/.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V))) -1)
(pow.f64 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)) -1)
(fabs.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
(log.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
(cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(exp.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(exp.f64 (.f64 (log.f64 (/.f64 A (.f64 V l))) 1/2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2) 1))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) 3))
(exp.f64 (.f64 (.f64 3/2 (log.f64 (/.f64 A (*.f64 V l)))) 1/3))
(exp.f64 (.f64 (.f64 1/4 (log.f64 (/.f64 A (*.f64 V l)))) 2))
(log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(+.f64 0 (/.f64 A (*.f64 V l)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 A (*.f64 V l)))) 1)
(.f64 A (/.f64 1 (.f64 V l)))
(.f64 A (.f64 (/.f64 1 V) (/.f64 1 l)))
(.f64 (/.f64 A (.f64 V l)) 1)
(.f64 (/.f64 A (.f64 V l)) (log.f64 (exp.f64 1)))
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 (/.f64 A V) (/.f64 1 l))
(.f64 1 (/.f64 A (.f64 V l)))
(.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (.f64 (cbrt.f64 (/.f64 A V)) (/.f64 1 l)))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 2))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (pow.f64 (cbrt.f64 A) 2) (.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))))
(.f64 (sqrt.f64 A) (.f64 (sqrt.f64 A) (/.f64 1 (*.f64 V l))))
(.f64 (sqrt.f64 (/.f64 A V)) (.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 l)))
(.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (neg.f64 A) (/.f64 1 (.f64 l (neg.f64 V))))
(*.f64 (neg.f64 (/.f64 A V)) (/.f64 1 (neg.f64 l)))
(*.f64 (/.f64 1 V) (/.f64 A l))
(*.f64 (/.f64 1 l) (/.f64 A V))
(.f64 (/.f64 1 (.f64 V l)) A)
(.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (/.f64 A (.f64 V l)) 1/4)) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) 1) (/.f64 (cbrt.f64 A) (.f64 V l)))
(.f64 (/.f64 (sqrt.f64 A) 1) (/.f64 (sqrt.f64 A) (.f64 V l)))
(*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 A (cbrt.f64 (*.f64 V l))))
(.f64 (/.f64 1 (sqrt.f64 (.f64 V l))) (/.f64 A (sqrt.f64 (*.f64 V l))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) V) (/.f64 (cbrt.f64 A) l))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) l) (/.f64 (cbrt.f64 A) V))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (sqrt.f64 (.f64 V l))) (/.f64 (cbrt.f64 A) (sqrt.f64 (*.f64 V l))))
(*.f64 (/.f64 (sqrt.f64 A) l) (/.f64 (sqrt.f64 A) V))
(.f64 (/.f64 (sqrt.f64 A) (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 (sqrt.f64 A) (cbrt.f64 (*.f64 V l))))
(.f64 (/.f64 A 1) (/.f64 1 (.f64 V l)))
(*.f64 (/.f64 A (pow.f64 (cbrt.f64 l) 2)) (/.f64 (/.f64 1 V) (cbrt.f64 l)))
(*.f64 (/.f64 A (sqrt.f64 l)) (/.f64 (/.f64 1 V) (sqrt.f64 l)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 l) 2)) (/.f64 (/.f64 A V) (cbrt.f64 l)))
(*.f64 (/.f64 1 (sqrt.f64 l)) (/.f64 (/.f64 A V) (sqrt.f64 l)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) 1) (/.f64 (cbrt.f64 (/.f64 A V)) l))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (/.f64 A (.f64 V l))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (sqrt.f64 l)) (/.f64 (cbrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) 1) (/.f64 (sqrt.f64 (/.f64 A V)) l))
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) (pow.f64 (cbrt.f64 l) 2)) (/.f64 (sqrt.f64 (/.f64 A V)) (cbrt.f64 l)))
(.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(pow.f64 (/.f64 A (*.f64 V l)) 1)
(pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 2)
(pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 3)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2) 1/2)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3) 1/3)
(pow.f64 (*.f64 l (/.f64 V A)) -1)
(pow.f64 (*.f64 (/.f64 V A) l) -1)
(pow.f64 (/.f64 (*.f64 l (/.f64 V A)) 1) -1)
(neg.f64 (/.f64 A (*.f64 l (neg.f64 V))))
(neg.f64 (/.f64 (/.f64 A V) (neg.f64 l)))
(sqrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2))
(log.f64 (exp.f64 (/.f64 A (*.f64 V l))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 A (*.f64 V l)))))
(cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))
(cbrt.f64 (/.f64 (pow.f64 A 3) (pow.f64 (*.f64 V l) 3)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 A V) 3) (pow.f64 l 3)))
(expm1.f64 (log1p.f64 (/.f64 A (*.f64 V l))))
(exp.f64 (log.f64 (/.f64 A (*.f64 V l))))
(exp.f64 (.f64 (log.f64 (/.f64 A (.f64 V l))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1) 1))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) 2))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2) 2))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1) 2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (/.f64 A (.f64 V l)))) 3))
(exp.f64 (.f64 (.f64 2 (log.f64 (/.f64 A (*.f64 V l)))) 1/2))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 A (*.f64 V l)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 l (/.f64 V A))) -1))
(log1p.f64 (expm1.f64 (/.f64 A (*.f64 V l))))
(+.f64 0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) 1)
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) 1)
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (log.f64 (exp.f64 1)))
(.f64 1 (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (sqrt.f64 A) (pow.f64 (/.f64 1 (.f64 V l)) 1/2))
(.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (.f64 V l))))
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(*.f64 (sqrt.f64 (/.f64 A V)) (pow.f64 (/.f64 1 l) 1/2))
(*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(.f64 (pow.f64 1 1/2) (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2)) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(/.f64 1 (sqrt.f64 (*.f64 l (/.f64 V A))))
(/.f64 1 (/.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V))))
(/.f64 1 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))
(/.f64 (sqrt.f64 (neg.f64 (/.f64 A V))) (sqrt.f64 (neg.f64 l)))
(/.f64 (neg.f64 (sqrt.f64 A)) (neg.f64 (sqrt.f64 (*.f64 V l))))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 A V))) (neg.f64 (sqrt.f64 l)))
(pow.f64 (/.f64 A (*.f64 V l)) 1/2)
(pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 3)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2) 1/3)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) 2)
(pow.f64 (sqrt.f64 (*.f64 l (/.f64 V A))) -1)
(pow.f64 (/.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V))) -1)
(pow.f64 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)) -1)
(fabs.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
(log.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
(cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(exp.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(exp.f64 (.f64 (log.f64 (/.f64 A (.f64 V l))) 1/2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2) 1))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) 3))
(exp.f64 (.f64 (.f64 3/2 (log.f64 (/.f64 A (*.f64 V l)))) 1/3))
(exp.f64 (.f64 (.f64 1/4 (log.f64 (/.f64 A (*.f64 V l)))) 2))
(log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(+.f64 0 (/.f64 A (*.f64 V l)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 A (*.f64 V l)))) 1)
(.f64 A (/.f64 1 (.f64 V l)))
(.f64 A (.f64 (/.f64 1 V) (/.f64 1 l)))
(.f64 (/.f64 A (.f64 V l)) 1)
(.f64 (/.f64 A (.f64 V l)) (log.f64 (exp.f64 1)))
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 (/.f64 A V) (/.f64 1 l))
(.f64 1 (/.f64 A (.f64 V l)))
(.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (.f64 (cbrt.f64 (/.f64 A V)) (/.f64 1 l)))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 2))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (pow.f64 (cbrt.f64 A) 2) (.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))))
(.f64 (sqrt.f64 A) (.f64 (sqrt.f64 A) (/.f64 1 (*.f64 V l))))
(.f64 (sqrt.f64 (/.f64 A V)) (.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 l)))
(.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (neg.f64 A) (/.f64 1 (.f64 l (neg.f64 V))))
(*.f64 (neg.f64 (/.f64 A V)) (/.f64 1 (neg.f64 l)))
(*.f64 (/.f64 1 V) (/.f64 A l))
(*.f64 (/.f64 1 l) (/.f64 A V))
(.f64 (/.f64 1 (.f64 V l)) A)
(.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (/.f64 A (.f64 V l)) 1/4)) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) 1) (/.f64 (cbrt.f64 A) (.f64 V l)))
(.f64 (/.f64 (sqrt.f64 A) 1) (/.f64 (sqrt.f64 A) (.f64 V l)))
(*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 A (cbrt.f64 (*.f64 V l))))
(.f64 (/.f64 1 (sqrt.f64 (.f64 V l))) (/.f64 A (sqrt.f64 (*.f64 V l))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) V) (/.f64 (cbrt.f64 A) l))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) l) (/.f64 (cbrt.f64 A) V))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (sqrt.f64 (.f64 V l))) (/.f64 (cbrt.f64 A) (sqrt.f64 (*.f64 V l))))
(*.f64 (/.f64 (sqrt.f64 A) l) (/.f64 (sqrt.f64 A) V))
(.f64 (/.f64 (sqrt.f64 A) (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 (sqrt.f64 A) (cbrt.f64 (*.f64 V l))))
(.f64 (/.f64 A 1) (/.f64 1 (.f64 V l)))
(*.f64 (/.f64 A (pow.f64 (cbrt.f64 l) 2)) (/.f64 (/.f64 1 V) (cbrt.f64 l)))
(*.f64 (/.f64 A (sqrt.f64 l)) (/.f64 (/.f64 1 V) (sqrt.f64 l)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 l) 2)) (/.f64 (/.f64 A V) (cbrt.f64 l)))
(*.f64 (/.f64 1 (sqrt.f64 l)) (/.f64 (/.f64 A V) (sqrt.f64 l)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) 1) (/.f64 (cbrt.f64 (/.f64 A V)) l))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (/.f64 A (.f64 V l))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (sqrt.f64 l)) (/.f64 (cbrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) 1) (/.f64 (sqrt.f64 (/.f64 A V)) l))
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) (pow.f64 (cbrt.f64 l) 2)) (/.f64 (sqrt.f64 (/.f64 A V)) (cbrt.f64 l)))
(.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(pow.f64 (/.f64 A (*.f64 V l)) 1)
(pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 2)
(pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 3)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2) 1/2)
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3) 1/3)
(pow.f64 (*.f64 l (/.f64 V A)) -1)
(pow.f64 (*.f64 (/.f64 V A) l) -1)
(pow.f64 (/.f64 (*.f64 l (/.f64 V A)) 1) -1)
(neg.f64 (/.f64 A (*.f64 l (neg.f64 V))))
(neg.f64 (/.f64 (/.f64 A V) (neg.f64 l)))
(sqrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2))
(log.f64 (exp.f64 (/.f64 A (*.f64 V l))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 A (*.f64 V l)))))
(cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))
(cbrt.f64 (/.f64 (pow.f64 A 3) (pow.f64 (*.f64 V l) 3)))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 A V) 3) (pow.f64 l 3)))
(expm1.f64 (log1p.f64 (/.f64 A (*.f64 V l))))
(exp.f64 (log.f64 (/.f64 A (*.f64 V l))))
(exp.f64 (.f64 (log.f64 (/.f64 A (.f64 V l))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1) 1))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) 2))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2) 2))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1) 2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (/.f64 A (.f64 V l)))) 3))
(exp.f64 (.f64 (.f64 2 (log.f64 (/.f64 A (*.f64 V l)))) 1/2))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 A (*.f64 V l)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 l (/.f64 V A))) -1))
(log1p.f64 (expm1.f64 (/.f64 A (*.f64 V l))))

Outputs
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(/.f64 A (*.f64 V l))
(+.f64 0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))
(.f64 3 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(.f64 2 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))) 2)
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) 1)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) 1)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (log.f64 (exp.f64 1)))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(.f64 1 (sqrt.f64 (/.f64 A (.f64 V l))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (sqrt.f64 A) (pow.f64 (/.f64 1 (.f64 V l)) 1/2))
(.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (.f64 V l))))
(*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 (/.f64 1 V) l)))
(.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (.f64 V l))))
(*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 (/.f64 1 V) l)))
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(*.f64 (sqrt.f64 (/.f64 A V)) (pow.f64 (/.f64 1 l) 1/2))
(*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))
(*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(.f64 (pow.f64 1 1/2) (sqrt.f64 (/.f64 A (.f64 V l))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2)) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2)) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(/.f64 1 (sqrt.f64 (*.f64 l (/.f64 V A))))
(/.f64 1 (sqrt.f64 (/.f64 (*.f64 V l) A)))
(/.f64 1 (/.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V))))
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(/.f64 1 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))
(/.f64 (sqrt.f64 (neg.f64 (/.f64 A V))) (sqrt.f64 (neg.f64 l)))
(/.f64 (sqrt.f64 (/.f64 (neg.f64 A) V)) (sqrt.f64 (neg.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A (neg.f64 V))) (sqrt.f64 (neg.f64 l)))
(/.f64 (neg.f64 (sqrt.f64 A)) (neg.f64 (sqrt.f64 (*.f64 V l))))
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 A V))) (neg.f64 (sqrt.f64 l)))
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(pow.f64 (/.f64 A (*.f64 V l)) 1/2)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 1)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 3)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2) 1/3)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) 2)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(pow.f64 (sqrt.f64 (*.f64 l (/.f64 V A))) -1)
(/.f64 1 (sqrt.f64 (*.f64 l (/.f64 V A))))
(/.f64 1 (sqrt.f64 (/.f64 (*.f64 V l) A)))
(pow.f64 (/.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V))) -1)
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(pow.f64 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)) -1)
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(fabs.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(log.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (log.f64 (/.f64 A (.f64 V l))) 1/2))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) 1))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1) 1/2))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2) 1))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1) 1))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) 3))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (.f64 3/2 (log.f64 (/.f64 A (*.f64 V l)))) 1/3))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (.f64 1/4 (log.f64 (/.f64 A (*.f64 V l)))) 2))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(+.f64 0 (/.f64 A (*.f64 V l)))
(/.f64 A (*.f64 V l))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (*.f64 V l))))))
(.f64 3 (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(.f64 2 (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 A (*.f64 V l)))) 1)
(/.f64 A (*.f64 V l))
(.f64 A (/.f64 1 (.f64 V l)))
(/.f64 A (*.f64 V l))
(.f64 A (.f64 (/.f64 1 V) (/.f64 1 l)))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 A (.f64 V l)) 1)
(/.f64 A (*.f64 V l))
(.f64 (/.f64 A (.f64 V l)) (log.f64 (exp.f64 1)))
(/.f64 A (*.f64 V l))
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (sqrt.f64 (/.f64 A (*.f64 V l))))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 A V) (/.f64 1 l))
(/.f64 A (*.f64 V l))
(.f64 1 (/.f64 A (.f64 V l)))
(/.f64 A (*.f64 V l))
(.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (.f64 (cbrt.f64 (/.f64 A V)) (/.f64 1 l)))
(/.f64 A (*.f64 V l))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 2))
(/.f64 A (*.f64 V l))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 4))
(.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2) (cbrt.f64 (/.f64 A (*.f64 V l))))
(/.f64 A (*.f64 V l))
(.f64 (pow.f64 (cbrt.f64 A) 2) (.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))))
(/.f64 A (*.f64 V l))
(.f64 (sqrt.f64 A) (.f64 (sqrt.f64 A) (/.f64 1 (*.f64 V l))))
(/.f64 A (*.f64 V l))
(.f64 (sqrt.f64 (/.f64 A V)) (.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 l)))
(/.f64 A (*.f64 V l))
(.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(/.f64 A (*.f64 V l))
(.f64 (neg.f64 A) (/.f64 1 (.f64 l (neg.f64 V))))
(/.f64 A (*.f64 V l))
(*.f64 (neg.f64 (/.f64 A V)) (/.f64 1 (neg.f64 l)))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 1 V) (/.f64 A l))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 1 l) (/.f64 A V))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 1 (.f64 V l)) A)
(/.f64 A (*.f64 V l))
(.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (/.f64 A (.f64 V l)) 1/4)) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) 1) (/.f64 (cbrt.f64 A) (.f64 V l)))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 (sqrt.f64 A) 1) (/.f64 (sqrt.f64 A) (.f64 V l)))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 A (cbrt.f64 (*.f64 V l))))
(/.f64 (/.f64 A (cbrt.f64 (.f64 V l))) (pow.f64 (cbrt.f64 (.f64 V l)) 2))
(.f64 (/.f64 1 (sqrt.f64 (.f64 V l))) (/.f64 A (sqrt.f64 (*.f64 V l))))
(/.f64 (/.f64 A (sqrt.f64 (.f64 V l))) (sqrt.f64 (.f64 V l)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) V) (/.f64 (cbrt.f64 A) l))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) l) (/.f64 (cbrt.f64 A) V))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (/.f64 (pow.f64 (cbrt.f64 A) 2) (pow.f64 (cbrt.f64 (*.f64 V l)) 2)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (sqrt.f64 (.f64 V l))) (/.f64 (cbrt.f64 A) (sqrt.f64 (*.f64 V l))))
(.f64 (/.f64 1 (sqrt.f64 (.f64 V l))) (/.f64 A (sqrt.f64 (*.f64 V l))))
(/.f64 (/.f64 A (sqrt.f64 (.f64 V l))) (sqrt.f64 (.f64 V l)))
(*.f64 (/.f64 (sqrt.f64 A) l) (/.f64 (sqrt.f64 A) V))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 (sqrt.f64 A) (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 (sqrt.f64 A) (cbrt.f64 (*.f64 V l))))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 A (cbrt.f64 (*.f64 V l))))
(/.f64 (/.f64 A (cbrt.f64 (.f64 V l))) (pow.f64 (cbrt.f64 (.f64 V l)) 2))
(.f64 (/.f64 A 1) (/.f64 1 (.f64 V l)))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 A (pow.f64 (cbrt.f64 l) 2)) (/.f64 (/.f64 1 V) (cbrt.f64 l)))
(.f64 (/.f64 A (pow.f64 (cbrt.f64 l) 2)) (/.f64 1 (.f64 (cbrt.f64 l) V)))
(/.f64 (/.f64 A (*.f64 V (cbrt.f64 l))) (pow.f64 (cbrt.f64 l) 2))
(*.f64 (/.f64 A (sqrt.f64 l)) (/.f64 (/.f64 1 V) (sqrt.f64 l)))
(/.f64 (/.f64 (/.f64 A V) (sqrt.f64 l)) (sqrt.f64 l))
(/.f64 (/.f64 A (sqrt.f64 l)) (*.f64 V (sqrt.f64 l)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 l) 2)) (/.f64 (/.f64 A V) (cbrt.f64 l)))
(.f64 (/.f64 A (pow.f64 (cbrt.f64 l) 2)) (/.f64 1 (.f64 (cbrt.f64 l) V)))
(/.f64 (/.f64 A (*.f64 V (cbrt.f64 l))) (pow.f64 (cbrt.f64 l) 2))
(*.f64 (/.f64 1 (sqrt.f64 l)) (/.f64 (/.f64 A V) (sqrt.f64 l)))
(*.f64 (/.f64 A (sqrt.f64 l)) (/.f64 (/.f64 1 V) (sqrt.f64 l)))
(/.f64 (/.f64 (/.f64 A V) (sqrt.f64 l)) (sqrt.f64 l))
(/.f64 (/.f64 A (sqrt.f64 l)) (*.f64 V (sqrt.f64 l)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) 1) (/.f64 (cbrt.f64 (/.f64 A V)) l))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (/.f64 A (.f64 V l))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (pow.f64 (cbrt.f64 l) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (sqrt.f64 l)) (/.f64 (cbrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(*.f64 (/.f64 A (sqrt.f64 l)) (/.f64 (/.f64 1 V) (sqrt.f64 l)))
(/.f64 (/.f64 (/.f64 A V) (sqrt.f64 l)) (sqrt.f64 l))
(/.f64 (/.f64 A (sqrt.f64 l)) (*.f64 V (sqrt.f64 l)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) 1) (/.f64 (sqrt.f64 (/.f64 A V)) l))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) (pow.f64 (cbrt.f64 l) 2)) (/.f64 (sqrt.f64 (/.f64 A V)) (cbrt.f64 l)))
(.f64 (/.f64 A (pow.f64 (cbrt.f64 l) 2)) (/.f64 1 (.f64 (cbrt.f64 l) V)))
(/.f64 (/.f64 A (*.f64 V (cbrt.f64 l))) (pow.f64 (cbrt.f64 l) 2))
(.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 4))
(pow.f64 (/.f64 A (*.f64 V l)) 1)
(/.f64 A (*.f64 V l))
(pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 2)
(/.f64 A (*.f64 V l))
(pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 3)
(/.f64 A (*.f64 V l))
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2) 1/2)
(/.f64 A (*.f64 V l))
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3) 1/3)
(/.f64 A (*.f64 V l))
(pow.f64 (*.f64 l (/.f64 V A)) -1)
(/.f64 A (*.f64 V l))
(pow.f64 (*.f64 (/.f64 V A) l) -1)
(/.f64 A (*.f64 V l))
(pow.f64 (/.f64 (*.f64 l (/.f64 V A)) 1) -1)
(/.f64 A (*.f64 V l))
(neg.f64 (/.f64 A (*.f64 l (neg.f64 V))))
(/.f64 A (*.f64 V l))
(neg.f64 (/.f64 (/.f64 A V) (neg.f64 l)))
(/.f64 A (*.f64 V l))
(sqrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2))
(/.f64 A (*.f64 V l))
(log.f64 (exp.f64 (/.f64 A (*.f64 V l))))
(/.f64 A (*.f64 V l))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 A (*.f64 V l)))))
(/.f64 A (*.f64 V l))
(cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))
(/.f64 A (*.f64 V l))
(cbrt.f64 (/.f64 (pow.f64 A 3) (pow.f64 (*.f64 V l) 3)))
(/.f64 A (*.f64 V l))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 A V) 3) (pow.f64 l 3)))
(/.f64 A (*.f64 V l))
(expm1.f64 (log1p.f64 (/.f64 A (*.f64 V l))))
(/.f64 A (*.f64 V l))
(exp.f64 (log.f64 (/.f64 A (*.f64 V l))))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (log.f64 (/.f64 A (.f64 V l))) 1))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1) 1))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) 2))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2) 2))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1) 2))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (/.f64 A (.f64 V l)))) 3))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (.f64 2 (log.f64 (/.f64 A (*.f64 V l)))) 1/2))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 A (*.f64 V l)))) 1/3))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (log.f64 (.f64 l (/.f64 V A))) -1))
(/.f64 A (*.f64 V l))
(log1p.f64 (expm1.f64 (/.f64 A (*.f64 V l))))
(/.f64 A (*.f64 V l))
(+.f64 0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))
(.f64 3 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(.f64 2 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))))
(.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))) 2)
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) 1)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) 1)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (log.f64 (exp.f64 1)))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(.f64 1 (sqrt.f64 (/.f64 A (.f64 V l))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (sqrt.f64 A) (pow.f64 (/.f64 1 (.f64 V l)) 1/2))
(.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (.f64 V l))))
(*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 (/.f64 1 V) l)))
(.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (.f64 V l))))
(*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 (/.f64 1 V) l)))
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(*.f64 (sqrt.f64 (/.f64 A V)) (pow.f64 (/.f64 1 l) 1/2))
(*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))
(*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(.f64 (pow.f64 1 1/2) (sqrt.f64 (/.f64 A (.f64 V l))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2)) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2)) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
(/.f64 1 (sqrt.f64 (*.f64 l (/.f64 V A))))
(/.f64 1 (sqrt.f64 (/.f64 (*.f64 V l) A)))
(/.f64 1 (/.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V))))
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(/.f64 1 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))
(/.f64 (sqrt.f64 (neg.f64 (/.f64 A V))) (sqrt.f64 (neg.f64 l)))
(/.f64 (sqrt.f64 (/.f64 (neg.f64 A) V)) (sqrt.f64 (neg.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A (neg.f64 V))) (sqrt.f64 (neg.f64 l)))
(/.f64 (neg.f64 (sqrt.f64 A)) (neg.f64 (sqrt.f64 (*.f64 V l))))
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 A V))) (neg.f64 (sqrt.f64 l)))
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(pow.f64 (/.f64 A (*.f64 V l)) 1/2)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 1)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 3)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2) 1/3)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) 2)
(sqrt.f64 (/.f64 A (*.f64 V l)))
(pow.f64 (sqrt.f64 (*.f64 l (/.f64 V A))) -1)
(/.f64 1 (sqrt.f64 (*.f64 l (/.f64 V A))))
(/.f64 1 (sqrt.f64 (/.f64 (*.f64 V l) A)))
(pow.f64 (/.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V))) -1)
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 (sqrt.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(pow.f64 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)) -1)
(.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (.f64 V l))))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(fabs.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(log.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (log.f64 (/.f64 A (.f64 V l))) 1/2))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) 1))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1) 1/2))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2) 1))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1) 1))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) 3))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (.f64 3/2 (log.f64 (/.f64 A (*.f64 V l)))) 1/3))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(exp.f64 (.f64 (.f64 1/4 (log.f64 (/.f64 A (*.f64 V l)))) 2))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(+.f64 0 (/.f64 A (*.f64 V l)))
(/.f64 A (*.f64 V l))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (*.f64 V l))))))
(.f64 3 (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(.f64 2 (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (.f64 V l))))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 A (*.f64 V l)))) 1)
(/.f64 A (*.f64 V l))
(.f64 A (/.f64 1 (.f64 V l)))
(/.f64 A (*.f64 V l))
(.f64 A (.f64 (/.f64 1 V) (/.f64 1 l)))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 A (.f64 V l)) 1)
(/.f64 A (*.f64 V l))
(.f64 (/.f64 A (.f64 V l)) (log.f64 (exp.f64 1)))
(/.f64 A (*.f64 V l))
(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (sqrt.f64 (/.f64 A (*.f64 V l))))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 A V) (/.f64 1 l))
(/.f64 A (*.f64 V l))
(.f64 1 (/.f64 A (.f64 V l)))
(/.f64 A (*.f64 V l))
(.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (.f64 (cbrt.f64 (/.f64 A V)) (/.f64 1 l)))
(/.f64 A (*.f64 V l))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 2))
(/.f64 A (*.f64 V l))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 4))
(.f64 (pow.f64 (cbrt.f64 (/.f64 A (.f64 V l))) 2) (cbrt.f64 (/.f64 A (*.f64 V l))))
(/.f64 A (*.f64 V l))
(.f64 (pow.f64 (cbrt.f64 A) 2) (.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))))
(/.f64 A (*.f64 V l))
(.f64 (sqrt.f64 A) (.f64 (sqrt.f64 A) (/.f64 1 (*.f64 V l))))
(/.f64 A (*.f64 V l))
(.f64 (sqrt.f64 (/.f64 A V)) (.f64 (sqrt.f64 (/.f64 A V)) (/.f64 1 l)))
(/.f64 A (*.f64 V l))
(.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(/.f64 A (*.f64 V l))
(.f64 (neg.f64 A) (/.f64 1 (.f64 l (neg.f64 V))))
(/.f64 A (*.f64 V l))
(*.f64 (neg.f64 (/.f64 A V)) (/.f64 1 (neg.f64 l)))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 1 V) (/.f64 A l))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 1 l) (/.f64 A V))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 1 (.f64 V l)) A)
(/.f64 A (*.f64 V l))
(.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (/.f64 A (.f64 V l)) 1/4)) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) 1) (/.f64 (cbrt.f64 A) (.f64 V l)))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 (sqrt.f64 A) 1) (/.f64 (sqrt.f64 A) (.f64 V l)))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 A (cbrt.f64 (*.f64 V l))))
(/.f64 (/.f64 A (cbrt.f64 (.f64 V l))) (pow.f64 (cbrt.f64 (.f64 V l)) 2))
(.f64 (/.f64 1 (sqrt.f64 (.f64 V l))) (/.f64 A (sqrt.f64 (*.f64 V l))))
(/.f64 (/.f64 A (sqrt.f64 (.f64 V l))) (sqrt.f64 (.f64 V l)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) V) (/.f64 (cbrt.f64 A) l))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) l) (/.f64 (cbrt.f64 A) V))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (cbrt.f64 (/.f64 A (*.f64 V l))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (/.f64 (pow.f64 (cbrt.f64 A) 2) (pow.f64 (cbrt.f64 (*.f64 V l)) 2)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (sqrt.f64 (.f64 V l))) (/.f64 (cbrt.f64 A) (sqrt.f64 (*.f64 V l))))
(.f64 (/.f64 1 (sqrt.f64 (.f64 V l))) (/.f64 A (sqrt.f64 (*.f64 V l))))
(/.f64 (/.f64 A (sqrt.f64 (.f64 V l))) (sqrt.f64 (.f64 V l)))
(*.f64 (/.f64 (sqrt.f64 A) l) (/.f64 (sqrt.f64 A) V))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 (sqrt.f64 A) (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 (sqrt.f64 A) (cbrt.f64 (*.f64 V l))))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 V l)) 2)) (/.f64 A (cbrt.f64 (*.f64 V l))))
(/.f64 (/.f64 A (cbrt.f64 (.f64 V l))) (pow.f64 (cbrt.f64 (.f64 V l)) 2))
(.f64 (/.f64 A 1) (/.f64 1 (.f64 V l)))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 A (pow.f64 (cbrt.f64 l) 2)) (/.f64 (/.f64 1 V) (cbrt.f64 l)))
(.f64 (/.f64 A (pow.f64 (cbrt.f64 l) 2)) (/.f64 1 (.f64 (cbrt.f64 l) V)))
(/.f64 (/.f64 A (*.f64 V (cbrt.f64 l))) (pow.f64 (cbrt.f64 l) 2))
(*.f64 (/.f64 A (sqrt.f64 l)) (/.f64 (/.f64 1 V) (sqrt.f64 l)))
(/.f64 (/.f64 (/.f64 A V) (sqrt.f64 l)) (sqrt.f64 l))
(/.f64 (/.f64 A (sqrt.f64 l)) (*.f64 V (sqrt.f64 l)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 l) 2)) (/.f64 (/.f64 A V) (cbrt.f64 l)))
(.f64 (/.f64 A (pow.f64 (cbrt.f64 l) 2)) (/.f64 1 (.f64 (cbrt.f64 l) V)))
(/.f64 (/.f64 A (*.f64 V (cbrt.f64 l))) (pow.f64 (cbrt.f64 l) 2))
(*.f64 (/.f64 1 (sqrt.f64 l)) (/.f64 (/.f64 A V) (sqrt.f64 l)))
(*.f64 (/.f64 A (sqrt.f64 l)) (/.f64 (/.f64 1 V) (sqrt.f64 l)))
(/.f64 (/.f64 (/.f64 A V) (sqrt.f64 l)) (sqrt.f64 l))
(/.f64 (/.f64 A (sqrt.f64 l)) (*.f64 V (sqrt.f64 l)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) 1) (/.f64 (cbrt.f64 (/.f64 A V)) l))
(/.f64 A (*.f64 V l))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (/.f64 A (.f64 V l))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (pow.f64 (cbrt.f64 l) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) 2) (sqrt.f64 l)) (/.f64 (cbrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(*.f64 (/.f64 A (sqrt.f64 l)) (/.f64 (/.f64 1 V) (sqrt.f64 l)))
(/.f64 (/.f64 (/.f64 A V) (sqrt.f64 l)) (sqrt.f64 l))
(/.f64 (/.f64 A (sqrt.f64 l)) (*.f64 V (sqrt.f64 l)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) 1) (/.f64 (sqrt.f64 (/.f64 A V)) l))
(/.f64 A (*.f64 V l))
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) (pow.f64 (cbrt.f64 l) 2)) (/.f64 (sqrt.f64 (/.f64 A V)) (cbrt.f64 l)))
(.f64 (/.f64 A (pow.f64 (cbrt.f64 l) 2)) (/.f64 1 (.f64 (cbrt.f64 l) V)))
(/.f64 (/.f64 A (*.f64 V (cbrt.f64 l))) (pow.f64 (cbrt.f64 l) 2))
(.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
(.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 4))
(pow.f64 (/.f64 A (*.f64 V l)) 1)
(/.f64 A (*.f64 V l))
(pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 2)
(/.f64 A (*.f64 V l))
(pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 3)
(/.f64 A (*.f64 V l))
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2) 1/2)
(/.f64 A (*.f64 V l))
(pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3) 1/3)
(/.f64 A (*.f64 V l))
(pow.f64 (*.f64 l (/.f64 V A)) -1)
(/.f64 A (*.f64 V l))
(pow.f64 (*.f64 (/.f64 V A) l) -1)
(/.f64 A (*.f64 V l))
(pow.f64 (/.f64 (*.f64 l (/.f64 V A)) 1) -1)
(/.f64 A (*.f64 V l))
(neg.f64 (/.f64 A (*.f64 l (neg.f64 V))))
(/.f64 A (*.f64 V l))
(neg.f64 (/.f64 (/.f64 A V) (neg.f64 l)))
(/.f64 A (*.f64 V l))
(sqrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2))
(/.f64 A (*.f64 V l))
(log.f64 (exp.f64 (/.f64 A (*.f64 V l))))
(/.f64 A (*.f64 V l))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 A (*.f64 V l)))))
(/.f64 A (*.f64 V l))
(cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))
(/.f64 A (*.f64 V l))
(cbrt.f64 (/.f64 (pow.f64 A 3) (pow.f64 (*.f64 V l) 3)))
(/.f64 A (*.f64 V l))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 A V) 3) (pow.f64 l 3)))
(/.f64 A (*.f64 V l))
(expm1.f64 (log1p.f64 (/.f64 A (*.f64 V l))))
(/.f64 A (*.f64 V l))
(exp.f64 (log.f64 (/.f64 A (*.f64 V l))))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (log.f64 (/.f64 A (.f64 V l))) 1))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1) 1))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l)))) 2))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2) 2))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1) 2))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (/.f64 A (.f64 V l)))) 3))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (.f64 2 (log.f64 (/.f64 A (*.f64 V l)))) 1/2))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 A (*.f64 V l)))) 1/3))
(/.f64 A (*.f64 V l))
(exp.f64 (.f64 (log.f64 (.f64 l (/.f64 V A))) -1))
(/.f64 A (*.f64 V l))
(log1p.f64 (expm1.f64 (/.f64 A (*.f64 V l))))
(/.f64 A (*.f64 V l))

eval29.0ms (0.3%)

Compiler: Compiled 2075 to 784 computations (62.2% saved)

prune47.0ms (0.6%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	137	14	151
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	137	16	153

Accuracy

95.2%

Counts

153 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
	17.7%	(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 (neg.f64 A) V)) (sqrt.f64 (neg.f64 l))))
	64.5%	(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
	42.5%	(.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (.f64 l (neg.f64 V)))))
	39.8%	(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
▶	39.8%	(.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A))))
	68.1%	(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
	71.3%	(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
	64.4%	(.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
	39.9%	(.f64 c0 (.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 (/.f64 1 V) l))))
	32.5%	(.f64 c0 (sqrt.f64 (/.f64 (/.f64 A (sqrt.f64 (.f64 V l))) (sqrt.f64 (*.f64 V l)))))
✓	70.7%	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
✓	67.9%	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
▶	70.7%	(.f64 c0 (sqrt.f64 (.f64 (/.f64 A V) (/.f64 1 l))))
▶	71.7%	(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
▶	67.9%	(.f64 c0 (sqrt.f64 (.f64 A (*.f64 (/.f64 1 V) (/.f64 1 l)))))
▶	56.7%	(.f64 c0 (cbrt.f64 (pow.f64 (/.f64 A (.f64 V l)) 3/2)))

Compiler

Compiled 434 to 306 computations (29.5% saved)

localize765.0ms (9.4%)

Compiler: Compiled 205 to 89 computations (56.6% saved)
Precisions: Click to see histograms. Total time spent on operations: 532.0ms
Operation ival-div, time spent: 157.0ms, 30.0% of total-time
Operation ival-pow, time spent: 146.0ms, 27.0% of total-time
Operation ival-mult, time spent: 111.0ms, 21.0% of total-time
Operation ival-sqrt, time spent: 86.0ms, 16.0% of total-time
Operation const, time spent: 17.0ms, 3.0% of total-time
Operation ival-cbrt, time spent: 15.0ms, 3.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 4 to 4 computations (0% saved)

prune9.0ms (0.1%)

Pruning

16 alts after pruning (9 fresh and 7 done)

	Kept	Total
New	0	0
Fresh	9	9
Picked	5	5
Done	2	2
Total	16	16

Accuracy

95.2%

Counts

16 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	17.7%	(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 (neg.f64 A) V)) (sqrt.f64 (neg.f64 l))))
▶	64.5%	(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
	42.5%	(.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (.f64 l (neg.f64 V)))))
	39.8%	(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
✓	39.8%	(.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A))))
▶	68.1%	(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
▶	71.3%	(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
▶	64.4%	(.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
	39.9%	(.f64 c0 (.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 (/.f64 1 V) l))))
	32.5%	(.f64 c0 (sqrt.f64 (/.f64 (/.f64 A (sqrt.f64 (.f64 V l))) (sqrt.f64 (*.f64 V l)))))
✓	70.7%	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
✓	67.9%	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
✓	70.7%	(.f64 c0 (sqrt.f64 (.f64 (/.f64 A V) (/.f64 1 l))))
✓	71.7%	(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
✓	67.9%	(.f64 c0 (sqrt.f64 (.f64 A (*.f64 (/.f64 1 V) (/.f64 1 l)))))
✓	56.7%	(.f64 c0 (cbrt.f64 (pow.f64 (/.f64 A (.f64 V l)) 3/2)))

Compiler

Compiled 361 to 253 computations (29.9% saved)

localize172.0ms (2.1%)

Compiler: Compiled 187 to 50 computations (73.3% saved)
Precisions: Click to see histograms. Total time spent on operations: 71.0ms
Operation ival-div, time spent: 26.0ms, 37.0% of total-time
Operation ival-sqrt, time spent: 26.0ms, 37.0% of total-time
Operation ival-mult, time spent: 14.0ms, 20.0% of total-time
Operation ival-neg, time spent: 2.0ms, 3.0% of total-time
Operation const, time spent: 2.0ms, 3.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 4 to 4 computations (0% saved)

prune7.0ms (0.1%)

Pruning

16 alts after pruning (4 fresh and 12 done)

	Kept	Total
New	0	0
Fresh	4	4
Picked	5	5
Done	7	7
Total	16	16

Accuracy

95.2%

Counts

16 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	17.7%	(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 (neg.f64 A) V)) (sqrt.f64 (neg.f64 l))))
✓	64.5%	(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
▶	42.5%	(.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (.f64 l (neg.f64 V)))))
▶	39.8%	(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
✓	39.8%	(.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A))))
✓	68.1%	(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
✓	71.3%	(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
✓	64.4%	(.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
▶	39.9%	(.f64 c0 (.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 (/.f64 1 V) l))))
▶	32.5%	(.f64 c0 (sqrt.f64 (/.f64 (/.f64 A (sqrt.f64 (.f64 V l))) (sqrt.f64 (*.f64 V l)))))
✓	70.7%	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
✓	67.9%	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
✓	70.7%	(.f64 c0 (sqrt.f64 (.f64 (/.f64 A V) (/.f64 1 l))))
✓	71.7%	(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
✓	67.9%	(.f64 c0 (sqrt.f64 (.f64 A (*.f64 (/.f64 1 V) (/.f64 1 l)))))
✓	56.7%	(.f64 c0 (cbrt.f64 (pow.f64 (/.f64 A (.f64 V l)) 3/2)))

Compiler

Compiled 229 to 161 computations (29.7% saved)

localize142.0ms (1.7%)

Compiler: Compiled 169 to 42 computations (75.1% saved)
Precisions: Click to see histograms. Total time spent on operations: 59.0ms
Operation ival-sqrt, time spent: 23.0ms, 39.0% of total-time
Operation ival-div, time spent: 21.0ms, 36.0% of total-time
Operation ival-mult, time spent: 12.0ms, 20.0% of total-time
Operation ival-neg, time spent: 2.0ms, 3.0% of total-time
Operation const, time spent: 1.0ms, 2.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 4 to 4 computations (0% saved)

prune18.0ms (0.2%)

Pruning

16 alts after pruning (0 fresh and 16 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	4	4
Done	12	12
Total	16	16

Accuracy

95.2%

Counts

16 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	17.7%	(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 (neg.f64 A) V)) (sqrt.f64 (neg.f64 l))))
✓	64.5%	(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
✓	42.5%	(.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (.f64 l (neg.f64 V)))))
✓	39.8%	(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
✓	39.8%	(.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A))))
✓	68.1%	(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
✓	71.3%	(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
✓	64.4%	(.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
✓	39.9%	(.f64 c0 (.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 (/.f64 1 V) l))))
✓	32.5%	(.f64 c0 (sqrt.f64 (/.f64 (/.f64 A (sqrt.f64 (.f64 V l))) (sqrt.f64 (*.f64 V l)))))
✓	70.7%	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
✓	67.9%	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
✓	70.7%	(.f64 c0 (sqrt.f64 (.f64 (/.f64 A V) (/.f64 1 l))))
✓	71.7%	(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
✓	67.9%	(.f64 c0 (sqrt.f64 (.f64 A (*.f64 (/.f64 1 V) (/.f64 1 l)))))
✓	56.7%	(.f64 c0 (cbrt.f64 (pow.f64 (/.f64 A (.f64 V l)) 3/2)))

Compiler

Compiled 398 to 247 computations (37.9% saved)

regimes193.0ms (2.4%)

Counts

16 → 5

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 A V) (/.f64 1 l))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
(.f64 c0 (sqrt.f64 (.f64 A (*.f64 (/.f64 1 V) (/.f64 1 l)))))
(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(.f64 c0 (cbrt.f64 (pow.f64 (/.f64 A (.f64 V l)) 3/2)))
(.f64 c0 (.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 (/.f64 1 V) l))))
(.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
(.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A))))
(.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (.f64 l (neg.f64 V)))))
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 (neg.f64 A) V)) (sqrt.f64 (neg.f64 l))))
(.f64 c0 (sqrt.f64 (/.f64 (/.f64 A (sqrt.f64 (.f64 V l))) (sqrt.f64 (*.f64 V l)))))

Outputs
(.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
(.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (.f64 l (neg.f64 V)))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
(.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))

Calls

8 calls:

51.0ms	V
30.0ms	A
30.0ms	(*.f64 V l)
23.0ms	c0
15.0ms	l

Results

Accuracy	Segments	Branch
73.8%	3	`c0`
85.7%	4	`A`
79.9%	7	`V`
82.7%	2	`l`
80.7%	3	`(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))`
81.8%	3	`(sqrt.f64 (/.f64 A (*.f64 V l)))`
81.8%	3	`(/.f64 A (*.f64 V l))`
92.8%	5	`(*.f64 V l)`

Compiler

Compiled 58 to 42 computations (27.6% saved)

regimes28.0ms (0.3%)

Counts

13 → 5

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 A V) (/.f64 1 l))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
(.f64 c0 (sqrt.f64 (.f64 A (*.f64 (/.f64 1 V) (/.f64 1 l)))))
(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(.f64 c0 (cbrt.f64 (pow.f64 (/.f64 A (.f64 V l)) 3/2)))
(.f64 c0 (.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 (/.f64 1 V) l))))
(.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
(.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A))))

Outputs
(.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
(.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))

Calls

1 calls:

26.0ms

(*.f64 V l)

Results

Accuracy	Segments	Branch
88.2%	5	`(*.f64 V l)`

Compiler

Compiled 7 to 5 computations (28.6% saved)

regimes26.0ms (0.3%)

Counts

12 → 5

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 A V) (/.f64 1 l))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
(.f64 c0 (sqrt.f64 (.f64 A (*.f64 (/.f64 1 V) (/.f64 1 l)))))
(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(.f64 c0 (cbrt.f64 (pow.f64 (/.f64 A (.f64 V l)) 3/2)))
(.f64 c0 (.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 (/.f64 1 V) l))))
(.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))

Outputs
(.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))

Calls

1 calls:

25.0ms

(*.f64 V l)

Results

Accuracy	Segments	Branch
88.2%	5	`(*.f64 V l)`

Compiler

Compiled 7 to 5 computations (28.6% saved)

regimes24.0ms (0.3%)

Counts

11 → 5

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 A V) (/.f64 1 l))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
(.f64 c0 (sqrt.f64 (.f64 A (*.f64 (/.f64 1 V) (/.f64 1 l)))))
(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(.f64 c0 (cbrt.f64 (pow.f64 (/.f64 A (.f64 V l)) 3/2)))
(.f64 c0 (.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 (/.f64 1 V) l))))

Outputs
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))

Calls

1 calls:

23.0ms

(*.f64 V l)

Results

Accuracy	Segments	Branch
88.1%	5	`(*.f64 V l)`

Compiler

Compiled 7 to 5 computations (28.6% saved)

regimes59.0ms (0.7%)

Counts

8 → 5

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 A V) (/.f64 1 l))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
(.f64 c0 (sqrt.f64 (.f64 A (*.f64 (/.f64 1 V) (/.f64 1 l)))))
(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))

Outputs
(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))

Calls

5 calls:

19.0ms	(*.f64 V l)
10.0ms	l
10.0ms	A
10.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
9.0ms	(/.f64 A (*.f64 V l))

Results

Accuracy	Segments	Branch
77.7%	3	`(sqrt.f64 (/.f64 A (*.f64 V l)))`
77.7%	3	`(/.f64 A (*.f64 V l))`
78.2%	2	`A`
74.2%	2	`l`
84.5%	5	`(*.f64 V l)`

Compiler

Compiled 36 to 26 computations (27.8% saved)

regimes55.0ms (0.7%)

Counts

7 → 3

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 A V) (/.f64 1 l))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))
(.f64 c0 (sqrt.f64 (.f64 A (*.f64 (/.f64 1 V) (/.f64 1 l)))))

Outputs
(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
(.f64 c0 (sqrt.f64 (.f64 A (*.f64 (/.f64 1 V) (/.f64 1 l)))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))

Calls

5 calls:

18.0ms	(*.f64 V l)
9.0ms	A
9.0ms	(/.f64 A (*.f64 V l))
9.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
9.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

Results

Accuracy	Segments	Branch
77.7%	3	`(sqrt.f64 (/.f64 A (*.f64 V l)))`
77.7%	3	`(/.f64 A (*.f64 V l))`
73.5%	2	`A`
77.4%	3	`(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))`
77.8%	5	`(*.f64 V l)`

Compiler

Compiled 43 to 30 computations (30.2% saved)

regimes18.0ms (0.2%)

Counts

6 → 3

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 A V) (/.f64 1 l))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))
(.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A))))

Outputs
(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))

Calls

2 calls:

9.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
8.0ms	(/.f64 A (*.f64 V l))

Results

Accuracy	Segments	Branch
77.7%	3	`(sqrt.f64 (/.f64 A (*.f64 V l)))`
77.7%	3	`(/.f64 A (*.f64 V l))`

Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes23.0ms (0.3%)

Counts

4 → 3

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
(.f64 c0 (sqrt.f64 (.f64 (/.f64 A V) (/.f64 1 l))))

Outputs
(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))

Calls

3 calls:

8.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
7.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
7.0ms	(/.f64 A (*.f64 V l))

Results

Accuracy	Segments	Branch
76.6%	3	`(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))`
76.8%	3	`(sqrt.f64 (/.f64 A (*.f64 V l)))`
76.8%	3	`(/.f64 A (*.f64 V l))`

Compiler

Compiled 31 to 21 computations (32.3% saved)

regimes13.0ms (0.2%)

Counts

2 → 3

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))

Outputs
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))

Calls

2 calls:

6.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
6.0ms	(/.f64 A (*.f64 V l))

Results

Accuracy	Segments	Branch
76.8%	3	`(sqrt.f64 (/.f64 A (*.f64 V l)))`
76.8%	3	`(/.f64 A (*.f64 V l))`

Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes20.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

Outputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

Calls

8 calls:

3.0ms	(*.f64 V l)
3.0ms	A
2.0ms	l
2.0ms	c0
2.0ms	V

Results

Accuracy	Segments	Branch
67.9%	1	`V`
67.9%	1	`c0`
67.9%	1	`(*.f64 V l)`
67.9%	1	`A`
67.9%	1	`l`
67.9%	1	`(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))`
67.9%	1	`(sqrt.f64 (/.f64 A (*.f64 V l)))`
67.9%	1	`(/.f64 A (*.f64 V l))`

Compiler

Compiled 58 to 42 computations (27.6% saved)

bsearch1.0ms (0%)

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	6.405484377539127e+265	1.6017734356242466e+273
0.0ms	0.0	7.311785830156005e-291
0.0ms	-1.533927217e-314	-3.1e-322
0.0ms	-inf	-6.718189588331196e+291

Compiler

Compiled 19 to 14 computations (26.3% saved)

bsearch0.0ms (0%)

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	6.405484377539127e+265	1.6017734356242466e+273
0.0ms	0.0	7.311785830156005e-291
0.0ms	-8.809440166514436e-204	-2.4536506929744046e-206
0.0ms	-4.46660028063486e+51	-7.388361676074092e+46

Compiler

Compiled 19 to 14 computations (26.3% saved)

bsearch0.0ms (0%)

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	6.405484377539127e+265	1.6017734356242466e+273
0.0ms	0.0	7.311785830156005e-291
0.0ms	-8.809440166514436e-204	-2.4536506929744046e-206
0.0ms	-4.46660028063486e+51	-7.388361676074092e+46

Compiler

Compiled 19 to 14 computations (26.3% saved)

bsearch0.0ms (0%)

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	6.405484377539127e+265	1.6017734356242466e+273
0.0ms	0.0	7.311785830156005e-291
0.0ms	-8.809440166514436e-204	-2.4536506929744046e-206
0.0ms	-4.46660028063486e+51	-7.388361676074092e+46

Compiler

Compiled 19 to 14 computations (26.3% saved)

bsearch0.0ms (0%)

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	6.405484377539127e+265	1.6017734356242466e+273
0.0ms	0.0	7.311785830156005e-291
0.0ms	-1.0908887195982365e-224	-8.200850016814483e-231
0.0ms	-inf	-6.718189588331196e+291

Compiler

Compiled 19 to 14 computations (26.3% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0933475193817362e+275	1.474001468595236e+275
0.0ms	0.0	1e-322

Compiler

Compiled 19 to 14 computations (26.3% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0933475193817362e+275	1.474001468595236e+275
0.0ms	0.0	1e-322

Compiler

Compiled 19 to 14 computations (26.3% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0933475193817362e+275	1.474001468595236e+275
0.0ms	0.0	1e-322

Compiler

Compiled 19 to 14 computations (26.3% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0933475193817362e+275	1.474001468595236e+275
0.0ms	0.0	1e-322

Compiler

Compiled 19 to 14 computations (26.3% saved)

simplify38.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	101	2136
1	135	2136
2	144	2136
3	150	2136
4	153	2136
5	154	2136

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 (.f64 V l) -inf.0) (.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))) (if (<=.f64 (.f64 V l) -2024022533/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (.f64 l (neg.f64 V))))) (if (<=.f64 (.f64 V l) 0) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A))))) (if (<=.f64 (.f64 V l) 100000000000000003071603269111014971471508642847250073203719093632845102290734406131617241518267700770571769927225306004888484302202258708981207125345588886413817469658847334809978790776999353375325137186550055668797052865128496484823152800700833072414104710501367808) (.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (.f64 V l) -3999999999999999972883794697446511905846833767776256) (.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))) (if (<=.f64 (.f64 V l) -441252181048159/88250436209631796779659651318894620729729809745361797646356310339459182198787453122058560031100937405340558296821374893066353027058699717113329784015217065825962377858834878767894752265396985241367417483713579073929216) (.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A)))) (if (<=.f64 (.f64 V l) 0) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A))))) (if (<=.f64 (.f64 V l) 100000000000000003071603269111014971471508642847250073203719093632845102290734406131617241518267700770571769927225306004888484302202258708981207125345588886413817469658847334809978790776999353375325137186550055668797052865128496484823152800700833072414104710501367808) (.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (.f64 V l) -3999999999999999972883794697446511905846833767776256) (.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))) (if (<=.f64 (.f64 V l) -441252181048159/88250436209631796779659651318894620729729809745361797646356310339459182198787453122058560031100937405340558296821374893066353027058699717113329784015217065825962377858834878767894752265396985241367417483713579073929216) (.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A)))) (if (<=.f64 (.f64 V l) 0) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A))))) (if (<=.f64 (.f64 V l) 100000000000000003071603269111014971471508642847250073203719093632845102290734406131617241518267700770571769927225306004888484302202258708981207125345588886413817469658847334809978790776999353375325137186550055668797052865128496484823152800700833072414104710501367808) (.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (.f64 V l) -3999999999999999972883794697446511905846833767776256) (.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) (if (<=.f64 (.f64 V l) -441252181048159/88250436209631796779659651318894620729729809745361797646356310339459182198787453122058560031100937405340558296821374893066353027058699717113329784015217065825962377858834878767894752265396985241367417483713579073929216) (.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A)))) (if (<=.f64 (.f64 V l) 0) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A))))) (if (<=.f64 (.f64 V l) 100000000000000003071603269111014971471508642847250073203719093632845102290734406131617241518267700770571769927225306004888484302202258708981207125345588886413817469658847334809978790776999353375325137186550055668797052865128496484823152800700833072414104710501367808) (.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l)))) (.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (.f64 V l) -inf.0) (.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l)))) (if (<=.f64 (.f64 V l) -4167509020549909/416750902054990892129990736920078612321547395144744260024766113235252327363602004470089512554472143171433119412089577527868050103382460317522709753270676877880947348719625909903942392869488376545560313508492912623855671752342278830697742336) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (if (<=.f64 (.f64 V l) 0) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A))))) (if (<=.f64 (.f64 V l) 100000000000000003071603269111014971471508642847250073203719093632845102290734406131617241518267700770571769927225306004888484302202258708981207125345588886413817469658847334809978790776999353375325137186550055668797052865128496484823152800700833072414104710501367808) (.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (/.f64 A (.f64 V l)) 0) (.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l)))) (if (<=.f64 (/.f64 A (.f64 V l)) 119999999999999998253091774026129133331018110160577510335439383050768506783005304405865259614789326644227231967360640803136201381148138272977880740313839181440255025076649495431507318289517751532823426503884936492642979431782902780926584299422840528969714536661908300738068480) (.f64 c0 (sqrt.f64 (.f64 A (.f64 (/.f64 1 V) (/.f64 1 l))))) (.f64 c0 (/.f64 1 (sqrt.f64 (*.f64 l (/.f64 V A)))))))
(if (<=.f64 (/.f64 A (.f64 V l)) 0) (.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l)))) (if (<=.f64 (/.f64 A (.f64 V l)) 119999999999999998253091774026129133331018110160577510335439383050768506783005304405865259614789326644227231967360640803136201381148138272977880740313839181440255025076649495431507318289517751532823426503884936492642979431782902780926584299422840528969714536661908300738068480) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))))
(if (<=.f64 (/.f64 A (.f64 V l)) 0) (.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l)))) (if (<=.f64 (/.f64 A (.f64 V l)) 119999999999999998253091774026129133331018110160577510335439383050768506783005304405865259614789326644227231967360640803136201381148138272977880740313839181440255025076649495431507318289517751532823426503884936492642979431782902780926584299422840528969714536661908300738068480) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))
(if (<=.f64 (/.f64 A (.f64 V l)) 0) (.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))) (if (<=.f64 (/.f64 A (.f64 V l)) 119999999999999998253091774026129133331018110160577510335439383050768506783005304405865259614789326644227231967360640803136201381148138272977880740313839181440255025076649495431507318289517751532823426503884936492642979431782902780926584299422840528969714536661908300738068480) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

Outputs
(if (<=.f64 (.f64 V l) -inf.0) (.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))) (if (<=.f64 (.f64 V l) -2024022533/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (.f64 l (neg.f64 V))))) (if (<=.f64 (.f64 V l) 0) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A))))) (if (<=.f64 (.f64 V l) 100000000000000003071603269111014971471508642847250073203719093632845102290734406131617241518267700770571769927225306004888484302202258708981207125345588886413817469658847334809978790776999353375325137186550055668797052865128496484823152800700833072414104710501367808) (.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (.f64 V l) -inf.0) (.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))) (if (<=.f64 (.f64 V l) -2024022533/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (.f64 V (neg.f64 l))))) (if (<=.f64 (.f64 V l) 0) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A))))) (if (<=.f64 (.f64 V l) 100000000000000003071603269111014971471508642847250073203719093632845102290734406131617241518267700770571769927225306004888484302202258708981207125345588886413817469658847334809978790776999353375325137186550055668797052865128496484823152800700833072414104710501367808) (.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (.f64 V l) -3999999999999999972883794697446511905846833767776256) (.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))) (if (<=.f64 (.f64 V l) -441252181048159/88250436209631796779659651318894620729729809745361797646356310339459182198787453122058560031100937405340558296821374893066353027058699717113329784015217065825962377858834878767894752265396985241367417483713579073929216) (.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A)))) (if (<=.f64 (.f64 V l) 0) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A))))) (if (<=.f64 (.f64 V l) 100000000000000003071603269111014971471508642847250073203719093632845102290734406131617241518267700770571769927225306004888484302202258708981207125345588886413817469658847334809978790776999353375325137186550055668797052865128496484823152800700833072414104710501367808) (.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 A)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (.f64 V l) -3999999999999999972883794697446511905846833767776256) (.f64 c0 (.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l)))) (if (<=.f64 (.f64 V l) -441252181048159/88250436209631796779659651318894620729729809745361797646356310339459182198787453122058560031100937405340558296821374893066353027058699717113329784015217065825962377858834878767894752265396985241367417483713579073929216) (.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A)))) (if (<=.f64 (.f64 V l) 0) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A))))) (if (<=.f64 (.f64 V l) 100000000000000003071603269111014971471508642847250073203719093632845102290734406131617241518267700770571769927225306004888484302202258708981207125345588886413817469658847334809978790776999353375325137186550055668797052865128496484823152800700833072414104710501367808) (.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (.f64 V l) -3999999999999999972883794697446511905846833767776256) (.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) (if (<=.f64 (.f64 V l) -441252181048159/88250436209631796779659651318894620729729809745361797646356310339459182198787453122058560031100937405340558296821374893066353027058699717113329784015217065825962377858834878767894752265396985241367417483713579073929216) (.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 (.f64 V l) A)))) (if (<=.f64 (.f64 V l) 0) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A))))) (if (<=.f64 (.f64 V l) 100000000000000003071603269111014971471508642847250073203719093632845102290734406131617241518267700770571769927225306004888484302202258708981207125345588886413817469658847334809978790776999353375325137186550055668797052865128496484823152800700833072414104710501367808) (.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l)))) (.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (.f64 V l) -inf.0) (.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l)))) (if (<=.f64 (.f64 V l) -4167509020549909/416750902054990892129990736920078612321547395144744260024766113235252327363602004470089512554472143171433119412089577527868050103382460317522709753270676877880947348719625909903942392869488376545560313508492912623855671752342278830697742336) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (if (<=.f64 (.f64 V l) 0) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A))))) (if (<=.f64 (.f64 V l) 100000000000000003071603269111014971471508642847250073203719093632845102290734406131617241518267700770571769927225306004888484302202258708981207125345588886413817469658847334809978790776999353375325137186550055668797052865128496484823152800700833072414104710501367808) (.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (/.f64 A (.f64 V l)) 0) (.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l)))) (if (<=.f64 (/.f64 A (.f64 V l)) 119999999999999998253091774026129133331018110160577510335439383050768506783005304405865259614789326644227231967360640803136201381148138272977880740313839181440255025076649495431507318289517751532823426503884936492642979431782902780926584299422840528969714536661908300738068480) (.f64 c0 (sqrt.f64 (.f64 A (.f64 (/.f64 1 V) (/.f64 1 l))))) (.f64 c0 (/.f64 1 (sqrt.f64 (*.f64 l (/.f64 V A)))))))
(if (<=.f64 (/.f64 A (.f64 V l)) 0) (.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l)))) (if (<=.f64 (/.f64 A (.f64 V l)) 119999999999999998253091774026129133331018110160577510335439383050768506783005304405865259614789326644227231967360640803136201381148138272977880740313839181440255025076649495431507318289517751532823426503884936492642979431782902780926584299422840528969714536661908300738068480) (.f64 c0 (sqrt.f64 (.f64 A (.f64 (/.f64 1 l) (/.f64 1 V))))) (.f64 c0 (/.f64 1 (sqrt.f64 (*.f64 l (/.f64 V A)))))))
(if (<=.f64 (/.f64 A (.f64 V l)) 0) (.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l)))) (if (<=.f64 (/.f64 A (.f64 V l)) 119999999999999998253091774026129133331018110160577510335439383050768506783005304405865259614789326644227231967360640803136201381148138272977880740313839181440255025076649495431507318289517751532823426503884936492642979431782902780926584299422840528969714536661908300738068480) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (.f64 c0 (/.f64 1 (sqrt.f64 (.f64 l (/.f64 V A)))))))
(if (<=.f64 (/.f64 A (.f64 V l)) 0) (.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l)))) (if (<=.f64 (/.f64 A (.f64 V l)) 119999999999999998253091774026129133331018110160577510335439383050768506783005304405865259614789326644227231967360640803136201381148138272977880740313839181440255025076649495431507318289517751532823426503884936492642979431782902780926584299422840528969714536661908300738068480) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))
(if (<=.f64 (/.f64 A (.f64 V l)) 0) (.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))) (if (<=.f64 (/.f64 A (.f64 V l)) 119999999999999998253091774026129133331018110160577510335439383050768506783005304405865259614789326644227231967360640803136201381148138272977880740313839181440255025076649495431507318289517751532823426503884936492642979431782902780926584299422840528969714536661908300738068480) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))
(if (or (<=.f64 (/.f64 A (.f64 V l)) 0) (not (<=.f64 (/.f64 A (.f64 V l)) 119999999999999998253091774026129133331018110160577510335439383050768506783005304405865259614789326644227231967360640803136201381148138272977880740313839181440255025076649495431507318289517751532823426503884936492642979431782902780926584299422840528969714536661908300738068480))) (.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))) (.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

Compiler

Compiled 575 to 321 computations (44.2% saved)

soundness2.0s (24.7%)

Rules

3010×	`fma-def`
1720×	`times-frac`
1720×	`times-frac`
1720×	`times-frac`
1720×	`times-frac`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	96
1	207	96
2	2466	96
0	307	8924
1	692	8436
2	2154	8256
0	16	96
1	207	96
2	2466	96
0	16	96
1	207	96
2	2466	96
0	16	96
1	207	96
2	2466	96
0	59	600
1	128	600
2	205	600
3	453	600
4	1029	600
5	2264	600
6	4268	600
7	6001	600
8	7824	600
0	16	96
1	207	96
2	2466	96
0	16	96
1	207	96
2	2466	96
0	16	96
1	207	96
2	2466	96
0	307	8924
1	692	8436
2	2154	8256
0	16	96
1	207	96
2	2466	96
0	307	8924
1	692	8436
2	2154	8256
0	307	8924
1	692	8436
2	2154	8256

Stop Event

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

Compiler

Compiled 543 to 294 computations (45.9% saved)

end1.0ms (0%)

preprocess168.0ms (2%)

Remove: (negabs c0)
Compiler: Compiled 2050 to 964 computations (53% saved)

analyze380.0ms (4.6%)

sample3.1s (37.5%)

preprocess246.0ms (3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize240.0ms (2.9%)

series20.0ms (0.2%)

rewrite248.0ms (3%)

simplify107.0ms (1.3%)

eval29.0ms (0.3%)

prune47.0ms (0.6%)

localize765.0ms (9.4%)

eval0.0ms (0%)

prune9.0ms (0.1%)

localize172.0ms (2.1%)

eval0.0ms (0%)

prune7.0ms (0.1%)

localize142.0ms (1.7%)

eval0.0ms (0%)

prune18.0ms (0.2%)

regimes193.0ms (2.4%)

regimes28.0ms (0.3%)

regimes26.0ms (0.3%)

regimes24.0ms (0.3%)

regimes59.0ms (0.7%)

regimes55.0ms (0.7%)

regimes18.0ms (0.2%)

regimes23.0ms (0.3%)

regimes13.0ms (0.2%)

regimes20.0ms (0.2%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify38.0ms (0.5%)

soundness2.0s (24.7%)

end1.0ms (0%)

preprocess168.0ms (2%)

Profiling