Henrywood and Agarwal, Equation (3)

Time bar (total: 2.3s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze323.0ms (13.9%)

Memory
2.3MiB live, 386.7MiB allocated; 189ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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 10 to 10 computations (0% saved)

sample1.5s (64.5%)

Memory
51.5MiB live, 1 924.5MiB allocated; 281ms collecting garbage
Samples
552.0ms8 256×0valid
430.0ms6 700×0invalid
Precisions
Click to see histograms. Total time spent on operations: 464.0ms
ival-mult!: 254.0ms (54.7% of total)
ival-sqrt: 114.0ms (24.6% of total)
ival-div!: 93.0ms (20% of total)
adjust: 3.0ms (0.6% of total)
Bogosity

explain76.0ms (3.3%)

Memory
-18.0MiB live, 138.1MiB allocated; 16ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
720-5(-1.0516927342760173e+109 9.102736761711899e-204 -1.849570133981315e+74 -1.4852372253823645e+39)(sqrt.f64 (/.f64 A (*.f64 V l)))
200-1(-1.9752021384784018e-180 1.17704739890822e-20 -9.874296025862627e-41 -1.7462901208362318e-274)(/.f64 A (*.f64 V l))
90-3(954767.5305694964 4.116770253594907e-207 8.40159422682921e+196 4.376307938804367e+240)(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
00-0-A
00-0-(*.f64 V l)
00-0-V
00-0-l
00-0-c0
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (/.f64 A (*.f64 V l)))oflow-rescue360
↳(sqrt.f64 (/.f64 A (*.f64 V l)))overflow5
↳(/.f64 A (*.f64 V l))overflow41
↳(*.f64 V l)overflow32
sqrt.f64(sqrt.f64 (/.f64 A (*.f64 V l)))uflow-rescue310
↳(sqrt.f64 (/.f64 A (*.f64 V l)))underflow7
↳(/.f64 A (*.f64 V l))underflow38
↳(*.f64 V l)underflow33
/.f64(/.f64 A (*.f64 V l))n/o100
↳(*.f64 V l)overflow32
/.f64(/.f64 A (*.f64 V l))n/u90
↳(*.f64 V l)underflow33
*.f64(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))n*o40
*.f64(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))n*u20
Confusion
Predicted +Predicted -
+595
-33159
Precision
0.6413043478260869
Recall
0.921875
Confusion?
Predicted +Predicted MaybePredicted -
+5905
-330159
Precision?
0.6413043478260869
Recall?
0.921875
Freqs
test
numberfreq
0164
192
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
35.0ms512×0valid
Compiler

Compiled 64 to 28 computations (56.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.0ms
ival-mult!: 5.0ms (42.2% of total)
ival-sqrt: 4.0ms (33.8% of total)
ival-div!: 3.0ms (25.3% of total)
adjust: 0.0ms (0% of total)

preprocess26.0ms (1.1%)

Memory
-2.3MiB live, 43.1MiB allocated; 4ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
051130
1102130
2126130
3164130
4212130
5271130
6337130
7400130
8472130
9487130
10502130
088
0128
1168
2188
0188
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Outputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
Symmetry

(negabs c0)

(sort V l)

Compiler

Compiled 8 to 8 computations (0% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Compiler

Compiled 0 to 4 computations (-∞% saved)

prune0.0ms (0%)

Memory
2.3MiB live, 2.3MiB allocated; 0ms collecting garbage
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶77.2%
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 8 to 8 computations (0% saved)

series30.0ms (1.3%)

Memory
-5.4MiB live, 38.8MiB allocated; 9ms collecting garbage
Counts
8 → 12
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
c0
(sqrt.f64 (/.f64 A (*.f64 V l)))
(/.f64 A (*.f64 V l))
A
(*.f64 V l)
V
l
Outputs
#s(approx (* c0 (sqrt (/ A (* V l)))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx c0 #s(hole binary64 c0))
#s(approx (sqrt (/ A (* V l))) #s(hole binary64 (sqrt (/ A (* V l)))))
#s(approx (/ A (* V l)) #s(hole binary64 (/ A (* V l))))
#s(approx A #s(hole binary64 A))
#s(approx (* c0 (sqrt (/ A (* V l)))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (sqrt (/ A (* V l))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))))
#s(approx (* V l) #s(hole binary64 (* V l)))
#s(approx V #s(hole binary64 V))
#s(approx (* c0 (sqrt (/ A (* V l)))) #s(hole binary64 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2)))))
#s(approx (sqrt (/ A (* V l))) #s(hole binary64 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2))))
#s(approx l #s(hole binary64 l))
Calls

12 calls:

TimeVariablePointExpression
13.0ms
l
@-inf
((* c0 (sqrt (/ A (* V l)))) c0 (sqrt (/ A (* V l))) (/ A (* V l)) A (* V l) V l)
2.0ms
l
@0
((* c0 (sqrt (/ A (* V l)))) c0 (sqrt (/ A (* V l))) (/ A (* V l)) A (* V l) V l)
2.0ms
A
@-inf
((* c0 (sqrt (/ A (* V l)))) c0 (sqrt (/ A (* V l))) (/ A (* V l)) A (* V l) V l)
2.0ms
V
@-inf
((* c0 (sqrt (/ A (* V l)))) c0 (sqrt (/ A (* V l))) (/ A (* V l)) A (* V l) V l)
2.0ms
A
@inf
((* c0 (sqrt (/ A (* V l)))) c0 (sqrt (/ A (* V l))) (/ A (* V l)) A (* V l) V l)

rewrite28.0ms (1.2%)

Memory
5.1MiB live, 51.5MiB allocated; 3ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034170
039156
079156
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
20 → 26
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
c0
(sqrt.f64 (/.f64 A (*.f64 V l)))
(/.f64 A (*.f64 V l))
A
(*.f64 V l)
V
l
#s(approx (* c0 (sqrt (/ A (* V l)))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx c0 #s(hole binary64 c0))
#s(approx (sqrt (/ A (* V l))) #s(hole binary64 (sqrt (/ A (* V l)))))
#s(approx (/ A (* V l)) #s(hole binary64 (/ A (* V l))))
#s(approx A #s(hole binary64 A))
#s(approx (* c0 (sqrt (/ A (* V l)))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (sqrt (/ A (* V l))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))))
#s(approx (* V l) #s(hole binary64 (* V l)))
#s(approx V #s(hole binary64 V))
#s(approx (* c0 (sqrt (/ A (* V l)))) #s(hole binary64 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2)))))
#s(approx (sqrt (/ A (* V l))) #s(hole binary64 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2))))
#s(approx l #s(hole binary64 l))
Outputs
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))
c0
(pow.f64 (/.f64 A (*.f64 l V)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V)))
(sqrt.f64 (/.f64 A (*.f64 l V)))
(/.f64 (/.f64 A V) l)
(/.f64 (neg.f64 A) (neg.f64 (*.f64 l V)))
(/.f64 A (*.f64 l V))
A
(*.f64 l V)
(*.f64 V l)
V
l
#s(approx (* c0 (sqrt (/ A (* V l)))) (*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0))
#s(approx c0 c0)
#s(approx (sqrt (/ A (* V l))) (sqrt.f64 (/.f64 A (*.f64 l V))))
#s(approx (/ A (* V l)) (/.f64 A (*.f64 l V)))
#s(approx A A)
#s(approx (* c0 (sqrt (/ A (* V l)))) (neg.f64 (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 A (*.f64 l V))))))
#s(approx (sqrt (/ A (* V l))) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 A (*.f64 l V))))))
#s(approx (* V l) (*.f64 l V))
#s(approx V V)
#s(approx (* c0 (sqrt (/ A (* V l)))) (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 A (*.f64 l V)))))
#s(approx (sqrt (/ A (* V l))) (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 A (*.f64 l V)))))
#s(approx l l)

