Numeric.Integration.TanhSinh:nonNegative from integration-0.2.1

Time bar (total: 1.0s)

start0.0ms (0%)

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

analyze1.0ms (0.1%)

Memory
1.7MiB live, 1.7MiB allocated; 0ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
50%50%50%0%0%0%0%2
75%75%25%0%0%0%0%3
87.5%87.5%12.5%0%0%0%0%4
93.8%93.7%6.2%0%0%0%0%5
96.9%96.8%3.1%0%0%0%0%6
98.4%98.4%1.6%0%0%0%0%7
99.2%99.2%0.8%0%0%0%0%8
99.6%99.6%0.4%0%0%0%0%9
99.8%99.8%0.2%0%0%0%0%10
99.9%99.9%0.1%0%0%0%0%11
100%99.9%0%0%0%0%0%12
Compiler

Compiled 7 to 6 computations (14.3% saved)

sample438.0ms (43.1%)

Memory
30.2MiB live, 595.5MiB allocated; 94ms collecting garbage
Samples
269.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 146.0ms
ival-div!: 116.0ms (79.5% of total)
ival-sub!: 29.0ms (19.9% of total)
adjust: 1.0ms (0.7% of total)
Bogosity

preprocess69.0ms (6.8%)

Memory
-36.8MiB live, 53.2MiB allocated; 26ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0818
13115
29915
323615
4180815
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Compiler

Compiled 8 to 8 computations (0% saved)

series2.0ms (0.2%)

Memory
2.3MiB live, 2.3MiB allocated; 0ms collecting garbage
Counts
4 → 14
Calls
Call 1
Inputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
x
(-.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)
Outputs
#s(approx (/ x (- 1 x)) #s(hole binary64 x))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (- 1 x) #s(hole binary64 1))
#s(approx (- 1 x) #s(hole binary64 (+ 1 (* -1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 -1))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (- 1 x) #s(hole binary64 (* -1 x)))
#s(approx (- 1 x) #s(hole binary64 (* x (- (/ 1 x) 1))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (- 1 x) #s(hole binary64 (* -1 (* x (- 1 (/ 1 x))))))
Calls

3 calls:

TimeVariablePointExpression
1.0ms
x
@-inf
((/ x (- 1 x)) x (- 1 x) 1)
1.0ms
x
@inf
((/ x (- 1 x)) x (- 1 x) 1)
0.0ms
x
@0
((/ x (- 1 x)) x (- 1 x) 1)

rewrite144.0ms (14.2%)

