Numeric.SpecFunctions:$slogFactorial from math-functions-0.1.5.2, A

Time bar (total: 1.5s)

analyze1.0ms (0.1%)

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 5 computations (28.6% saved)

sample667.0ms (45.4%)

Results
498.0ms6226×body256valid
157.0ms2030×body256infinite
Bogosity

preprocess16.0ms (1.1%)

Algorithm
2×egg-herbie
Rules
2×1-exp
2×associate-/r*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
11113
011
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(/.f64 1 (*.f64 x x))
Outputs
(/.f64 1 (*.f64 x x))
Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify13.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
2×1-exp
2×associate-/r*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
11113
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(/.f64 1 (*.f64 x x))
Outputs
(/.f64 1 (*.f64 x x))

eval0.0ms (0%)

Compiler

Compiled 6 to 4 computations (33.3% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Accurracy
99.6%
Counts
2 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.6%
(/.f64 1 (*.f64 x x))
▶99.6%
(/.f64 1 (*.f64 x x))
Compiler

Compiled 12 to 8 computations (33.3% saved)

localize38.0ms (2.6%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓99.6%
(/.f64 1 (*.f64 x x))
Compiler

Compiled 12 to 6 computations (50% saved)

series1.0ms (0.1%)

Counts
1 → 12
Calls

3 calls:

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

rewrite49.0ms (3.3%)

Algorithm
1×batch-egg-rewrite
Rules
1006×pow1
968×add-sqr-sqrt
930×add-exp-log
928×log1p-expm1-u
928×expm1-log1p-u
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0613
11207
214107
Stop Event
1×node limit
Counts
1 → 20
Calls
Call 1
Inputs
(/.f64 1 (*.f64 x x))
Outputs
(-.f64 (+.f64 1 (pow.f64 x -2)) 1)
(*.f64 1 (pow.f64 x -2))
(*.f64 (pow.f64 x -2) 1)
(*.f64 (cbrt.f64 (pow.f64 x -2)) (cbrt.f64 (/.f64 1 (pow.f64 x 4))))
(*.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 4))) (cbrt.f64 (pow.f64 x -2)))
(*.f64 (/.f64 1 x) (/.f64 1 x))
(*.f64 -1 (/.f64 1 (*.f64 x (neg.f64 x))))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 x 4)) -1) (pow.f64 (pow.f64 (cbrt.f64 x) 2) -1))
(pow.f64 x -2)
(pow.f64 (*.f64 x x) -1)
(pow.f64 (pow.f64 x -2) 1)
(pow.f64 (cbrt.f64 (pow.f64 x -2)) 3)
(pow.f64 (pow.f64 (pow.f64 x -2) 3) 1/3)
(pow.f64 (/.f64 1 x) 2)
(sqrt.f64 (/.f64 1 (pow.f64 x 4)))
(log.f64 (exp.f64 (pow.f64 x -2)))
(cbrt.f64 (pow.f64 (pow.f64 x -2) 3))
(expm1.f64 (log1p.f64 (pow.f64 x -2)))
(exp.f64 (log.f64 (pow.f64 x -2)))
(log1p.f64 (expm1.f64 (pow.f64 x -2)))

simplify45.0ms (3%)