eval2.0ms (0.1%)

Memory
3.5MiB live, 3.5MiB allocated; 0ms collecting garbage
Compiler

Compiled 288 to 71 computations (75.3% saved)

prune3.0ms (0.1%)

Memory
4.6MiB live, 4.6MiB allocated; 0ms collecting garbage
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New24226
Fresh000
Picked011
Done000
Total24327
Accuracy
85.9%
Counts
27 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶41.3%
(*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V))))
▶75.0%
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
✓77.2%
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 25 to 25 computations (0% saved)

series18.0ms (0.8%)

Memory
24.9MiB live, 24.8MiB allocated; 0ms collecting garbage
Counts
13 → 21
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
c0
(sqrt.f64 (/.f64 (/.f64 A V) l))
(/.f64 (/.f64 A V) l)
(/.f64 A V)
A
V
l
(*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V))))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V)))
(sqrt.f64 A)
(sqrt.f64 (*.f64 l V))
(*.f64 l V)
Outputs
#s(approx (* c0 (sqrt (/ (/ A V) l))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx c0 #s(hole binary64 c0))
#s(approx (* c0 (/ (sqrt A) (sqrt (* l V)))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx (sqrt (/ (/ A V) l)) #s(hole binary64 (sqrt (/ A (* V l)))))
#s(approx (/ (/ A V) l) #s(hole binary64 (/ A (* V l))))
#s(approx (/ A V) #s(hole binary64 (/ A V)))
#s(approx A #s(hole binary64 A))
#s(approx (/ (sqrt A) (sqrt (* l V))) #s(hole binary64 (sqrt (/ A (* V l)))))
#s(approx (sqrt A) #s(hole binary64 (sqrt A)))
#s(approx (* c0 (sqrt (/ (/ A V) l))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (sqrt (/ (/ A V) l)) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))))
#s(approx (* c0 (/ (sqrt A) (sqrt (* l V)))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (/ (sqrt A) (sqrt (* l V))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))))
#s(approx (sqrt A) #s(hole binary64 (* -1 (* (sqrt A) (pow (sqrt -1) 2)))))
#s(approx V #s(hole binary64 V))
#s(approx (sqrt (* l V)) #s(hole binary64 (sqrt (* V l))))
#s(approx (* l V) #s(hole binary64 (* V l)))
#s(approx (* c0 (sqrt (/ (/ A V) l))) #s(hole binary64 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2)))))
#s(approx (sqrt (/ (/ A V) l)) #s(hole binary64 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2))))
#s(approx (sqrt (* l V)) #s(hole binary64 (* -1 (* (sqrt (* V l)) (pow (sqrt -1) 2)))))
#s(approx l #s(hole binary64 l))
Calls

12 calls:

TimeVariablePointExpression
3.0ms
V
@-inf
((* c0 (sqrt (/ (/ A V) l))) c0 (sqrt (/ (/ A V) l)) (/ (/ A V) l) (/ A V) A V l (* c0 (/ (sqrt A) (sqrt (* l V)))) (/ (sqrt A) (sqrt (* l V))) (sqrt A) (sqrt (* l V)) (* l V))
3.0ms
l
@-inf
((* c0 (sqrt (/ (/ A V) l))) c0 (sqrt (/ (/ A V) l)) (/ (/ A V) l) (/ A V) A V l (* c0 (/ (sqrt A) (sqrt (* l V)))) (/ (sqrt A) (sqrt (* l V))) (sqrt A) (sqrt (* l V)) (* l V))
2.0ms
A
@-inf
((* c0 (sqrt (/ (/ A V) l))) c0 (sqrt (/ (/ A V) l)) (/ (/ A V) l) (/ A V) A V l (* c0 (/ (sqrt A) (sqrt (* l V)))) (/ (sqrt A) (sqrt (* l V))) (sqrt A) (sqrt (* l V)) (* l V))
2.0ms
A
@inf
((* c0 (sqrt (/ (/ A V) l))) c0 (sqrt (/ (/ A V) l)) (/ (/ A V) l) (/ A V) A V l (* c0 (/ (sqrt A) (sqrt (* l V)))) (/ (sqrt A) (sqrt (* l V))) (sqrt A) (sqrt (* l V)) (* l V))
1.0ms
V
@0
((* c0 (sqrt (/ (/ A V) l))) c0 (sqrt (/ (/ A V) l)) (/ (/ A V) l) (/ A V) A V l (* c0 (/ (sqrt A) (sqrt (* l V)))) (/ (sqrt A) (sqrt (* l V))) (sqrt A) (sqrt (* l V)) (* l V))

rewrite34.0ms (1.5%)