Memory
32.3MiB live, 133.6MiB allocated; 10ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
051190
052181
1324173
03161167
19187167
Stop Event
1×saturated
1×iter-limit
1×node-limit
1×iter-limit
Counts
18 → 35
Calls
Call 1
Inputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
x
(-.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)
#s(approx (/ x (- 1 x)) #s(hole binary64 x))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (- 1 x) #s(hole binary64 1))
#s(approx (- 1 x) #s(hole binary64 (+ 1 (* -1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 -1))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (- 1 x) #s(hole binary64 (* -1 x)))
#s(approx (- 1 x) #s(hole binary64 (* x (- (/ 1 x) 1))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (- 1 x) #s(hole binary64 (* -1 (* x (- 1 (/ 1 x))))))
Outputs
(*.f64 (/.f64 #s(literal -1 binary64) (-.f64 x #s(literal 1 binary64))) x)
(*.f64 x (/.f64 #s(literal -1 binary64) (-.f64 x #s(literal 1 binary64))))
(*.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64))))
(*.f64 #s(literal -1 binary64) (/.f64 x (-.f64 x #s(literal 1 binary64))))
(*.f64 #s(literal 1 binary64) (/.f64 x (-.f64 #s(literal 1 binary64) x)))
(/.f64 x (-.f64 #s(literal 1 binary64) x))
(/.f64 (neg.f64 x) (-.f64 x #s(literal 1 binary64)))
(neg.f64 (/.f64 x (-.f64 x #s(literal 1 binary64))))
(neg.f64 (/.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) x)))
x
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x))
(neg.f64 (-.f64 x #s(literal 1 binary64)))
(fma.f64 x #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (neg.f64 x) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) x #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (neg.f64 x) #s(literal 1 binary64))
(-.f64 (neg.f64 x) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) x)
(+.f64 (neg.f64 x) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (neg.f64 x))
#s(literal 1 binary64)
#s(approx (/ x (- 1 x)) x)
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
#s(approx (/ x (- 1 x)) (fma.f64 x (fma.f64 x x x) x))
#s(approx (/ x (- 1 x)) (fma.f64 x (fma.f64 x (fma.f64 x x x) x) x))
#s(approx (- 1 x) #s(literal 1 binary64))
#s(approx (- 1 x) (-.f64 #s(literal 1 binary64) x))
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)))
#s(approx (/ x (- 1 x)) (-.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) x)))
#s(approx (/ x (- 1 x)) (-.f64 (/.f64 (-.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) x)) x) #s(literal 1 binary64)))
#s(approx (- 1 x) (neg.f64 x))
#s(approx (- 1 x) (*.f64 x (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
#s(approx (/ x (- 1 x)) (-.f64 (/.f64 (-.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) x)) x) #s(literal 1 binary64)))
#s(approx (- 1 x) (*.f64 x (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))

eval86.0ms (8.4%)

Memory
-38.8MiB live, 8.6MiB allocated; 2ms collecting garbage
Compiler

Compiled 114 to 68 computations (40.4% saved)

prune1.0ms (0.1%)

Memory
6.5MiB live, 6.6MiB allocated; 0ms collecting garbage
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New26329
Fresh000
Picked011
Done000
Total26430
Accuracy
100.0%
Counts
30 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 x (-.f64 #s(literal 1 binary64) x))
▶44.5%
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
▶45.3%
#s(approx (/ x (- 1 x)) x)
▶56.6%
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
Compiler

Compiled 21 to 21 computations (0% saved)

series2.0ms (0.2%)

Memory
3.7MiB live, 3.7MiB allocated; 0ms collecting garbage
Counts
6 → 11
Calls
Call 1
Inputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(literal -1 binary64)
#s(approx (/ x (- 1 x)) x)
x
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
(fma.f64 x x x)
Outputs
#s(approx (/ x (- 1 x)) #s(hole binary64 x))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 -1))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (+ (* x x) x) #s(hole binary64 (pow x 2)))
#s(approx (+ (* x x) x) #s(hole binary64 (* (pow x 2) (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
Calls

3 calls:

TimeVariablePointExpression
1.0ms
x
@-inf
((/ x (- 1 x)) -1 (/ x (- 1 x)) x (/ x (- 1 x)) (+ (* x x) x))
1.0ms
x
@inf
((/ x (- 1 x)) -1 (/ x (- 1 x)) x (/ x (- 1 x)) (+ (* x x) x))
0.0ms
x
@0
((/ x (- 1 x)) -1 (/ x (- 1 x)) x (/ x (- 1 x)) (+ (* x x) x))

rewrite164.0ms (16.1%)

Memory
25.2MiB live, 174.8MiB allocated; 40ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044187
045180
1295170
23000167
08853164
125984164
Stop Event
1×saturated
1×node-limit
1×iter-limit
Counts
17 → 133
Calls
Call 1
Inputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(literal -1 binary64)
#s(approx (/ x (- 1 x)) x)
x
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
(fma.f64 x x x)
#s(approx (/ x (- 1 x)) #s(hole binary64 x))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 -1))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (+ (* x x) x) #s(hole binary64 (pow x 2)))
#s(approx (+ (* x x) x) #s(hole binary64 (* (pow x 2) (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
Outputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(literal -1 binary64)
#s(approx (/ x (- 1 x)) x)
x
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
(*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) (neg.f64 x)) (neg.f64 x))
(*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) x) x)
(*.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x)) x)
(*.f64 (-.f64 x #s(literal 1 binary64)) x)
(*.f64 (neg.f64 x) (*.f64 (neg.f64 x) (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64))))
(*.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) x))
(*.f64 (*.f64 x x) (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)))
(*.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) (*.f64 x x))
(*.f64 (fma.f64 x x x) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 1 binary64) x) (neg.f64 x))
(*.f64 (-.f64 #s(literal 1 binary64) x) x)
(*.f64 #s(literal 1 binary64) (fma.f64 x x x))
(*.f64 x (*.f64 x (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64))))
(*.f64 x (-.f64 x #s(literal 1 binary64)))
(*.f64 x (-.f64 #s(literal 1 binary64) x))
(/.f64 (fma.f64 (*.f64 x x) #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (*.f64 x x) (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(/.f64 (fma.f64 (*.f64 x x) #s(literal 2 binary64) (*.f64 x #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (*.f64 x x) (*.f64 x #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 (*.f64 x x) #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 x #s(literal 2 binary64) (*.f64 (*.f64 x x) #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) (*.f64 x x))) #s(literal 2 binary64))
(/.f64 (fma.f64 x #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (*.f64 x x))) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 x x)) (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) (*.f64 x #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 x x)) (*.f64 x #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (fma.f64 x x x))) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (fma.f64 x x x)) #s(literal 2 binary64))
(neg.f64 (-.f64 x (*.f64 x x)))
(neg.f64 (fma.f64 x x x))
(fma.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x))) (neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x))) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x))) (neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x))) (neg.f64 (neg.f64 x)))
(fma.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x))) (neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x))) (neg.f64 x))
(fma.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x))) (neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x))) x)
(fma.f64 (neg.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64))) (neg.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64))) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (neg.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64))) (neg.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64))) (neg.f64 (neg.f64 x)))
(fma.f64 (neg.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64))) (neg.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64))) (neg.f64 x))
(fma.f64 (neg.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64))) (neg.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64))) x)
(fma.f64 (sqrt.f64 x) (sqrt.f64 (*.f64 (*.f64 x x) x)) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (sqrt.f64 x) (sqrt.f64 (*.f64 (*.f64 x x) x)) (neg.f64 (neg.f64 x)))
(fma.f64 (sqrt.f64 x) (sqrt.f64 (*.f64 (*.f64 x x) x)) (neg.f64 x))
(fma.f64 (sqrt.f64 x) (sqrt.f64 (*.f64 (*.f64 x x) x)) x)
(fma.f64 (neg.f64 (neg.f64 (neg.f64 x))) (neg.f64 (neg.f64 (neg.f64 x))) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (neg.f64 (neg.f64 (neg.f64 x))) (neg.f64 (neg.f64 (neg.f64 x))) (neg.f64 (neg.f64 x)))
(fma.f64 (neg.f64 (neg.f64 (neg.f64 x))) (neg.f64 (neg.f64 (neg.f64 x))) (neg.f64 x))
(fma.f64 (neg.f64 (neg.f64 (neg.f64 x))) (neg.f64 (neg.f64 (neg.f64 x))) x)
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x)) (*.f64 #s(literal 1 binary64) (neg.f64 x)) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x)) (*.f64 #s(literal 1 binary64) (neg.f64 x)) (neg.f64 (neg.f64 x)))
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x)) (*.f64 #s(literal 1 binary64) (neg.f64 x)) (neg.f64 x))
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x)) (*.f64 #s(literal 1 binary64) (neg.f64 x)) x)
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x)) (neg.f64 x) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x)) (neg.f64 x) (neg.f64 (neg.f64 x)))
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x)) (neg.f64 x) (neg.f64 x))
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x)) (neg.f64 x) x)
(fma.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64)) (*.f64 (neg.f64 x) #s(literal 1 binary64)) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64)) (*.f64 (neg.f64 x) #s(literal 1 binary64)) (neg.f64 (neg.f64 x)))
(fma.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64)) (*.f64 (neg.f64 x) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64)) (*.f64 (neg.f64 x) #s(literal 1 binary64)) x)
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (neg.f64 x))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) x)
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 x) (*.f64 #s(literal 1 binary64) (neg.f64 x)))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 x) (*.f64 (neg.f64 x) #s(literal 1 binary64)))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 x) (neg.f64 x))
(fma.f64 (neg.f64 x) (*.f64 (neg.f64 x) #s(literal 1 binary64)) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (neg.f64 x) (*.f64 (neg.f64 x) #s(literal 1 binary64)) (neg.f64 (neg.f64 x)))
(fma.f64 (neg.f64 x) (*.f64 (neg.f64 x) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (neg.f64 x) (*.f64 (neg.f64 x) #s(literal 1 binary64)) x)
(fma.f64 (neg.f64 x) (neg.f64 (neg.f64 x)) (*.f64 #s(literal 1 binary64) (neg.f64 x)))
(fma.f64 (neg.f64 x) (neg.f64 (neg.f64 x)) (*.f64 (neg.f64 x) #s(literal 1 binary64)))
(fma.f64 (neg.f64 x) (neg.f64 (neg.f64 x)) (neg.f64 x))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (neg.f64 x) (neg.f64 x) (neg.f64 (neg.f64 x)))
(fma.f64 (neg.f64 x) (neg.f64 x) (neg.f64 x))
(fma.f64 (neg.f64 x) (neg.f64 x) x)
(fma.f64 (neg.f64 x) #s(literal 1 binary64) (*.f64 (neg.f64 x) x))
(fma.f64 (neg.f64 x) x (*.f64 #s(literal 1 binary64) (neg.f64 x)))
(fma.f64 (neg.f64 x) x (*.f64 (neg.f64 x) #s(literal 1 binary64)))
(fma.f64 (neg.f64 x) x (neg.f64 x))
(fma.f64 (*.f64 x x) #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (*.f64 x x) #s(literal 1 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 (*.f64 x x) #s(literal 1 binary64) (neg.f64 x))
(fma.f64 (*.f64 x x) #s(literal 1 binary64) x)
(fma.f64 #s(literal 1 binary64) (neg.f64 x) (*.f64 (neg.f64 x) x))
(fma.f64 #s(literal 1 binary64) (*.f64 x x) (*.f64 #s(literal -1 binary64) x))
(fma.f64 #s(literal 1 binary64) (*.f64 x x) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1 binary64) (*.f64 x x) (neg.f64 x))
(fma.f64 #s(literal 1 binary64) (*.f64 x x) x)
(fma.f64 x (neg.f64 x) (*.f64 #s(literal 1 binary64) (neg.f64 x)))
(fma.f64 x (neg.f64 x) (*.f64 (neg.f64 x) #s(literal 1 binary64)))
(fma.f64 x (neg.f64 x) (neg.f64 x))
(fma.f64 x x (*.f64 #s(literal -1 binary64) x))
(fma.f64 x x (neg.f64 (neg.f64 x)))
(fma.f64 x x (neg.f64 x))
(fma.f64 x x x)
(-.f64 (*.f64 (neg.f64 x) x) x)
(-.f64 (neg.f64 x) (*.f64 x x))
(-.f64 (*.f64 x x) (*.f64 (/.f64 #s(literal -1 binary64) x) (*.f64 x x)))
(-.f64 (*.f64 x x) (*.f64 (*.f64 (neg.f64 x) x) (/.f64 #s(literal 1 binary64) x)))
(-.f64 (*.f64 x x) (*.f64 #s(literal -1 binary64) x))
(-.f64 (*.f64 x x) (*.f64 (neg.f64 x) #s(literal 1 binary64)))
(-.f64 (*.f64 x x) (neg.f64 x))
(-.f64 (*.f64 x x) x)
(-.f64 x (*.f64 (neg.f64 x) x))
(+.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x)) (*.f64 (neg.f64 x) x))
(+.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64)) (*.f64 (neg.f64 x) x))
(+.f64 (*.f64 (neg.f64 x) x) (*.f64 #s(literal 1 binary64) (neg.f64 x)))
(+.f64 (*.f64 (neg.f64 x) x) (*.f64 (neg.f64 x) #s(literal 1 binary64)))
(+.f64 (*.f64 (neg.f64 x) x) (neg.f64 x))
(+.f64 (neg.f64 x) (*.f64 (neg.f64 x) x))
(+.f64 (*.f64 x x) (*.f64 #s(literal -1 binary64) x))
(+.f64 (*.f64 x x) (neg.f64 (neg.f64 x)))
(+.f64 (*.f64 x x) (neg.f64 x))
(+.f64 (*.f64 x x) x)
(+.f64 x (*.f64 x x))
#s(approx (/ x (- 1 x)) x)
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 (fma.f64 x x x) x x) x x))
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)))
#s(approx (/ x (- 1 x)) (-.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) x) #s(literal 1 binary64)))
#s(approx (/ x (- 1 x)) (-.f64 (/.f64 (-.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) x) #s(literal 1 binary64)) x) #s(literal 1 binary64)))
#s(approx (+ (* x x) x) (*.f64 x x))
#s(approx (+ (* x x) x) (fma.f64 x x x))
#s(approx (/ x (- 1 x)) (-.f64 (/.f64 (-.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) x) #s(literal 1 binary64)) x) #s(literal 1 binary64)))

eval13.0ms (1.3%)

Memory
-22.3MiB live, 24.8MiB allocated; 3ms collecting garbage
Compiler

Compiled 696 to 303 computations (56.5% saved)

prune4.0ms (0.4%)

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

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1230123
Fresh000
Picked033
Done011
Total1234127
Accuracy
100.0%
Counts
127 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 x (-.f64 #s(literal 1 binary64) x))
✓44.5%
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
✓45.3%
#s(approx (/ x (- 1 x)) x)
✓56.6%
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
Compiler

Compiled 37 to 33 computations (10.8% saved)

regimes3.0ms (0.3%)

Memory
6.5MiB live, 6.5MiB allocated; 0ms collecting garbage
Counts
4 → 1
Calls
Call 1
Inputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) x)
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Outputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Calls

2 calls:

2.0ms
x
1.0ms
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Results
AccuracySegmentsBranch
100.0%1(/.f64 x (-.f64 #s(literal 1 binary64) x))
100.0%1x
Compiler

Compiled 5 to 5 computations (0% saved)

regimes3.0ms (0.3%)

Memory
6.9MiB live, 6.9MiB allocated; 0ms collecting garbage
Counts
3 → 2
Calls
Call 1
Inputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) x)
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
Outputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
Calls

2 calls:

1.0ms
x
1.0ms
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Results
AccuracySegmentsBranch
98.9%2(/.f64 x (-.f64 #s(literal 1 binary64) x))
98.9%3x
Compiler

Compiled 5 to 5 computations (0% saved)

regimes1.0ms (0.1%)

Memory
1.7MiB live, 1.8MiB allocated; 0ms collecting garbage
Counts
2 → 2
Calls
Call 1
Inputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) x)
Outputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) x)
Calls

1 calls:

1.0ms
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Results
AccuracySegmentsBranch
98.5%2(/.f64 x (-.f64 #s(literal 1 binary64) x))
Compiler

Compiled 4 to 4 computations (0% saved)

regimes2.0ms (0.2%)

Memory
2.8MiB live, 2.8MiB allocated; 0ms collecting garbage
Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
Outputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
Calls

2 calls:

1.0ms
x
1.0ms
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Results
AccuracySegmentsBranch
56.6%1x
56.6%1(/.f64 x (-.f64 #s(literal 1 binary64) x))
Compiler

Compiled 5 to 5 computations (0% saved)

bsearch0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
-0.9999989401532517
-4.4865844714187625e-8
Compiler

Compiled 7 to 8 computations (-14.3% saved)

bsearch0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
-0.9999989401532517
-4.4865844714187625e-8
Compiler

Compiled 7 to 8 computations (-14.3% saved)

derivations40.0ms (3.9%)

Memory
-19.1MiB live, 27.6MiB allocated; 3ms collecting garbage
Stop Event
1×done
Compiler

Compiled 22 to 16 computations (27.3% saved)

preprocess42.0ms (4.1%)

Memory
-2.0MiB live, 43.7MiB allocated; 4ms collecting garbage
Compiler

Compiled 26 to 20 computations (23.1% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...