Algorithm
1×egg-herbie
Rules
1366×log-prod
1128×associate-/l*
848×fma-def
792×unswap-sqr
758×associate-*r*
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
053446
1120266
2430254
32950254
Stop Event
1×node limit
Counts
32 → 26
Calls
Call 1
Inputs
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(-.f64 (+.f64 1 (pow.f64 x -2)) 1)
(*.f64 1 (pow.f64 x -2))
(*.f64 (pow.f64 x -2) 1)
(*.f64 (cbrt.f64 (pow.f64 x -2)) (cbrt.f64 (/.f64 1 (pow.f64 x 4))))
(*.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 4))) (cbrt.f64 (pow.f64 x -2)))
(*.f64 (/.f64 1 x) (/.f64 1 x))
(*.f64 -1 (/.f64 1 (*.f64 x (neg.f64 x))))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 x 4)) -1) (pow.f64 (pow.f64 (cbrt.f64 x) 2) -1))
(pow.f64 x -2)
(pow.f64 (*.f64 x x) -1)
(pow.f64 (pow.f64 x -2) 1)
(pow.f64 (cbrt.f64 (pow.f64 x -2)) 3)
(pow.f64 (pow.f64 (pow.f64 x -2) 3) 1/3)
(pow.f64 (/.f64 1 x) 2)
(sqrt.f64 (/.f64 1 (pow.f64 x 4)))
(log.f64 (exp.f64 (pow.f64 x -2)))
(cbrt.f64 (pow.f64 (pow.f64 x -2) 3))
(expm1.f64 (log1p.f64 (pow.f64 x -2)))
(exp.f64 (log.f64 (pow.f64 x -2)))
(log1p.f64 (expm1.f64 (pow.f64 x -2)))
Outputs
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(-.f64 (+.f64 1 (pow.f64 x -2)) 1)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 1 (pow.f64 x -2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (pow.f64 x -2) 1)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (cbrt.f64 (pow.f64 x -2)) (cbrt.f64 (/.f64 1 (pow.f64 x 4))))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 4))) (cbrt.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (/.f64 1 x) (/.f64 1 x))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 -1 (/.f64 1 (*.f64 x (neg.f64 x))))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 x 4)) -1) (pow.f64 (pow.f64 (cbrt.f64 x) 2) -1))
(*.f64 (/.f64 1 (cbrt.f64 (pow.f64 x 4))) (/.f64 1 (pow.f64 (cbrt.f64 x) 2)))
(/.f64 (/.f64 1 (cbrt.f64 (pow.f64 x 4))) (pow.f64 (cbrt.f64 x) 2))
(/.f64 1 (*.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2)))
(pow.f64 x -2)
(/.f64 1 (*.f64 x x))
(pow.f64 (*.f64 x x) -1)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 (pow.f64 x -2) 1)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 (cbrt.f64 (pow.f64 x -2)) 3)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 (pow.f64 (pow.f64 x -2) 3) 1/3)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 (/.f64 1 x) 2)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(sqrt.f64 (/.f64 1 (pow.f64 x 4)))
(sqrt.f64 (pow.f64 x -4))
(log.f64 (exp.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(cbrt.f64 (pow.f64 (pow.f64 x -2) 3))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(expm1.f64 (log1p.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(exp.f64 (log.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(log1p.f64 (expm1.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)

eval5.0ms (0.4%)

Compiler

Compiled 180 to 140 computations (22.2% saved)

prune11.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New24226
Fresh000
Picked011
Done000
Total24327
Accurracy
100.0%
Counts
27 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(pow.f64 x -2)
✓99.6%
(/.f64 1 (*.f64 x x))
▶99.5%
(*.f64 (/.f64 1 x) (/.f64 1 x))
▶100.0%
(pow.f64 x -2)
✓99.6%
(/.f64 1 (*.f64 x x))
▶99.5%
(*.f64 (/.f64 1 x) (/.f64 1 x))
Compiler

Compiled 36 to 26 computations (27.8% saved)

localize55.0ms (3.8%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓99.5%
(*.f64 (/.f64 1 x) (/.f64 1 x))
Compiler

Compiled 19 to 13 computations (31.6% saved)

series1.0ms (0.1%)

Counts
1 → 12
Calls

3 calls:

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

rewrite51.0ms (3.5%)

Algorithm
1×batch-egg-rewrite
Rules
1028×pow1
990×add-sqr-sqrt
952×add-exp-log
950×log1p-expm1-u
950×expm1-log1p-u
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0613
11227
214577
Stop Event
1×node limit
Counts
1 → 29
Calls
Call 1
Inputs
(*.f64 (/.f64 1 x) (/.f64 1 x))
Outputs
(-.f64 (+.f64 1 (pow.f64 x -2)) 1)
(/.f64 1 (*.f64 x x))
(/.f64 1 (*.f64 (neg.f64 x) (neg.f64 x)))
(/.f64 1 (/.f64 (*.f64 x x) 1))
(/.f64 1 (/.f64 x (/.f64 1 x)))
(/.f64 (/.f64 1 x) x)
(/.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 x (/.f64 1 (cbrt.f64 x))))
(/.f64 (pow.f64 x -1/2) (/.f64 x (pow.f64 x -1/2)))
(/.f64 -1 (*.f64 x (neg.f64 x)))
(/.f64 -1 (*.f64 (neg.f64 x) x))
(/.f64 -1 (neg.f64 (*.f64 x x)))
(/.f64 (*.f64 (/.f64 1 x) -1) (neg.f64 x))
(/.f64 (neg.f64 (/.f64 1 x)) (neg.f64 x))
(/.f64 (/.f64 (/.f64 1 x) (sqrt.f64 x)) (sqrt.f64 x))
(/.f64 (/.f64 (/.f64 1 x) 1) x)
(/.f64 (/.f64 (/.f64 1 x) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(/.f64 (*.f64 -1 (/.f64 1 x)) (neg.f64 x))
(pow.f64 x -2)
(pow.f64 (/.f64 1 x) 2)
(pow.f64 (pow.f64 x -2) 1)
(pow.f64 (cbrt.f64 (pow.f64 x -2)) 3)
(pow.f64 (pow.f64 (pow.f64 x -2) 3) 1/3)
(pow.f64 (*.f64 x x) -1)
(sqrt.f64 (pow.f64 (/.f64 1 x) 4))
(log.f64 (exp.f64 (pow.f64 x -2)))
(cbrt.f64 (pow.f64 (pow.f64 x -2) 3))
(expm1.f64 (log1p.f64 (pow.f64 x -2)))
(exp.f64 (log.f64 (pow.f64 x -2)))
(log1p.f64 (expm1.f64 (pow.f64 x -2)))

simplify49.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
1920×log-prod
1006×fma-def
918×associate-*r*
908×associate-*l*
886×unswap-sqr
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
073573
1160333
2515333
34418333
Stop Event
1×node limit
Counts
41 → 35
Calls
Call 1
Inputs
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(-.f64 (+.f64 1 (pow.f64 x -2)) 1)
(/.f64 1 (*.f64 x x))
(/.f64 1 (*.f64 (neg.f64 x) (neg.f64 x)))
(/.f64 1 (/.f64 (*.f64 x x) 1))
(/.f64 1 (/.f64 x (/.f64 1 x)))
(/.f64 (/.f64 1 x) x)
(/.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 x (/.f64 1 (cbrt.f64 x))))
(/.f64 (pow.f64 x -1/2) (/.f64 x (pow.f64 x -1/2)))
(/.f64 -1 (*.f64 x (neg.f64 x)))
(/.f64 -1 (*.f64 (neg.f64 x) x))
(/.f64 -1 (neg.f64 (*.f64 x x)))
(/.f64 (*.f64 (/.f64 1 x) -1) (neg.f64 x))
(/.f64 (neg.f64 (/.f64 1 x)) (neg.f64 x))
(/.f64 (/.f64 (/.f64 1 x) (sqrt.f64 x)) (sqrt.f64 x))
(/.f64 (/.f64 (/.f64 1 x) 1) x)
(/.f64 (/.f64 (/.f64 1 x) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(/.f64 (*.f64 -1 (/.f64 1 x)) (neg.f64 x))
(pow.f64 x -2)
(pow.f64 (/.f64 1 x) 2)
(pow.f64 (pow.f64 x -2) 1)
(pow.f64 (cbrt.f64 (pow.f64 x -2)) 3)
(pow.f64 (pow.f64 (pow.f64 x -2) 3) 1/3)
(pow.f64 (*.f64 x x) -1)
(sqrt.f64 (pow.f64 (/.f64 1 x) 4))
(log.f64 (exp.f64 (pow.f64 x -2)))
(cbrt.f64 (pow.f64 (pow.f64 x -2) 3))
(expm1.f64 (log1p.f64 (pow.f64 x -2)))
(exp.f64 (log.f64 (pow.f64 x -2)))
(log1p.f64 (expm1.f64 (pow.f64 x -2)))
Outputs
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(-.f64 (+.f64 1 (pow.f64 x -2)) 1)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (*.f64 (neg.f64 x) (neg.f64 x)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (/.f64 (*.f64 x x) 1))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (/.f64 x (/.f64 1 x)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 (/.f64 1 x) x)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 x (/.f64 1 (cbrt.f64 x))))
(/.f64 (cbrt.f64 (pow.f64 x -2)) (*.f64 (/.f64 x 1) (cbrt.f64 x)))
(/.f64 (cbrt.f64 (pow.f64 x -2)) (*.f64 x (cbrt.f64 x)))
(/.f64 (pow.f64 x -1/2) (/.f64 x (pow.f64 x -1/2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 -1 (*.f64 x (neg.f64 x)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 -1 (*.f64 (neg.f64 x) x))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 -1 (neg.f64 (*.f64 x x)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 (*.f64 (/.f64 1 x) -1) (neg.f64 x))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 (neg.f64 (/.f64 1 x)) (neg.f64 x))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 (/.f64 (/.f64 1 x) (sqrt.f64 x)) (sqrt.f64 x))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 (/.f64 (/.f64 1 x) 1) x)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 (/.f64 (/.f64 1 x) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(/.f64 (/.f64 1 x) (*.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 x x))))
(/.f64 1 (*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 x (cbrt.f64 x))))
(/.f64 (/.f64 (/.f64 1 x) (cbrt.f64 x)) (cbrt.f64 (*.f64 x x)))
(/.f64 (*.f64 -1 (/.f64 1 x)) (neg.f64 x))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 x -2)
(/.f64 1 (*.f64 x x))
(pow.f64 (/.f64 1 x) 2)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 (pow.f64 x -2) 1)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 (cbrt.f64 (pow.f64 x -2)) 3)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 (pow.f64 (pow.f64 x -2) 3) 1/3)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 (*.f64 x x) -1)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(sqrt.f64 (pow.f64 (/.f64 1 x) 4))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(log.f64 (exp.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(cbrt.f64 (pow.f64 (pow.f64 x -2) 3))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(expm1.f64 (log1p.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(exp.f64 (log.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(log1p.f64 (expm1.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)

eval6.0ms (0.4%)

Compiler

Compiled 248 to 154 computations (37.9% saved)

prune11.0ms (0.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New34135
Fresh000
Picked112
Done011
Total35338
Accurracy
100.0%
Counts
38 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(pow.f64 x -2)
▶99.7%
(/.f64 (/.f64 1 x) x)
✓99.6%
(/.f64 1 (*.f64 x x))
✓100.0%
(pow.f64 x -2)
▶99.7%
(/.f64 (/.f64 1 x) x)
✓99.6%
(/.f64 1 (*.f64 x x))
Compiler

Compiled 32 to 22 computations (31.3% saved)

localize22.0ms (1.5%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓99.7%
(/.f64 (/.f64 1 x) x)
Compiler

Compiled 12 to 8 computations (33.3% saved)

series0.0ms (0%)

Counts
1 → 12
Calls

3 calls:

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

rewrite53.0ms (3.6%)

Algorithm
1×batch-egg-rewrite
Rules
1080×pow1
1034×add-sqr-sqrt
998×add-exp-log
998×log1p-expm1-u
998×expm1-log1p-u
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0613
11237
214977
Stop Event
1×node limit
Counts
1 → 31
Calls
Call 1
Inputs
(/.f64 (/.f64 1 x) x)
Outputs
(-.f64 (+.f64 1 (pow.f64 x -2)) 1)
(*.f64 1 (pow.f64 x -2))
(*.f64 (/.f64 1 x) (/.f64 1 x))
(*.f64 (pow.f64 x -2) 1)
(*.f64 (cbrt.f64 (pow.f64 x -2)) (cbrt.f64 (pow.f64 (pow.f64 x -2) 2)))
(*.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 (/.f64 1 x) (cbrt.f64 x)))
(*.f64 (cbrt.f64 (pow.f64 x -2)) (*.f64 (/.f64 1 (cbrt.f64 x)) (/.f64 1 x)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 x -2) 2)) (cbrt.f64 (pow.f64 x -2)))
(*.f64 (pow.f64 x -1/2) (/.f64 (/.f64 1 x) (sqrt.f64 x)))
(*.f64 (pow.f64 x -1/2) (*.f64 (pow.f64 x -1/2) (/.f64 1 x)))
(*.f64 (/.f64 -1 x) (/.f64 -1 x))
(*.f64 (*.f64 (/.f64 1 x) (pow.f64 x -1/2)) (pow.f64 x -1/2))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) 1) (/.f64 (/.f64 1 (cbrt.f64 x)) x))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 (pow.f64 x -2)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) (sqrt.f64 x)) (/.f64 (/.f64 1 (cbrt.f64 x)) (sqrt.f64 x)))
(*.f64 (/.f64 (pow.f64 x -1/2) 1) (/.f64 (pow.f64 x -1/2) x))
(*.f64 (/.f64 (pow.f64 x -1/2) (pow.f64 (cbrt.f64 x) 2)) (/.f64 (pow.f64 x -1/2) (cbrt.f64 x)))
(*.f64 (*.f64 (/.f64 1 x) (cbrt.f64 (pow.f64 x -2))) (/.f64 1 (cbrt.f64 x)))
(pow.f64 x -2)
(pow.f64 (/.f64 1 x) 2)
(pow.f64 (pow.f64 x -2) 1)
(pow.f64 (cbrt.f64 (pow.f64 x -2)) 3)
(pow.f64 (pow.f64 (pow.f64 x -2) 3) 1/3)
(pow.f64 (*.f64 x x) -1)
(neg.f64 (/.f64 (/.f64 1 x) (neg.f64 x)))
(sqrt.f64 (pow.f64 (pow.f64 x -2) 2))
(log.f64 (exp.f64 (pow.f64 x -2)))
(cbrt.f64 (pow.f64 (pow.f64 x -2) 3))
(expm1.f64 (log1p.f64 (pow.f64 x -2)))
(exp.f64 (log.f64 (pow.f64 x -2)))
(log1p.f64 (expm1.f64 (pow.f64 x -2)))

simplify52.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
1830×log-prod
1024×associate-*r*
1008×fma-def
922×associate-*l*
894×unswap-sqr
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
078705
1197453
2641453
34742433
Stop Event
1×node limit
Counts
43 → 41
Calls
Call 1
Inputs
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(-.f64 (+.f64 1 (pow.f64 x -2)) 1)
(*.f64 1 (pow.f64 x -2))
(*.f64 (/.f64 1 x) (/.f64 1 x))
(*.f64 (pow.f64 x -2) 1)
(*.f64 (cbrt.f64 (pow.f64 x -2)) (cbrt.f64 (pow.f64 (pow.f64 x -2) 2)))
(*.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 (/.f64 1 x) (cbrt.f64 x)))
(*.f64 (cbrt.f64 (pow.f64 x -2)) (*.f64 (/.f64 1 (cbrt.f64 x)) (/.f64 1 x)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 x -2) 2)) (cbrt.f64 (pow.f64 x -2)))
(*.f64 (pow.f64 x -1/2) (/.f64 (/.f64 1 x) (sqrt.f64 x)))
(*.f64 (pow.f64 x -1/2) (*.f64 (pow.f64 x -1/2) (/.f64 1 x)))
(*.f64 (/.f64 -1 x) (/.f64 -1 x))
(*.f64 (*.f64 (/.f64 1 x) (pow.f64 x -1/2)) (pow.f64 x -1/2))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) 1) (/.f64 (/.f64 1 (cbrt.f64 x)) x))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 (pow.f64 x -2)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) (sqrt.f64 x)) (/.f64 (/.f64 1 (cbrt.f64 x)) (sqrt.f64 x)))
(*.f64 (/.f64 (pow.f64 x -1/2) 1) (/.f64 (pow.f64 x -1/2) x))
(*.f64 (/.f64 (pow.f64 x -1/2) (pow.f64 (cbrt.f64 x) 2)) (/.f64 (pow.f64 x -1/2) (cbrt.f64 x)))
(*.f64 (*.f64 (/.f64 1 x) (cbrt.f64 (pow.f64 x -2))) (/.f64 1 (cbrt.f64 x)))
(pow.f64 x -2)
(pow.f64 (/.f64 1 x) 2)
(pow.f64 (pow.f64 x -2) 1)
(pow.f64 (cbrt.f64 (pow.f64 x -2)) 3)
(pow.f64 (pow.f64 (pow.f64 x -2) 3) 1/3)
(pow.f64 (*.f64 x x) -1)
(neg.f64 (/.f64 (/.f64 1 x) (neg.f64 x)))
(sqrt.f64 (pow.f64 (pow.f64 x -2) 2))
(log.f64 (exp.f64 (pow.f64 x -2)))
(cbrt.f64 (pow.f64 (pow.f64 x -2) 3))
(expm1.f64 (log1p.f64 (pow.f64 x -2)))
(exp.f64 (log.f64 (pow.f64 x -2)))
(log1p.f64 (expm1.f64 (pow.f64 x -2)))
Outputs
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(-.f64 (+.f64 1 (pow.f64 x -2)) 1)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 1 (pow.f64 x -2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (/.f64 1 x) (/.f64 1 x))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (pow.f64 x -2) 1)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (cbrt.f64 (pow.f64 x -2)) (cbrt.f64 (pow.f64 (pow.f64 x -2) 2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 (/.f64 1 x) (cbrt.f64 x)))
(*.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 1 (*.f64 (cbrt.f64 x) x)))
(/.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) x) (cbrt.f64 x))
(/.f64 (cbrt.f64 (pow.f64 x -2)) (*.f64 x (cbrt.f64 x)))
(*.f64 (cbrt.f64 (pow.f64 x -2)) (*.f64 (/.f64 1 (cbrt.f64 x)) (/.f64 1 x)))
(*.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 1 (*.f64 (cbrt.f64 x) x)))
(/.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) x) (cbrt.f64 x))
(/.f64 (cbrt.f64 (pow.f64 x -2)) (*.f64 x (cbrt.f64 x)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 x -2) 2)) (cbrt.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (pow.f64 x -1/2) (/.f64 (/.f64 1 x) (sqrt.f64 x)))
(*.f64 (pow.f64 x -1/2) (/.f64 1 (*.f64 (sqrt.f64 x) x)))
(/.f64 (pow.f64 x -1/2) (*.f64 x (sqrt.f64 x)))
(/.f64 (pow.f64 x -1/2) (pow.f64 x 3/2))
(*.f64 (pow.f64 x -1/2) (*.f64 (pow.f64 x -1/2) (/.f64 1 x)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (/.f64 -1 x) (/.f64 -1 x))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (*.f64 (/.f64 1 x) (pow.f64 x -1/2)) (pow.f64 x -1/2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) 1) (/.f64 (/.f64 1 (cbrt.f64 x)) x))
(*.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 1 (*.f64 (cbrt.f64 x) x)))
(/.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) x) (cbrt.f64 x))
(/.f64 (cbrt.f64 (pow.f64 x -2)) (*.f64 x (cbrt.f64 x)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 (pow.f64 x -2)))
(*.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 (cbrt.f64 (pow.f64 x -2)) (pow.f64 (cbrt.f64 x) 2)))
(/.f64 (cbrt.f64 (pow.f64 x -4)) (pow.f64 (cbrt.f64 x) 2))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) (sqrt.f64 x)) (/.f64 (/.f64 1 (cbrt.f64 x)) (sqrt.f64 x)))
(*.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 1 (*.f64 (cbrt.f64 x) x)))
(/.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) x) (cbrt.f64 x))
(/.f64 (cbrt.f64 (pow.f64 x -2)) (*.f64 x (cbrt.f64 x)))
(*.f64 (/.f64 (pow.f64 x -1/2) 1) (/.f64 (pow.f64 x -1/2) x))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (/.f64 (pow.f64 x -1/2) (pow.f64 (cbrt.f64 x) 2)) (/.f64 (pow.f64 x -1/2) (cbrt.f64 x)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(*.f64 (*.f64 (/.f64 1 x) (cbrt.f64 (pow.f64 x -2))) (/.f64 1 (cbrt.f64 x)))
(*.f64 (cbrt.f64 (pow.f64 x -2)) (/.f64 1 (*.f64 (cbrt.f64 x) x)))
(/.f64 (/.f64 (cbrt.f64 (pow.f64 x -2)) x) (cbrt.f64 x))
(/.f64 (cbrt.f64 (pow.f64 x -2)) (*.f64 x (cbrt.f64 x)))
(pow.f64 x -2)
(/.f64 1 (*.f64 x x))
(pow.f64 (/.f64 1 x) 2)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 (pow.f64 x -2) 1)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 (cbrt.f64 (pow.f64 x -2)) 3)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 (pow.f64 (pow.f64 x -2) 3) 1/3)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(pow.f64 (*.f64 x x) -1)
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(neg.f64 (/.f64 (/.f64 1 x) (neg.f64 x)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(sqrt.f64 (pow.f64 (pow.f64 x -2) 2))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(log.f64 (exp.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(cbrt.f64 (pow.f64 (pow.f64 x -2) 3))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(expm1.f64 (log1p.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(exp.f64 (log.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)
(log1p.f64 (expm1.f64 (pow.f64 x -2)))
(/.f64 1 (*.f64 x x))
(pow.f64 x -2)

eval13.0ms (0.9%)

Compiler

Compiled 348 to 245 computations (29.6% saved)

prune6.0ms (0.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New41041
Fresh000
Picked011
Done022
Total41344
Accurracy
100.0%
Counts
44 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(pow.f64 x -2)
✓99.7%
(/.f64 (/.f64 1 x) x)
✓99.6%
(/.f64 1 (*.f64 x x))
Compiler

Compiled 37 to 25 computations (32.4% saved)

regimes12.0ms (0.8%)

Counts
4 → 1
Calls
Call 1
Inputs
(/.f64 1 (*.f64 x x))
(/.f64 (/.f64 1 x) x)
(*.f64 (/.f64 1 x) (/.f64 1 x))
(pow.f64 x -2)
Outputs
(pow.f64 x -2)
Calls

3 calls:

5.0ms
x
3.0ms
(/.f64 1 (*.f64 x x))
3.0ms
(*.f64 x x)
Results
AccuracySegmentsBranch
100.0%1x
100.0%1(/.f64 1 (*.f64 x x))
100.0%1(*.f64 x x)
Compiler

Compiled 33 to 21 computations (36.4% saved)

regimes11.0ms (0.7%)

Counts
3 → 1
Calls
Call 1
Inputs
(/.f64 1 (*.f64 x x))
(/.f64 (/.f64 1 x) x)
(*.f64 (/.f64 1 x) (/.f64 1 x))
Outputs
(/.f64 (/.f64 1 x) x)
Calls

3 calls:

4.0ms
x
3.0ms
(/.f64 1 (*.f64 x x))
3.0ms
(*.f64 x x)
Results
AccuracySegmentsBranch
99.7%1x
99.7%1(/.f64 1 (*.f64 x x))
99.7%1(*.f64 x x)
Compiler

Compiled 30 to 19 computations (36.7% saved)

regimes7.0ms (0.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
(/.f64 1 (*.f64 x x))
Outputs
(/.f64 1 (*.f64 x x))
Calls

3 calls:

2.0ms
x
2.0ms
(/.f64 1 (*.f64 x x))
2.0ms
(*.f64 x x)
Results
AccuracySegmentsBranch
99.6%1x
99.6%1(/.f64 1 (*.f64 x x))
99.6%1(*.f64 x x)
Compiler

Compiled 18 to 11 computations (38.9% saved)

simplify12.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
2×1-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01033
11333
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(pow.f64 x -2)
(/.f64 (/.f64 1 x) x)
(/.f64 1 (*.f64 x x))
Outputs
(pow.f64 x -2)
(/.f64 (/.f64 1 x) x)
(/.f64 1 (*.f64 x x))
Compiler

Compiled 16 to 11 computations (31.3% saved)

soundness219.0ms (14.9%)

Rules
1366×log-prod
1128×associate-/l*
1028×pow1
1006×pow1
990×add-sqr-sqrt
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
053446
1120266
2430254
32950254
0613
11207
214107
0613
11227
214577
Stop Event
1×node limit
1×node limit
1×node limit
Compiler

Compiled 97 to 67 computations (30.9% saved)

end41.0ms (2.8%)

Compiler

Compiled 52 to 34 computations (34.6% saved)

Profiling

Loading profile data...