Memory
-25.5MiB live, 29.0MiB allocated; 7ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
061322
074286
0159286
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
34 → 55
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
c0
(sqrt.f64 (/.f64 (/.f64 A V) l))
(/.f64 (/.f64 A V) l)
(/.f64 A V)
A
V
l
(*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V))))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V)))
(sqrt.f64 A)
(sqrt.f64 (*.f64 l V))
(*.f64 l V)
#s(approx (* c0 (sqrt (/ (/ A V) l))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx c0 #s(hole binary64 c0))
#s(approx (* c0 (/ (sqrt A) (sqrt (* l V)))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx (sqrt (/ (/ A V) l)) #s(hole binary64 (sqrt (/ A (* V l)))))
#s(approx (/ (/ A V) l) #s(hole binary64 (/ A (* V l))))
#s(approx (/ A V) #s(hole binary64 (/ A V)))
#s(approx A #s(hole binary64 A))
#s(approx (/ (sqrt A) (sqrt (* l V))) #s(hole binary64 (sqrt (/ A (* V l)))))
#s(approx (sqrt A) #s(hole binary64 (sqrt A)))
#s(approx (* c0 (sqrt (/ (/ A V) l))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (sqrt (/ (/ A V) l)) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))))
#s(approx (* c0 (/ (sqrt A) (sqrt (* l V)))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (/ (sqrt A) (sqrt (* l V))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))))
#s(approx (sqrt A) #s(hole binary64 (* -1 (* (sqrt A) (pow (sqrt -1) 2)))))
#s(approx V #s(hole binary64 V))
#s(approx (sqrt (* l V)) #s(hole binary64 (sqrt (* V l))))
#s(approx (* l V) #s(hole binary64 (* V l)))
#s(approx (* c0 (sqrt (/ (/ A V) l))) #s(hole binary64 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2)))))
#s(approx (sqrt (/ (/ A V) l)) #s(hole binary64 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2))))
#s(approx (sqrt (* l V)) #s(hole binary64 (* -1 (* (sqrt (* V l)) (pow (sqrt -1) 2)))))
#s(approx l #s(hole binary64 l))
Outputs
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 l V)))
c0
(pow.f64 (/.f64 (/.f64 A V) l) #s(literal 1/2 binary64))
(/.f64 (neg.f64 (sqrt.f64 A)) (neg.f64 (sqrt.f64 (*.f64 l V))))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V)))
(sqrt.f64 (/.f64 (/.f64 A V) l))
(/.f64 (neg.f64 (/.f64 A V)) (neg.f64 l))
(/.f64 (neg.f64 A) (neg.f64 (*.f64 l V)))
(/.f64 (/.f64 A V) l)
(/.f64 A (*.f64 l V))
(/.f64 (neg.f64 A) (neg.f64 V))
(/.f64 A V)
A
V
l
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 l V)))
(pow.f64 (/.f64 (/.f64 A V) l) #s(literal 1/2 binary64))
(/.f64 (neg.f64 (sqrt.f64 A)) (neg.f64 (sqrt.f64 (*.f64 l V))))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V)))
(sqrt.f64 (/.f64 (/.f64 A V) l))
(pow.f64 A #s(literal 1/2 binary64))
(sqrt.f64 A)
(*.f64 (sqrt.f64 l) (sqrt.f64 V))
(*.f64 (sqrt.f64 V) (sqrt.f64 l))
(pow.f64 (*.f64 l V) #s(literal 1/2 binary64))
(sqrt.f64 (*.f64 l V))
(*.f64 l V)
(*.f64 V l)
#s(approx (* c0 (/ (sqrt A) (sqrt (* l V)))) (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0))
#s(approx c0 c0)
#s(approx (* c0 (/ (sqrt A) (sqrt (* l V)))) (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0))
#s(approx (sqrt (/ (/ A V) l)) (sqrt.f64 (/.f64 (/.f64 A V) l)))
#s(approx (/ (/ A V) l) (/.f64 (/.f64 A V) l))
#s(approx (/ A V) (/.f64 A V))
#s(approx A A)
#s(approx (sqrt (/ (/ A V) l)) (sqrt.f64 (/.f64 (/.f64 A V) l)))
#s(approx (sqrt A) (sqrt.f64 A))
#s(approx (* c0 (/ (sqrt A) (sqrt (* l V)))) (neg.f64 (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 (/.f64 A V) l)))))
#s(approx (sqrt (/ (/ A V) l)) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 (/.f64 A V) l)))))
#s(approx (* c0 (/ (sqrt A) (sqrt (* l V)))) (neg.f64 (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 (/.f64 A V) l)))))
#s(approx (sqrt (/ (/ A V) l)) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 (/.f64 A V) l)))))
#s(approx (sqrt A) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 A))))
#s(approx V V)
#s(approx (sqrt (* l V)) (sqrt.f64 (*.f64 l V)))
#s(approx (* l V) (*.f64 l V))
#s(approx (* c0 (/ (sqrt A) (sqrt (* l V)))) (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 (/.f64 A V) l))))
#s(approx (sqrt (/ (/ A V) l)) (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 (/.f64 A V) l))))
#s(approx (sqrt (* l V)) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (*.f64 l V)))))
#s(approx l l)

eval4.0ms (0.2%)

Memory
8.0MiB live, 7.9MiB allocated; 0ms collecting garbage
Compiler

Compiled 559 to 140 computations (75% saved)

prune3.0ms (0.1%)

Memory
7.2MiB live, 7.2MiB allocated; 0ms collecting garbage
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New48351
Fresh000
Picked022
Done011
Total48654
Accuracy
93.5%
Counts
54 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶39.6%
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 l V)))
▶63.2%
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
▶23.2%
(*.f64 c0 (/.f64 (sqrt.f64 A) (*.f64 (sqrt.f64 l) (sqrt.f64 V))))
✓41.3%
(*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V))))
✓75.0%
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
✓77.2%
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 53 to 53 computations (0% saved)

series29.0ms (1.2%)

Memory
1.8MiB live, 45.5MiB allocated; 6ms collecting garbage
Counts
18 → 33
Calls
Call 1
Inputs
(*.f64 c0 (/.f64 (sqrt.f64 A) (*.f64 (sqrt.f64 l) (sqrt.f64 V))))
c0
(/.f64 (sqrt.f64 A) (*.f64 (sqrt.f64 l) (sqrt.f64 V)))
(sqrt.f64 A)
A
(*.f64 (sqrt.f64 l) (sqrt.f64 V))
(sqrt.f64 l)
l
(sqrt.f64 V)
V
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(sqrt.f64 (/.f64 A V))
(/.f64 A V)
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 l V)))
(*.f64 c0 (sqrt.f64 A))
(sqrt.f64 (*.f64 l V))
(*.f64 l V)
Outputs
#s(approx (* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx c0 #s(hole binary64 c0))
#s(approx (* c0 (/ (sqrt (/ A V)) (sqrt l))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx (/ (* c0 (sqrt A)) (sqrt (* l V))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx (* c0 (sqrt A)) #s(hole binary64 (* (sqrt A) c0)))
#s(approx (/ (sqrt A) (* (sqrt l) (sqrt V))) #s(hole binary64 (sqrt (/ A (* V l)))))
#s(approx (sqrt A) #s(hole binary64 (sqrt A)))
#s(approx A #s(hole binary64 A))
#s(approx (/ (sqrt (/ A V)) (sqrt l)) #s(hole binary64 (sqrt (/ A (* V l)))))
#s(approx (sqrt (/ A V)) #s(hole binary64 (sqrt (/ A V))))
#s(approx (/ A V) #s(hole binary64 (/ A V)))
#s(approx (* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (/ (sqrt A) (* (sqrt l) (sqrt V))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))))
#s(approx (sqrt A) #s(hole binary64 (* -1 (* (sqrt A) (pow (sqrt -1) 2)))))
#s(approx (* c0 (/ (sqrt (/ A V)) (sqrt l))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (/ (sqrt (/ A V)) (sqrt l)) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))))
#s(approx (sqrt (/ A V)) #s(hole binary64 (* -1 (* (sqrt (/ A V)) (pow (sqrt -1) 2)))))
#s(approx (/ (* c0 (sqrt A)) (sqrt (* l V))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (* c0 (sqrt A)) #s(hole binary64 (* -1 (* (sqrt A) (* c0 (pow (sqrt -1) 2))))))
#s(approx (* (sqrt l) (sqrt V)) #s(hole binary64 (sqrt (* V l))))
#s(approx (sqrt V) #s(hole binary64 (sqrt V)))
#s(approx V #s(hole binary64 V))
#s(approx (sqrt (* l V)) #s(hole binary64 (sqrt (* V l))))
#s(approx (* l V) #s(hole binary64 (* V l)))
#s(approx (* (sqrt l) (sqrt V)) #s(hole binary64 (* -1 (* (sqrt (* V l)) (pow (sqrt -1) 2)))))
#s(approx (sqrt V) #s(hole binary64 (* -1 (* (sqrt V) (pow (sqrt -1) 2)))))
#s(approx (* c0 (/ (sqrt (/ A V)) (sqrt l))) #s(hole binary64 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2)))))
#s(approx (/ (sqrt (/ A V)) (sqrt l)) #s(hole binary64 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2))))
#s(approx (sqrt (/ A V)) #s(hole binary64 (* (sqrt (/ A V)) (pow (sqrt -1) 2))))
#s(approx (sqrt (* l V)) #s(hole binary64 (* -1 (* (sqrt (* V l)) (pow (sqrt -1) 2)))))
#s(approx (sqrt l) #s(hole binary64 (sqrt l)))
#s(approx l #s(hole binary64 l))
#s(approx (sqrt l) #s(hole binary64 (* -1 (* (sqrt l) (pow (sqrt -1) 2)))))
Calls

