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
2.6MiB live, 2.6MiB 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)

sample480.0ms (47.8%)

Memory
-0.7MiB live, 575.5MiB allocated; 120ms collecting garbage
Samples
309.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 74.0ms
ival-div!: 46.0ms (62.2% of total)
ival-sub!: 26.0ms (35.2% of total)
adjust: 1.0ms (1.4% of total)
Bogosity

preprocess57.0ms (5.7%)

Memory
32.5MiB live, 32.5MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0818
13116
29515
324215
4203015
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
1.2MiB live, 1.2MiB 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)

rewrite119.0ms (11.8%)

Memory
-5.2MiB live, 84.3MiB allocated; 16ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
051190
052173
1366165
04876159
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
18 → 101
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 x (-.f64 #s(literal 1 binary64) (*.f64 x x))) (-.f64 x #s(literal -1 binary64)))
(*.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x))) (fma.f64 (-.f64 x #s(literal -1 binary64)) x #s(literal 1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) (-.f64 x #s(literal 1 binary64))) x)
(*.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) (-.f64 x #s(literal 1 binary64))))
(pow.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) x) #s(literal -1 binary64))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) x) x)))
(/.f64 (neg.f64 x) (-.f64 x #s(literal 1 binary64)))
(/.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x)))
(/.f64 (/.f64 x (-.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) x) x))
(/.f64 x (-.f64 #s(literal 1 binary64) x))
(neg.f64 (/.f64 #s(literal -1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) x) x)))
(neg.f64 (/.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) x)))
(neg.f64 (/.f64 x (-.f64 x #s(literal 1 binary64))))
x
(*.f64 (*.f64 x (-.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) x))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) (fma.f64 (*.f64 x x) x #s(literal 1 binary64))) (fma.f64 x (-.f64 x #s(literal 1 binary64)) #s(literal 1 binary64)))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) (-.f64 #s(literal 1 binary64) (*.f64 x x))) (-.f64 #s(literal 1 binary64) x))
(*.f64 (*.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x))) x)
(*.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal -1 binary64))))
(*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 x #s(literal -1 binary64)) x #s(literal 1 binary64))))
(*.f64 (-.f64 x #s(literal 1 binary64)) #s(literal -1 binary64))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x)) (neg.f64 x))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) x) x)
(*.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x)))
(*.f64 #s(literal -1 binary64) (-.f64 x #s(literal 1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) x) (*.f64 (/.f64 #s(literal 1 binary64) x) x))
(*.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x))
(*.f64 x (*.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x))))
(*.f64 x (/.f64 (-.f64 #s(literal 1 binary64) x) x))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 x (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 1 binary64))) (/.f64 (-.f64 x #s(literal -1 binary64)) x))
(/.f64 (*.f64 x (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)) #s(literal 1 binary64))) (-.f64 (/.f64 (-.f64 x #s(literal -1 binary64)) (*.f64 x x)) #s(literal -1 binary64)))
(/.f64 (*.f64 (neg.f64 x) (-.f64 x #s(literal 1 binary64))) x)
(/.f64 (*.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x x)))) (/.f64 (-.f64 x #s(literal -1 binary64)) x))
(/.f64 (*.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)))) (-.f64 (/.f64 (-.f64 x #s(literal -1 binary64)) (*.f64 x x)) #s(literal -1 binary64)))
(/.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 1 binary64)) x) (/.f64 (-.f64 x #s(literal -1 binary64)) x))
(/.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)) #s(literal 1 binary64)) x) (-.f64 (/.f64 (-.f64 x #s(literal -1 binary64)) (*.f64 x x)) #s(literal -1 binary64)))
(/.f64 (fma.f64 (neg.f64 x) #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 (neg.f64 x) #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)) (-.f64 (neg.f64 x) #s(literal 1 binary64)))
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (neg.f64 x))) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) x)) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) x)))
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x))) (neg.f64 (fma.f64 (-.f64 x #s(literal -1 binary64)) x #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) (neg.f64 (-.f64 x #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) (-.f64 x #s(literal -1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)) (fma.f64 x x (-.f64 x #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)) (fma.f64 (-.f64 x #s(literal -1 binary64)) x #s(literal 1 binary64)))
(/.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) x) (/.f64 #s(literal 1 binary64) x))
(/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (-.f64 x #s(literal 1 binary64))))
(neg.f64 (*.f64 (neg.f64 x) (/.f64 (-.f64 #s(literal 1 binary64) x) x)))
(neg.f64 (-.f64 x #s(literal 1 binary64)))
(fma.f64 (/.f64 (neg.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64) (*.f64 (neg.f64 x) (/.f64 #s(literal -1 binary64) x)))
(fma.f64 (/.f64 (neg.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64) (*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)))
(fma.f64 (/.f64 (neg.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) x) x (neg.f64 x))
(fma.f64 (neg.f64 x) #s(literal 1 binary64) (*.f64 (neg.f64 x) (/.f64 #s(literal -1 binary64) x)))
(fma.f64 (neg.f64 x) #s(literal 1 binary64) (*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)))
(fma.f64 (neg.f64 x) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) x (*.f64 (neg.f64 x) (/.f64 #s(literal -1 binary64) x)))
(fma.f64 #s(literal -1 binary64) x (*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)))
(fma.f64 #s(literal -1 binary64) x #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (neg.f64 x) (*.f64 (neg.f64 x) (/.f64 #s(literal -1 binary64) x)))
(fma.f64 #s(literal 1 binary64) (neg.f64 x) (*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)))
(fma.f64 #s(literal 1 binary64) (neg.f64 x) #s(literal 1 binary64))
(fma.f64 x (/.f64 #s(literal 1 binary64) x) (neg.f64 x))
(fma.f64 x #s(literal -1 binary64) (*.f64 (neg.f64 x) (/.f64 #s(literal -1 binary64) x)))
(fma.f64 x #s(literal -1 binary64) (*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)))
(fma.f64 x #s(literal -1 binary64) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal -1 binary64))) (/.f64 (*.f64 x x) (-.f64 x #s(literal -1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 x #s(literal -1 binary64)) x #s(literal 1 binary64))) (/.f64 (*.f64 (*.f64 x x) x) (fma.f64 (-.f64 x #s(literal -1 binary64)) x #s(literal 1 binary64))))
(-.f64 (neg.f64 x) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) x)
(+.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) x) (neg.f64 x))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 x #s(literal -1 binary64)) x #s(literal 1 binary64))) (/.f64 (*.f64 (*.f64 x x) (neg.f64 x)) (fma.f64 (-.f64 x #s(literal -1 binary64)) x #s(literal 1 binary64))))
(+.f64 (*.f64 x (/.f64 #s(literal 1 binary64) x)) (neg.f64 x))
(+.f64 (neg.f64 x) (*.f64 (neg.f64 x) (/.f64 #s(literal -1 binary64) x)))
(+.f64 (neg.f64 x) (*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 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 (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 (- 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 (/.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)) x) #s(literal 1 binary64)))
#s(approx (/ x (- 1 x)) (-.f64 (/.f64 (-.f64 (/.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)) x) #s(literal 1 binary64)) x) #s(literal 1 binary64)))
#s(approx (- 1 x) (neg.f64 x))
#s(approx (- 1 x) (-.f64 #s(literal 1 binary64) x))
#s(approx (/ x (- 1 x)) (-.f64 (/.f64 (-.f64 (/.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)) x) #s(literal 1 binary64)) x) #s(literal 1 binary64)))
#s(approx (- 1 x) (-.f64 #s(literal 1 binary64) x))

eval33.0ms (3.3%)

Memory
-34.2MiB live, 20.1MiB allocated; 9ms collecting garbage
Compiler

Compiled 491 to 252 computations (48.7% saved)

prune2.0ms (0.2%)

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

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New91394
Fresh000
Picked011
Done000
Total91495
Accuracy
100.0%
Counts
95 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 x (-.f64 #s(literal 1 binary64) x))
▶48.0%
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
▶48.8%
#s(approx (/ x (- 1 x)) x)
▶52.1%
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
Compiler

Compiled 21 to 21 computations (0% saved)

series2.0ms (0.2%)

Memory
2.6MiB live, 2.6MiB 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))
0.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))

rewrite182.0ms (18.1%)

Memory
21.9MiB live, 160.5MiB allocated; 13ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044187
045180
1329167
04944164
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
17 → 116
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 x #s(literal -1 binary64)) x) (fabs.f64 x)) (fabs.f64 x))
(*.f64 (*.f64 (/.f64 (-.f64 x #s(literal -1 binary64)) x) (neg.f64 x)) (neg.f64 x))
(*.f64 (/.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 2 binary64))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 x) (*.f64 x x))) (*.f64 x x))
(*.f64 (*.f64 (*.f64 x (-.f64 x #s(literal 1 binary64))) (fma.f64 x x x)) (/.f64 #s(literal 1 binary64) (*.f64 x (-.f64 x #s(literal 1 binary64)))))
(*.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 x x) x)) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (-.f64 x (*.f64 x x))))))
(*.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) (/.f64 (-.f64 x #s(literal -1 binary64)) x)))
(*.f64 (neg.f64 x) (*.f64 (neg.f64 x) (/.f64 (-.f64 x #s(literal -1 binary64)) x)))
(*.f64 (*.f64 x x) (/.f64 (-.f64 x #s(literal -1 binary64)) x))
(*.f64 (/.f64 (-.f64 x #s(literal -1 binary64)) x) (*.f64 x x))
(*.f64 (fma.f64 x x x) #s(literal 1 binary64))
(*.f64 (-.f64 x #s(literal -1 binary64)) x)
(*.f64 #s(literal 1 binary64) (fma.f64 x x x))
(*.f64 x (*.f64 x (/.f64 (-.f64 x #s(literal -1 binary64)) x)))
(*.f64 x (-.f64 x #s(literal -1 binary64)))
(/.f64 (*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 x x))) (-.f64 #s(literal 1 binary64) x))
(/.f64 (*.f64 x (fma.f64 (*.f64 x x) x #s(literal 1 binary64))) (fma.f64 x (-.f64 x #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 (*.f64 x (-.f64 x #s(literal 1 binary64))) (fma.f64 x x x))) (*.f64 x (-.f64 x #s(literal 1 binary64))))
(/.f64 (*.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 x x) x))) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (-.f64 x (*.f64 x x)))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) x) (-.f64 #s(literal 1 binary64) x))
(/.f64 (*.f64 (fma.f64 (*.f64 x x) x #s(literal 1 binary64)) x) (fma.f64 x (-.f64 x #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 (*.f64 x x) x) x)) (-.f64 x (*.f64 x x)))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)) (pow.f64 (neg.f64 x) #s(literal 3 binary64))) (fma.f64 (*.f64 (*.f64 x x) x) x (fma.f64 x x (*.f64 (*.f64 x x) (neg.f64 x)))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x x))) (*.f64 x x)) (/.f64 (-.f64 x #s(literal 1 binary64)) x))
(/.f64 (*.f64 (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)) #s(literal 1 binary64)) (*.f64 x x)) (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x #s(literal 1 binary64)) (*.f64 x x))))
(/.f64 (*.f64 (*.f64 x x) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x x)))) (/.f64 (-.f64 x #s(literal 1 binary64)) x))
(/.f64 (*.f64 (*.f64 x x) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)) #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x #s(literal 1 binary64)) (*.f64 x x))))
(/.f64 (*.f64 #s(literal 2 binary64) (fma.f64 x x x)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 x (-.f64 x #s(literal 1 binary64))) (fma.f64 x x x))) (*.f64 #s(literal 2 binary64) (*.f64 x (-.f64 x #s(literal 1 binary64)))))
(/.f64 (*.f64 #s(literal 2 binary64) (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 x x) x))) (*.f64 #s(literal 2 binary64) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (-.f64 x (*.f64 x x))))))
(/.f64 (neg.f64 (*.f64 (*.f64 x (-.f64 x #s(literal 1 binary64))) (fma.f64 x x x))) (neg.f64 (*.f64 x (-.f64 x #s(literal 1 binary64)))))
(/.f64 (neg.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 x x) x))) (neg.f64 (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (-.f64 x (*.f64 x x))))))
(/.f64 (*.f64 (fma.f64 x x x) x) x)
(/.f64 (neg.f64 (fma.f64 x x x)) #s(literal -1 binary64))
(/.f64 (*.f64 (*.f64 x (-.f64 x #s(literal 1 binary64))) (fma.f64 x x x)) (*.f64 (*.f64 x (-.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)))
(/.f64 (*.f64 (*.f64 x (-.f64 x #s(literal 1 binary64))) (fma.f64 x x x)) (*.f64 x (-.f64 x #s(literal 1 binary64))))
(/.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 x x) x)) (*.f64 (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (-.f64 x (*.f64 x x)))) #s(literal 1 binary64)))
(/.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 x x) x)) (fma.f64 x x (-.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 (*.f64 x x) x))))
(/.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 x x) x)) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (-.f64 x (*.f64 x x)))))
(/.f64 (fma.f64 x x x) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 x (-.f64 x #s(literal 1 binary64))) (*.f64 (*.f64 x (-.f64 x #s(literal 1 binary64))) (fma.f64 x x x))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (-.f64 x (*.f64 x x)))) (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 x x) x))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 x x x)))
(neg.f64 (neg.f64 (fma.f64 x x x)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 2 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 2 binary64) x)
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 #s(literal 1 binary64) (fabs.f64 x)) (neg.f64 (neg.f64 x)))
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 #s(literal 1 binary64) (fabs.f64 x)) x)
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 x)) (fabs.f64 x) (neg.f64 (neg.f64 x)))
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 x)) (fabs.f64 x) x)
(fma.f64 (*.f64 (fabs.f64 x) #s(literal 1 binary64)) (*.f64 (fabs.f64 x) #s(literal 1 binary64)) (neg.f64 (neg.f64 x)))
(fma.f64 (*.f64 (fabs.f64 x) #s(literal 1 binary64)) (*.f64 (fabs.f64 x) #s(literal 1 binary64)) x)
(fma.f64 (/.f64 (fabs.f64 x) #s(literal 1 binary64)) (/.f64 (fabs.f64 x) #s(literal 1 binary64)) (neg.f64 (neg.f64 x)))
(fma.f64 (/.f64 (fabs.f64 x) #s(literal 1 binary64)) (/.f64 (fabs.f64 x) #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)) 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)) 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) 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)) x)
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) (neg.f64 (neg.f64 x)))
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) x)
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (neg.f64 (neg.f64 x)))
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) 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)) x)
(fma.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)) (neg.f64 (neg.f64 x)))
(fma.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)) x)
(fma.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) #s(literal 1 binary64)) (neg.f64 (neg.f64 x)))
(fma.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) #s(literal 1 binary64)) x)
(fma.f64 (fabs.f64 x) (/.f64 (fabs.f64 x) #s(literal 1 binary64)) (neg.f64 (neg.f64 x)))
(fma.f64 (fabs.f64 x) (/.f64 (fabs.f64 x) #s(literal 1 binary64)) x)
(fma.f64 (fabs.f64 x) (fabs.f64 x) (neg.f64 (neg.f64 x)))
(fma.f64 (fabs.f64 x) (fabs.f64 x) 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)) 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)) x)
(fma.f64 (neg.f64 x) (neg.f64 x) (neg.f64 (neg.f64 x)))
(fma.f64 (neg.f64 x) (neg.f64 x) x)
(fma.f64 (*.f64 x x) #s(literal 1 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 (*.f64 x x) #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) x)
(fma.f64 x x (neg.f64 (neg.f64 x)))
(fma.f64 x x x)
(-.f64 (/.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x (-.f64 x #s(literal 1 binary64)))) (/.f64 (*.f64 x x) (*.f64 x (-.f64 x #s(literal 1 binary64)))))
(-.f64 (*.f64 x x) (*.f64 (/.f64 #s(literal -1 binary64) x) (*.f64 x x)))
(-.f64 (*.f64 x x) (/.f64 (neg.f64 x) #s(literal 1 binary64)))
(-.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 x (*.f64 (neg.f64 x) x))
(+.f64 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (-.f64 x (*.f64 x x))))) (/.f64 (*.f64 (*.f64 x x) x) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (-.f64 x (*.f64 x x))))))
(+.f64 (*.f64 x x) (neg.f64 (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 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)) x) #s(literal 1 binary64)))
#s(approx (/ x (- 1 x)) (-.f64 (/.f64 (-.f64 (/.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)) 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 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)) x) #s(literal 1 binary64)) x) #s(literal 1 binary64)))

eval9.0ms (0.9%)

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

Compiled 769 to 317 computations (58.8% saved)

prune28.0ms (2.8%)

Memory
-46.8MiB live, 11.1MiB allocated; 26ms collecting garbage
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1060106
Fresh000
Picked033
Done011
Total1064110
Accuracy
100.0%
Counts
110 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 x (-.f64 #s(literal 1 binary64) x))
✓48.0%
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
✓48.8%
#s(approx (/ x (- 1 x)) x)
✓52.1%
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
Compiler

Compiled 37 to 33 computations (10.8% saved)

regimes4.0ms (0.4%)

Memory
11.1MiB live, 11.1MiB 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
9.8MiB live, 9.8MiB 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:

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

Compiled 5 to 5 computations (0% saved)

regimes1.0ms (0.1%)

Memory
3.5MiB live, 3.5MiB 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
97.5%2(/.f64 x (-.f64 #s(literal 1 binary64) x))
Compiler

Compiled 4 to 4 computations (0% saved)

regimes2.0ms (0.2%)

Memory
6.1MiB live, 6.1MiB 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
52.1%1x
52.1%1(/.f64 x (-.f64 #s(literal 1 binary64) x))
Compiler

Compiled 5 to 5 computations (0% saved)

bsearch0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated; 0ms collecting garbage
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
-0.7886747392489528
-0.42562828062024055
Compiler

Compiled 7 to 8 computations (-14.3% saved)

bsearch0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
-0.7886747392489528
-0.42562828062024055
Compiler

Compiled 7 to 8 computations (-14.3% saved)

derivations54.0ms (5.4%)

Memory
-33.1MiB live, 56.2MiB allocated; 15ms collecting garbage
Stop Event
1×done
Compiler

Compiled 22 to 16 computations (27.3% saved)

preprocess24.0ms (2.4%)

Memory
30.2MiB live, 75.5MiB allocated; 6ms 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...