12 calls:

TimeVariablePointExpression
7.0ms
c0
@-inf
((* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) c0 (/ (sqrt A) (* (sqrt l) (sqrt V))) (sqrt A) A (* (sqrt l) (sqrt V)) (sqrt l) l (sqrt V) V (* c0 (/ (sqrt (/ A V)) (sqrt l))) (/ (sqrt (/ A V)) (sqrt l)) (sqrt (/ A V)) (/ A V) (/ (* c0 (sqrt A)) (sqrt (* l V))) (* c0 (sqrt A)) (sqrt (* l V)) (* l V))
5.0ms
A
@-inf
((* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) c0 (/ (sqrt A) (* (sqrt l) (sqrt V))) (sqrt A) A (* (sqrt l) (sqrt V)) (sqrt l) l (sqrt V) V (* c0 (/ (sqrt (/ A V)) (sqrt l))) (/ (sqrt (/ A V)) (sqrt l)) (sqrt (/ A V)) (/ A V) (/ (* c0 (sqrt A)) (sqrt (* l V))) (* c0 (sqrt A)) (sqrt (* l V)) (* l V))
3.0ms
V
@-inf
((* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) c0 (/ (sqrt A) (* (sqrt l) (sqrt V))) (sqrt A) A (* (sqrt l) (sqrt V)) (sqrt l) l (sqrt V) V (* c0 (/ (sqrt (/ A V)) (sqrt l))) (/ (sqrt (/ A V)) (sqrt l)) (sqrt (/ A V)) (/ A V) (/ (* c0 (sqrt A)) (sqrt (* l V))) (* c0 (sqrt A)) (sqrt (* l V)) (* l V))
2.0ms
l
@-inf
((* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) c0 (/ (sqrt A) (* (sqrt l) (sqrt V))) (sqrt A) A (* (sqrt l) (sqrt V)) (sqrt l) l (sqrt V) V (* c0 (/ (sqrt (/ A V)) (sqrt l))) (/ (sqrt (/ A V)) (sqrt l)) (sqrt (/ A V)) (/ A V) (/ (* c0 (sqrt A)) (sqrt (* l V))) (* c0 (sqrt A)) (sqrt (* l V)) (* l V))
2.0ms
A
@inf
((* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) c0 (/ (sqrt A) (* (sqrt l) (sqrt V))) (sqrt A) A (* (sqrt l) (sqrt V)) (sqrt l) l (sqrt V) V (* c0 (/ (sqrt (/ A V)) (sqrt l))) (/ (sqrt (/ A V)) (sqrt l)) (sqrt (/ A V)) (/ A V) (/ (* c0 (sqrt A)) (sqrt (* l V))) (* c0 (sqrt A)) (sqrt (* l V)) (* l V))

rewrite27.0ms (1.2%)

Memory
-9.7MiB live, 33.9MiB allocated; 5ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
092514
0114431
0233431
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
51 → 89
Calls
Call 1
Inputs
(*.f64 c0 (/.f64 (sqrt.f64 A) (*.f64 (sqrt.f64 l) (sqrt.f64 V))))
c0
(/.f64 (sqrt.f64 A) (*.f64 (sqrt.f64 l) (sqrt.f64 V)))
(sqrt.f64 A)
A
(*.f64 (sqrt.f64 l) (sqrt.f64 V))
(sqrt.f64 l)
l
(sqrt.f64 V)
V
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(sqrt.f64 (/.f64 A V))
(/.f64 A V)
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 l V)))
(*.f64 c0 (sqrt.f64 A))
(sqrt.f64 (*.f64 l V))
(*.f64 l V)
#s(approx (* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx c0 #s(hole binary64 c0))
#s(approx (* c0 (/ (sqrt (/ A V)) (sqrt l))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx (/ (* c0 (sqrt A)) (sqrt (* l V))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx (* c0 (sqrt A)) #s(hole binary64 (* (sqrt A) c0)))
#s(approx (/ (sqrt A) (* (sqrt l) (sqrt V))) #s(hole binary64 (sqrt (/ A (* V l)))))
#s(approx (sqrt A) #s(hole binary64 (sqrt A)))
#s(approx A #s(hole binary64 A))
#s(approx (/ (sqrt (/ A V)) (sqrt l)) #s(hole binary64 (sqrt (/ A (* V l)))))
#s(approx (sqrt (/ A V)) #s(hole binary64 (sqrt (/ A V))))
#s(approx (/ A V) #s(hole binary64 (/ A V)))
#s(approx (* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (/ (sqrt A) (* (sqrt l) (sqrt V))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))))
#s(approx (sqrt A) #s(hole binary64 (* -1 (* (sqrt A) (pow (sqrt -1) 2)))))
#s(approx (* c0 (/ (sqrt (/ A V)) (sqrt l))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (/ (sqrt (/ A V)) (sqrt l)) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))))
#s(approx (sqrt (/ A V)) #s(hole binary64 (* -1 (* (sqrt (/ A V)) (pow (sqrt -1) 2)))))
#s(approx (/ (* c0 (sqrt A)) (sqrt (* l V))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (* c0 (sqrt A)) #s(hole binary64 (* -1 (* (sqrt A) (* c0 (pow (sqrt -1) 2))))))
#s(approx (* (sqrt l) (sqrt V)) #s(hole binary64 (sqrt (* V l))))
#s(approx (sqrt V) #s(hole binary64 (sqrt V)))
#s(approx V #s(hole binary64 V))
#s(approx (sqrt (* l V)) #s(hole binary64 (sqrt (* V l))))
#s(approx (* l V) #s(hole binary64 (* V l)))
#s(approx (* (sqrt l) (sqrt V)) #s(hole binary64 (* -1 (* (sqrt (* V l)) (pow (sqrt -1) 2)))))
#s(approx (sqrt V) #s(hole binary64 (* -1 (* (sqrt V) (pow (sqrt -1) 2)))))
#s(approx (* c0 (/ (sqrt (/ A V)) (sqrt l))) #s(hole binary64 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2)))))
#s(approx (/ (sqrt (/ A V)) (sqrt l)) #s(hole binary64 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2))))
#s(approx (sqrt (/ A V)) #s(hole binary64 (* (sqrt (/ A V)) (pow (sqrt -1) 2))))
#s(approx (sqrt (* l V)) #s(hole binary64 (* -1 (* (sqrt (* V l)) (pow (sqrt -1) 2)))))
#s(approx (sqrt l) #s(hole binary64 (sqrt l)))
#s(approx l #s(hole binary64 l))
#s(approx (sqrt l) #s(hole binary64 (* -1 (* (sqrt l) (pow (sqrt -1) 2)))))
Outputs
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
(/.f64 (neg.f64 (*.f64 (sqrt.f64 A) c0)) (neg.f64 (sqrt.f64 (*.f64 V l))))
(/.f64 (*.f64 (sqrt.f64 A) c0) (sqrt.f64 (*.f64 V l)))
c0
(pow.f64 (/.f64 (/.f64 A V) l) #s(literal 1/2 binary64))
(/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))
(/.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)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(sqrt.f64 (/.f64 (/.f64 A V) l))
(pow.f64 A #s(literal 1/2 binary64))
(sqrt.f64 A)
A
(*.f64 (sqrt.f64 V) (sqrt.f64 l))
(*.f64 (sqrt.f64 l) (sqrt.f64 V))
(pow.f64 (*.f64 V l) #s(literal 1/2 binary64))
(sqrt.f64 (*.f64 V l))
(pow.f64 l #s(literal 1/2 binary64))
(sqrt.f64 l)
l
(pow.f64 V #s(literal 1/2 binary64))
(sqrt.f64 V)
V
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
(/.f64 (neg.f64 (*.f64 (sqrt.f64 A) c0)) (neg.f64 (sqrt.f64 (*.f64 V l))))
(/.f64 (*.f64 (sqrt.f64 A) c0) (sqrt.f64 (*.f64 V l)))
(pow.f64 (/.f64 (/.f64 A V) l) #s(literal 1/2 binary64))
(/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))
(/.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)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))
(sqrt.f64 (/.f64 (/.f64 A V) l))
(pow.f64 (/.f64 A V) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 A) (sqrt.f64 V))
(sqrt.f64 (/.f64 A V))
(/.f64 (neg.f64 A) (neg.f64 V))
(/.f64 A V)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
(/.f64 (neg.f64 (*.f64 (sqrt.f64 A) c0)) (neg.f64 (sqrt.f64 (*.f64 V l))))
(/.f64 (*.f64 (sqrt.f64 A) c0) (sqrt.f64 (*.f64 V l)))
(*.f64 (sqrt.f64 A) c0)
(*.f64 c0 (sqrt.f64 A))
(*.f64 (sqrt.f64 V) (sqrt.f64 l))
(*.f64 (sqrt.f64 l) (sqrt.f64 V))
(pow.f64 (*.f64 V l) #s(literal 1/2 binary64))
(sqrt.f64 (*.f64 V l))
(*.f64 V l)
(*.f64 l V)
#s(approx (* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0))
#s(approx c0 c0)
#s(approx (* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0))
#s(approx (* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0))
#s(approx (* c0 (sqrt A)) (*.f64 (sqrt.f64 A) c0))
#s(approx (/ (sqrt A) (* (sqrt l) (sqrt V))) (sqrt.f64 (/.f64 (/.f64 A V) l)))
#s(approx (sqrt A) (sqrt.f64 A))
#s(approx A A)
#s(approx (/ (sqrt A) (* (sqrt l) (sqrt V))) (sqrt.f64 (/.f64 (/.f64 A V) l)))
#s(approx (sqrt (/ A V)) (sqrt.f64 (/.f64 A V)))
#s(approx (/ A V) (/.f64 A V))
#s(approx (* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) (neg.f64 (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 (/.f64 A V) l)))))
#s(approx (/ (sqrt A) (* (sqrt l) (sqrt V))) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 (/.f64 A V) l)))))
#s(approx (sqrt A) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 A))))
#s(approx (* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) (neg.f64 (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 (/.f64 A V) l)))))
#s(approx (/ (sqrt A) (* (sqrt l) (sqrt V))) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 (/.f64 A V) l)))))
#s(approx (sqrt (/ A V)) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 A V)))))
#s(approx (* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) (neg.f64 (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 (/.f64 A V) l)))))
#s(approx (* c0 (sqrt A)) (neg.f64 (*.f64 (*.f64 (sqrt.f64 A) c0) #s(literal -1 binary64))))
#s(approx (* (sqrt l) (sqrt V)) (sqrt.f64 (*.f64 V l)))
#s(approx (sqrt V) (sqrt.f64 V))
#s(approx V V)
#s(approx (* (sqrt l) (sqrt V)) (sqrt.f64 (*.f64 V l)))
#s(approx (* l V) (*.f64 V l))
#s(approx (* (sqrt l) (sqrt V)) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (*.f64 V l)))))
#s(approx (sqrt V) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 V))))
#s(approx (* c0 (/ (sqrt A) (* (sqrt l) (sqrt V)))) (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 (/.f64 A V) l))))
#s(approx (/ (sqrt A) (* (sqrt l) (sqrt V))) (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 (/.f64 A V) l))))
#s(approx (sqrt (/ A V)) (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 A V))))
#s(approx (* (sqrt l) (sqrt V)) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (*.f64 V l)))))
#s(approx (sqrt l) (sqrt.f64 l))
#s(approx l l)
#s(approx (sqrt l) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 l))))

eval5.0ms (0.2%)

Memory
14.5MiB live, 14.6MiB allocated; 0ms collecting garbage
Compiler

Compiled 981 to 211 computations (78.5% saved)

prune7.0ms (0.3%)

Memory
-27.0MiB live, 17.2MiB allocated; 4ms collecting garbage
Pruning

8 alts after pruning (2 fresh and 6 done)

PrunedKeptTotal
New82284
Fresh000
Picked033
Done033
Total82890
Accuracy
93.5%
Counts
90 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶61.2%
(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
✓39.6%
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 l V)))
▶23.2%
(*.f64 c0 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 V)) (sqrt.f64 l)))
✓63.2%
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
✓23.2%
(*.f64 c0 (/.f64 (sqrt.f64 A) (*.f64 (sqrt.f64 l) (sqrt.f64 V))))
✓41.3%
(*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V))))
✓75.0%
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
✓77.2%
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 72 to 72 computations (0% saved)

series18.0ms (0.8%)

Memory
32.3MiB live, 32.3MiB allocated; 0ms collecting garbage
Counts
14 → 26
Calls
Call 1
Inputs
(*.f64 c0 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 V)) (sqrt.f64 l)))
c0
(/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 V)) (sqrt.f64 l))
(/.f64 (sqrt.f64 A) (sqrt.f64 V))
(sqrt.f64 A)
A
(sqrt.f64 V)
V
(sqrt.f64 l)
l
(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
(*.f64 c0 (sqrt.f64 (/.f64 A V)))
(sqrt.f64 (/.f64 A V))
(/.f64 A V)
Outputs
#s(approx (* c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx c0 #s(hole binary64 c0))
#s(approx (/ (* c0 (sqrt (/ A V))) (sqrt l)) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx (* c0 (sqrt (/ A V))) #s(hole binary64 (* (sqrt (/ A V)) c0)))
#s(approx (/ (/ (sqrt A) (sqrt V)) (sqrt l)) #s(hole binary64 (sqrt (/ A (* V l)))))
#s(approx (/ (sqrt A) (sqrt V)) #s(hole binary64 (sqrt (/ A V))))
#s(approx (sqrt A) #s(hole binary64 (sqrt A)))
#s(approx A #s(hole binary64 A))
#s(approx (sqrt (/ A V)) #s(hole binary64 (sqrt (/ A V))))
#s(approx (/ A V) #s(hole binary64 (/ A V)))
#s(approx (* c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (/ (/ (sqrt A) (sqrt V)) (sqrt l)) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))))
#s(approx (/ (sqrt A) (sqrt V)) #s(hole binary64 (* -1 (* (sqrt (/ A V)) (pow (sqrt -1) 2)))))
#s(approx (sqrt A) #s(hole binary64 (* -1 (* (sqrt A) (pow (sqrt -1) 2)))))
#s(approx (/ (* c0 (sqrt (/ A V))) (sqrt l)) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (* c0 (sqrt (/ A V))) #s(hole binary64 (* -1 (* (sqrt (/ A V)) (* c0 (pow (sqrt -1) 2))))))
#s(approx (sqrt (/ A V)) #s(hole binary64 (* -1 (* (sqrt (/ A V)) (pow (sqrt -1) 2)))))
#s(approx (sqrt V) #s(hole binary64 (sqrt V)))
#s(approx V #s(hole binary64 V))
#s(approx (sqrt V) #s(hole binary64 (* -1 (* (sqrt V) (pow (sqrt -1) 2)))))
#s(approx (/ (* c0 (sqrt (/ A V))) (sqrt l)) #s(hole binary64 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2)))))
#s(approx (* c0 (sqrt (/ A V))) #s(hole binary64 (* (sqrt (/ A V)) (* c0 (pow (sqrt -1) 2)))))
#s(approx (sqrt (/ A V)) #s(hole binary64 (* (sqrt (/ A V)) (pow (sqrt -1) 2))))
#s(approx (sqrt l) #s(hole binary64 (sqrt l)))
#s(approx l #s(hole binary64 l))
#s(approx (sqrt l) #s(hole binary64 (* -1 (* (sqrt l) (pow (sqrt -1) 2)))))
Calls

12 calls:

TimeVariablePointExpression
3.0ms
V
@-inf
((* c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l))) c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l)) (/ (sqrt A) (sqrt V)) (sqrt A) A (sqrt V) V (sqrt l) l (/ (* c0 (sqrt (/ A V))) (sqrt l)) (* c0 (sqrt (/ A V))) (sqrt (/ A V)) (/ A V))
3.0ms
A
@-inf
((* c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l))) c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l)) (/ (sqrt A) (sqrt V)) (sqrt A) A (sqrt V) V (sqrt l) l (/ (* c0 (sqrt (/ A V))) (sqrt l)) (* c0 (sqrt (/ A V))) (sqrt (/ A V)) (/ A V))
2.0ms
l
@-inf
((* c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l))) c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l)) (/ (sqrt A) (sqrt V)) (sqrt A) A (sqrt V) V (sqrt l) l (/ (* c0 (sqrt (/ A V))) (sqrt l)) (* c0 (sqrt (/ A V))) (sqrt (/ A V)) (/ A V))
2.0ms
c0
@-inf
((* c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l))) c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l)) (/ (sqrt A) (sqrt V)) (sqrt A) A (sqrt V) V (sqrt l) l (/ (* c0 (sqrt (/ A V))) (sqrt l)) (* c0 (sqrt (/ A V))) (sqrt (/ A V)) (/ A V))
2.0ms
A
@inf
((* c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l))) c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l)) (/ (sqrt A) (sqrt V)) (sqrt A) A (sqrt V) V (sqrt l) l (/ (* c0 (sqrt (/ A V))) (sqrt l)) (* c0 (sqrt (/ A V))) (sqrt (/ A V)) (/ A V))

rewrite39.0ms (1.7%)

Memory
-40.9MiB live, 14.6MiB allocated; 7ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074390
087336
0181336
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
40 → 59
Calls
Call 1
Inputs
(*.f64 c0 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 V)) (sqrt.f64 l)))
c0
(/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 V)) (sqrt.f64 l))
(/.f64 (sqrt.f64 A) (sqrt.f64 V))
(sqrt.f64 A)
A
(sqrt.f64 V)
V
(sqrt.f64 l)
l
(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
(*.f64 c0 (sqrt.f64 (/.f64 A V)))
(sqrt.f64 (/.f64 A V))
(/.f64 A V)
#s(approx (* c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l))) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx c0 #s(hole binary64 c0))
#s(approx (/ (* c0 (sqrt (/ A V))) (sqrt l)) #s(hole binary64 (* (sqrt (/ A (* V l))) c0)))
#s(approx (* c0 (sqrt (/ A V))) #s(hole binary64 (* (sqrt (/ A V)) c0)))
#s(approx (/ (/ (sqrt A) (sqrt V)) (sqrt l)) #s(hole binary64 (sqrt (/ A (* V l)))))
#s(approx (/ (sqrt A) (sqrt V)) #s(hole binary64 (sqrt (/ A V))))
#s(approx (sqrt A) #s(hole binary64 (sqrt A)))
#s(approx A #s(hole binary64 A))
#s(approx (sqrt (/ A V)) #s(hole binary64 (sqrt (/ A V))))
#s(approx (/ A V) #s(hole binary64 (/ A V)))
#s(approx (* c0 (/ (/ (sqrt A) (sqrt V)) (sqrt l))) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (/ (/ (sqrt A) (sqrt V)) (sqrt l)) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))))
#s(approx (/ (sqrt A) (sqrt V)) #s(hole binary64 (* -1 (* (sqrt (/ A V)) (pow (sqrt -1) 2)))))
#s(approx (sqrt A) #s(hole binary64 (* -1 (* (sqrt A) (pow (sqrt -1) 2)))))
#s(approx (/ (* c0 (sqrt (/ A V))) (sqrt l)) #s(hole binary64 (* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))))
#s(approx (* c0 (sqrt (/ A V))) #s(hole binary64 (* -1 (* (sqrt (/ A V)) (* c0 (pow (sqrt -1) 2))))))
#s(approx (sqrt (/ A V)) #s(hole binary64 (* -1 (* (sqrt (/ A V)) (pow (sqrt -1) 2)))))
#s(approx (sqrt V) #s(hole binary64 (sqrt V)))
#s(approx V #s(hole binary64 V))
#s(approx (sqrt V) #s(hole binary64 (* -1 (* (sqrt V) (pow (sqrt -1) 2)))))
#s(approx (/ (* c0 (sqrt (/ A V))) (sqrt l)) #s(hole binary64 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2)))))
#s(approx (* c0 (sqrt (/ A V))) #s(hole binary64 (* (sqrt (/ A V)) (* c0 (pow (sqrt -1) 2)))))
#s(approx (sqrt (/ A V)) #s(hole binary64 (* (sqrt (/ A V)) (pow (sqrt -1) 2))))
#s(approx (sqrt l) #s(hole binary64 (sqrt l)))
#s(approx l #s(hole binary64 l))
#s(approx (sqrt l) #s(hole binary64 (* -1 (* (sqrt l) (pow (sqrt -1) 2)))))
Outputs
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)) c0)
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(/.f64 (neg.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0)) (neg.f64 (sqrt.f64 l)))
(/.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0) (sqrt.f64 l))
c0
(/.f64 (neg.f64 (sqrt.f64 (/.f64 A V))) (neg.f64 (sqrt.f64 l)))
(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
(/.f64 (sqrt.f64 A) (*.f64 (sqrt.f64 V) (sqrt.f64 l)))
(pow.f64 (/.f64 A V) #s(literal 1/2 binary64))
(/.f64 (neg.f64 (sqrt.f64 A)) (neg.f64 (sqrt.f64 V)))
(/.f64 (sqrt.f64 A) (sqrt.f64 V))
(sqrt.f64 (/.f64 A V))
(pow.f64 A #s(literal 1/2 binary64))
(sqrt.f64 A)
A
(pow.f64 V #s(literal 1/2 binary64))
(sqrt.f64 V)
V
(pow.f64 l #s(literal 1/2 binary64))
(sqrt.f64 l)
l
(*.f64 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)) c0)
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(/.f64 (neg.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0)) (neg.f64 (sqrt.f64 l)))
(/.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0) (sqrt.f64 l))
(*.f64 (sqrt.f64 (/.f64 A V)) c0)
(*.f64 c0 (sqrt.f64 (/.f64 A V)))
(pow.f64 (/.f64 A V) #s(literal 1/2 binary64))
(/.f64 (neg.f64 (sqrt.f64 A)) (neg.f64 (sqrt.f64 V)))
(/.f64 (sqrt.f64 A) (sqrt.f64 V))
(sqrt.f64 (/.f64 A V))
(/.f64 (neg.f64 A) (neg.f64 V))
(/.f64 A V)
#s(approx (/ (* c0 (sqrt (/ A V))) (sqrt l)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0))
#s(approx c0 c0)
#s(approx (/ (* c0 (sqrt (/ A V))) (sqrt l)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0))
#s(approx (* c0 (sqrt (/ A V))) (*.f64 (sqrt.f64 (/.f64 A V)) c0))
#s(approx (/ (/ (sqrt A) (sqrt V)) (sqrt l)) (sqrt.f64 (/.f64 A (*.f64 l V))))
#s(approx (sqrt (/ A V)) (sqrt.f64 (/.f64 A V)))
#s(approx (sqrt A) (sqrt.f64 A))
#s(approx A A)
#s(approx (sqrt (/ A V)) (sqrt.f64 (/.f64 A V)))
#s(approx (/ A V) (/.f64 A V))
#s(approx (/ (* c0 (sqrt (/ A V))) (sqrt l)) (neg.f64 (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 A (*.f64 l V))))))
#s(approx (/ (/ (sqrt A) (sqrt V)) (sqrt l)) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 A (*.f64 l V))))))
#s(approx (sqrt (/ A V)) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 A V)))))
#s(approx (sqrt A) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 A))))
#s(approx (/ (* c0 (sqrt (/ A V))) (sqrt l)) (neg.f64 (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 A (*.f64 l V))))))
#s(approx (* c0 (sqrt (/ A V))) (neg.f64 (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 A V)))))
#s(approx (sqrt (/ A V)) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 A V)))))
#s(approx (sqrt V) (sqrt.f64 V))
#s(approx V V)
#s(approx (sqrt V) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 V))))
#s(approx (/ (* c0 (sqrt (/ A V))) (sqrt l)) (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 A (*.f64 l V)))))
#s(approx (* c0 (sqrt (/ A V))) (*.f64 (*.f64 #s(literal -1 binary64) c0) (sqrt.f64 (/.f64 A V))))
#s(approx (sqrt (/ A V)) (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 A V))))
#s(approx (sqrt l) (sqrt.f64 l))
#s(approx l l)
#s(approx (sqrt l) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 l))))

eval4.0ms (0.2%)

Memory
3.5MiB live, 3.5MiB allocated; 0ms collecting garbage
Compiler

Compiled 720 to 161 computations (77.6% saved)

prune5.0ms (0.2%)

Memory
5.6MiB live, 5.6MiB allocated; 0ms collecting garbage
Pruning

8 alts after pruning (0 fresh and 8 done)

PrunedKeptTotal
New59059
Fresh000
Picked022
Done066
Total59867
Accuracy
93.5%
Counts
67 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓61.2%
(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
✓39.6%
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 l V)))
✓23.2%
(*.f64 c0 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 V)) (sqrt.f64 l)))
✓63.2%
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
✓23.2%
(*.f64 c0 (/.f64 (sqrt.f64 A) (*.f64 (sqrt.f64 l) (sqrt.f64 V))))
✓41.3%
(*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V))))
✓75.0%
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
✓77.2%
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 144 to 104 computations (27.8% saved)

regimes21.0ms (0.9%)

Memory
29.7MiB live, 29.7MiB allocated; 0ms collecting garbage
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 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V))))
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 l V)))
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
(*.f64 c0 (/.f64 (sqrt.f64 A) (*.f64 (sqrt.f64 l) (sqrt.f64 V))))
(*.f64 c0 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 V)) (sqrt.f64 l)))
Outputs
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
Calls

8 calls:

3.0ms
l
3.0ms
A
3.0ms
V
3.0ms
c0
3.0ms
(*.f64 V l)
Results
AccuracySegmentsBranch
89.2%5(*.f64 V l)
85.2%3(/.f64 A (*.f64 V l))
85.2%3(sqrt.f64 (/.f64 A (*.f64 V l)))
84.2%3(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
77.2%1c0
84.3%2A
81.3%2V
83.9%2l
Compiler

Compiled 26 to 42 computations (-61.5% saved)

regimes24.0ms (1%)

Memory
-30.6MiB live, 16.4MiB allocated; 1ms collecting garbage
Counts
4 → 4
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V))))
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 l V)))
Outputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
Calls

6 calls:

15.0ms
l
2.0ms
A
2.0ms
(*.f64 V l)
2.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
2.0ms
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Results
AccuracySegmentsBranch
82.2%3(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
82.3%3(/.f64 A (*.f64 V l))
82.3%3(sqrt.f64 (/.f64 A (*.f64 V l)))
79.2%2l
80.7%2A
85.6%4(*.f64 V l)
Compiler

Compiled 24 to 34 computations (-41.7% saved)

regimes5.0ms (0.2%)

Memory
11.0MiB live, 11.0MiB allocated; 0ms collecting garbage
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

4 calls:

1.0ms
V
1.0ms
(*.f64 V l)
1.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
1.0ms
(/.f64 A (*.f64 V l))
Results
AccuracySegmentsBranch
82.3%3(/.f64 A (*.f64 V l))
82.3%3(sqrt.f64 (/.f64 A (*.f64 V l)))
77.2%1V
79.4%2(*.f64 V l)
Compiler

Compiled 15 to 22 computations (-46.7% saved)

regimes7.0ms (0.3%)

Memory
20.3MiB live, 20.3MiB allocated; 0ms collecting garbage
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

7 calls:

1.0ms
l
1.0ms
c0
1.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
1.0ms
A
1.0ms
(*.f64 V l)
Results
AccuracySegmentsBranch
77.2%1c0
77.2%1l
77.2%1(*.f64 V l)
77.2%1A
77.2%1(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
77.2%1(/.f64 A (*.f64 V l))
77.2%1(sqrt.f64 (/.f64 A (*.f64 V l)))
Compiler

Compiled 25 to 38 computations (-52% saved)

bsearch1.0ms (0%)

Memory
2.1MiB live, 2.1MiB allocated; 0ms collecting garbage
Algorithm
4×left-value
Steps
TimeLeftRight
0.0ms
5.373060793126037e+210
1.2068659418071374e+213
0.0ms
1.72433856e-314
8.557732077813522e-307
0.0ms
-1.0904571094087852e-200
-9.786393273993944e-211
0.0ms
-2.5765424097364245e+84
-3.5921515091718125e+83
Compiler

Compiled 11 to 15 computations (-36.4% saved)

bsearch1.0ms (0%)

Memory
1.4MiB live, 1.4MiB allocated; 0ms collecting garbage
Algorithm
3×left-value
Steps
TimeLeftRight
0.0ms
5.373060793126037e+210
1.2068659418071374e+213
0.0ms
1.72433856e-314
8.557732077813522e-307
0.0ms
-1.0904571094087852e-200
-9.786393273993944e-211
Compiler

Compiled 11 to 15 computations (-36.4% saved)

bsearch0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated; 0ms collecting garbage
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
4.6780299786863344e+139
2.0151017046389846e+143
0.0ms
0.0
1.257382227762103e-161
Compiler

Compiled 11 to 15 computations (-36.4% saved)

simplify13.0ms (0.6%)

Memory
-22.2MiB live, 21.8MiB allocated; 4ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
039146
145146
Stop Event
1×saturated
Calls
Call 1
Inputs
(if (<=.f64 (*.f64 V l) #s(literal -2000000000000000115533219796231793404874534254192128274196083726469424668033849229312 binary64)) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) (if (<=.f64 (*.f64 V l) #s(literal -1723641332219371/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) (if (<=.f64 (*.f64 V l) #s(literal 2024022533/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))) (if (<=.f64 (*.f64 V l) #s(literal 9999999999999999563134023721266549739021664297767471527755878388779781994104643936539191296017163181162427182749897969201059028320356032930746282153172616351711759756540926280845609521557638656931995269719916544 binary64)) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (*.f64 V l) #s(literal -1723641332219371/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) (if (<=.f64 (*.f64 V l) #s(literal 2024022533/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))) (if (<=.f64 (*.f64 V l) #s(literal 9999999999999999563134023721266549739021664297767471527755878388779781994104643936539191296017163181162427182749897969201059028320356032930746282153172616351711759756540926280845609521557638656931995269719916544 binary64)) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))))))
(if (<=.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) #s(literal 0 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))) (if (<=.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) #s(literal 50000000000000002964190062040743501853181244383522664432425037241499788914236990326011648254009062284575896118646691474114848581757291200512 binary64)) (*.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) #s(literal -2000000000000000115533219796231793404874534254192128274196083726469424668033849229312 binary64)) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) (if (<=.f64 (*.f64 V l) #s(literal -1723641332219371/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) (if (<=.f64 (*.f64 V l) #s(literal 2024022533/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))) (if (<=.f64 (*.f64 V l) #s(literal 9999999999999999563134023721266549739021664297767471527755878388779781994104643936539191296017163181162427182749897969201059028320356032930746282153172616351711759756540926280845609521557638656931995269719916544 binary64)) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))
(if (<=.f64 (*.f64 V l) #s(literal -2000000000000000115533219796231793404874534254192128274196083726469424668033849229312 binary64)) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) (if (<=.f64 (*.f64 V l) #s(literal -1723641332219371/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) (if (or (<=.f64 (*.f64 V l) #s(literal 2024022533/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392 binary64)) (not (<=.f64 (*.f64 V l) #s(literal 9999999999999999563134023721266549739021664297767471527755878388779781994104643936539191296017163181162427182749897969201059028320356032930746282153172616351711759756540926280845609521557638656931995269719916544 binary64)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V)))))))
(if (<=.f64 (*.f64 V l) #s(literal -1723641332219371/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) (if (<=.f64 (*.f64 V l) #s(literal 2024022533/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))) (if (<=.f64 (*.f64 V l) #s(literal 9999999999999999563134023721266549739021664297767471527755878388779781994104643936539191296017163181162427182749897969201059028320356032930746282153172616351711759756540926280845609521557638656931995269719916544 binary64)) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))))))
(if (<=.f64 (*.f64 V l) #s(literal -1723641332219371/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) (if (or (<=.f64 (*.f64 V l) #s(literal 2024022533/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392 binary64)) (not (<=.f64 (*.f64 V l) #s(literal 9999999999999999563134023721266549739021664297767471527755878388779781994104643936539191296017163181162427182749897969201059028320356032930746282153172616351711759756540926280845609521557638656931995269719916544 binary64)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 l V))))))
(if (<=.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) #s(literal 0 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l))) (if (<=.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) #s(literal 50000000000000002964190062040743501853181244383522664432425037241499788914236990326011648254009062284575896118646691474114848581757291200512 binary64)) (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))
(if (or (<=.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) #s(literal 0 binary64)) (not (<=.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) #s(literal 50000000000000002964190062040743501853181244383522664432425037241499788914236990326011648254009062284575896118646691474114848581757291200512 binary64)))) (*.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))))

derivations3.0ms (0.1%)

Memory
4.9MiB live, 4.9MiB allocated; 0ms collecting garbage
Stop Event
1×done
Compiler

Compiled 146 to 41 computations (71.9% saved)

preprocess65.0ms (2.8%)

Memory
1.8MiB live, 142.7MiB allocated; 19ms collecting garbage
Remove

(sort V l)

(negabs c0)

Compiler

Compiled 1 010 to 518 computations (48.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...