Numeric.Log:$cexpm1 from log-domain-0.10.2.1, A

Time bar (total: 2.0s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 7 to 5 computations (28.6% saved)

sample1.1s (54.3%)

Results
736.0ms6174×256valid
315.0ms2082×256infinite
Bogosity

preprocess256.0ms (13.1%)

Algorithm
1×egg-herbie
Rules
136×fma-def
44×distribute-lft-neg-in
32×associate-*r*
32×distribute-lft-in
24×cancel-sign-sub-inv
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-x
00-0-(*.f64 x 2)
00-0-(*.f64 (*.f64 x 2) x)
00-0-2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01388
13276
27376
316876
424376
530176
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 x 2) x)
(*.f64 (*.f64 x 2) x)
(*.f64 (*.f64 (neg.f64 x) 2) (neg.f64 x))
(neg.f64 (*.f64 (*.f64 (neg.f64 x) 2) (neg.f64 x)))
Outputs
(*.f64 (*.f64 x 2) x)
(*.f64 x (*.f64 x 2))
(*.f64 (*.f64 x 2) x)
(*.f64 x (*.f64 x 2))
(*.f64 (*.f64 (neg.f64 x) 2) (neg.f64 x))
(*.f64 x (*.f64 x 2))
(neg.f64 (*.f64 (*.f64 (neg.f64 x) 2) (neg.f64 x)))
(*.f64 (*.f64 2 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 x (*.f64 x -2))
(*.f64 -2 (*.f64 x x))
Symmetry

(abs x)

Compiler

Compiled 30 to 20 computations (33.3% saved)

eval0.0ms (0%)

Compiler

Compiled 6 to 4 computations (33.3% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(*.f64 (*.f64 x 2) x)
Compiler

Compiled 6 to 4 computations (33.3% saved)

localize56.0ms (2.9%)

Algorithm
1×egg-herbie
Localize:

Found 4 expressions with local error:

NewAccuracyProgram
✓100.0%
(*.f64 (*.f64 x 2) x)
✓100.0%
(*.f64 x 2)
✓100.0%
x
✓100.0%
2
Rules
4×*-commutative
4×associate-*l*
2×associate-*r*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0834
11134
21434
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 x 2) x)
(*.f64 x 2)
x
2
Outputs
(*.f64 (*.f64 x 2) x)
(*.f64 x (*.f64 x 2))
(*.f64 x 2)
x
2
Compiler

Compiled 12 to 8 computations (33.3% saved)

series3.0ms (0.2%)

Counts
4 → 24
Calls

9 calls:

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

rewrite226.0ms (11.6%)

Algorithm
1×batch-egg-rewrite
Rules
1292×associate-*l*
488×unpow-prod-down
350×log-prod
340×cbrt-prod
304×sqrt-prod
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0834
16731
274231
Stop Event
1×node limit
Counts
4 → 94
Calls
Call 1
Inputs
2
x
(*.f64 x 2)
(*.f64 (*.f64 x 2) x)
Outputs
(+.f64 (+.f64 1 x) -1)
(+.f64 0 x)
(+.f64 (log.f64 (sqrt.f64 (exp.f64 x))) (log.f64 (sqrt.f64 (exp.f64 x))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) 2)) (log.f64 (cbrt.f64 (exp.f64 x))))
(-.f64 (+.f64 1 x) 1)
(*.f64 x 1)
(*.f64 x (log.f64 (E.f64)))
(*.f64 1 x)
(*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2))
(*.f64 (cbrt.f64 x) (*.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x))
(*.f64 (sqrt.f64 x) (sqrt.f64 x))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (*.f64 (cbrt.f64 (cbrt.f64 x)) (pow.f64 (cbrt.f64 x) 2)))
(*.f64 (pow.f64 x 1/6) (*.f64 (pow.f64 x 1/6) (pow.f64 (cbrt.f64 x) 2)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 x) 4)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 x)))
(*.f64 (pow.f64 x 1/4) (sqrt.f64 (pow.f64 x 3/2)))
(*.f64 (pow.f64 x 1/4) (*.f64 (pow.f64 x 1/4) (sqrt.f64 x)))
(*.f64 (pow.f64 1 1/3) x)
(*.f64 (pow.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 5)) 1/3) (cbrt.f64 (cbrt.f64 x)))
(*.f64 (pow.f64 (pow.f64 x 5/2) 1/3) (pow.f64 x 1/6))
(*.f64 (cbrt.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 5))) (cbrt.f64 (cbrt.f64 x)))
(*.f64 (cbrt.f64 (pow.f64 x 5/2)) (pow.f64 x 1/6))
(*.f64 (sqrt.f64 (pow.f64 x 3/2)) (pow.f64 x 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 x 1/6))
(/.f64 (-.f64 (pow.f64 (+.f64 1 x) 3) 1) (+.f64 (*.f64 (+.f64 1 x) (+.f64 1 x)) (+.f64 1 (*.f64 (+.f64 1 x) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 x) (+.f64 1 x)) 1) (+.f64 (+.f64 1 x) 1))
(pow.f64 x 1)
(pow.f64 (cbrt.f64 x) 3)
(pow.f64 (pow.f64 x 2) 1/2)
(pow.f64 (pow.f64 x 3) 1/3)
(pow.f64 (sqrt.f64 x) 2)
(pow.f64 (E.f64) (log.f64 x))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2)) (cbrt.f64 (log.f64 x)))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
(sqrt.f64 (pow.f64 x 2))
(fabs.f64 x)
(log.f64 (exp.f64 x))
(cbrt.f64 (pow.f64 x 3))
(expm1.f64 (log1p.f64 x))
(exp.f64 (log.f64 x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 x)) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 x)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 x)) 2))
(log1p.f64 (expm1.f64 x))
(+.f64 x x)
(+.f64 (+.f64 1 (*.f64 2 x)) -1)
(+.f64 0 (*.f64 2 x))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 4))) (log.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) 2)))
(-.f64 (+.f64 1 (*.f64 2 x)) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (*.f64 2 x)) 3) 1) (+.f64 (*.f64 (+.f64 1 (*.f64 2 x)) (+.f64 1 (*.f64 2 x))) (+.f64 1 (*.f64 (+.f64 1 (*.f64 2 x)) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (*.f64 2 x)) (+.f64 1 (*.f64 2 x))) 1) (+.f64 (+.f64 1 (*.f64 2 x)) 1))
(pow.f64 (*.f64 2 x) 1)
(pow.f64 (cbrt.f64 (*.f64 2 x)) 3)
(pow.f64 (*.f64 (pow.f64 x 2) 4) 1/2)
(pow.f64 (*.f64 (pow.f64 x 3) 8) 1/3)
(pow.f64 (sqrt.f64 (*.f64 2 x)) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 2 x)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 2 x))) 2)) (cbrt.f64 (log.f64 (*.f64 2 x))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 2 x)))) (sqrt.f64 (log.f64 (*.f64 2 x))))
(sqrt.f64 (*.f64 (pow.f64 x 2) 4))
(fabs.f64 (*.f64 2 x))
(log.f64 (pow.f64 (exp.f64 x) 2))
(cbrt.f64 (*.f64 (pow.f64 x 3) 8))
(expm1.f64 (log1p.f64 (*.f64 2 x)))
(exp.f64 (log.f64 (*.f64 2 x)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 2 x))) 3))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 x 3) 8)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 2 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 2 x)))
(+.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) -1)
(+.f64 0 (*.f64 2 (pow.f64 x 2)))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 2)) 4))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 2) (pow.f64 x 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (pow.f64 x 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (pow.f64 x 2)))))
(-.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) 3) 1) (+.f64 (*.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) (+.f64 1 (*.f64 2 (pow.f64 x 2)))) (+.f64 1 (*.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) (+.f64 1 (*.f64 2 (pow.f64 x 2)))) 1) (+.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) 1))
(pow.f64 (*.f64 2 (pow.f64 x 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 2 (pow.f64 x 2))) 3)
(pow.f64 (*.f64 (pow.f64 x 4) 4) 1/2)
(pow.f64 (*.f64 (pow.f64 x 6) 8) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 2)) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 2 (pow.f64 x 2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 2 (pow.f64 x 2)))) 2)) (cbrt.f64 (log.f64 (*.f64 2 (pow.f64 x 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 2 (pow.f64 x 2))))) (sqrt.f64 (log.f64 (*.f64 2 (pow.f64 x 2)))))
(sqrt.f64 (*.f64 (pow.f64 x 4) 4))
(fabs.f64 (*.f64 2 (pow.f64 x 2)))
(log.f64 (pow.f64 (exp.f64 2) (pow.f64 x 2)))
(cbrt.f64 (*.f64 (pow.f64 x 6) 8))
(expm1.f64 (log1p.f64 (*.f64 2 (pow.f64 x 2))))
(exp.f64 (log.f64 (*.f64 2 (pow.f64 x 2))))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 2 (pow.f64 x 2)))) 3))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 x 6) 8)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 x (sqrt.f64 2))) 2))
(log1p.f64 (expm1.f64 (*.f64 2 (pow.f64 x 2))))

simplify58.0ms (3%)

Algorithm
1×egg-herbie
Rules
1168×distribute-lft-in
998×distribute-rgt-in
786×unswap-sqr
756×associate-+l+
680×associate-+r+
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02472451
15862000
219631963
Stop Event
1×node limit
Counts
118 → 120
Calls
Call 1
Inputs
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(+.f64 (+.f64 1 x) -1)
(+.f64 0 x)
(+.f64 (log.f64 (sqrt.f64 (exp.f64 x))) (log.f64 (sqrt.f64 (exp.f64 x))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) 2)) (log.f64 (cbrt.f64 (exp.f64 x))))
(-.f64 (+.f64 1 x) 1)
(*.f64 x 1)
(*.f64 x (log.f64 (E.f64)))
(*.f64 1 x)
(*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2))
(*.f64 (cbrt.f64 x) (*.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x))
(*.f64 (sqrt.f64 x) (sqrt.f64 x))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (*.f64 (cbrt.f64 (cbrt.f64 x)) (pow.f64 (cbrt.f64 x) 2)))
(*.f64 (pow.f64 x 1/6) (*.f64 (pow.f64 x 1/6) (pow.f64 (cbrt.f64 x) 2)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 x) 4)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 x)))
(*.f64 (pow.f64 x 1/4) (sqrt.f64 (pow.f64 x 3/2)))
(*.f64 (pow.f64 x 1/4) (*.f64 (pow.f64 x 1/4) (sqrt.f64 x)))
(*.f64 (pow.f64 1 1/3) x)
(*.f64 (pow.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 5)) 1/3) (cbrt.f64 (cbrt.f64 x)))
(*.f64 (pow.f64 (pow.f64 x 5/2) 1/3) (pow.f64 x 1/6))
(*.f64 (cbrt.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 5))) (cbrt.f64 (cbrt.f64 x)))
(*.f64 (cbrt.f64 (pow.f64 x 5/2)) (pow.f64 x 1/6))
(*.f64 (sqrt.f64 (pow.f64 x 3/2)) (pow.f64 x 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 x 1/6))
(/.f64 (-.f64 (pow.f64 (+.f64 1 x) 3) 1) (+.f64 (*.f64 (+.f64 1 x) (+.f64 1 x)) (+.f64 1 (*.f64 (+.f64 1 x) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 x) (+.f64 1 x)) 1) (+.f64 (+.f64 1 x) 1))
(pow.f64 x 1)
(pow.f64 (cbrt.f64 x) 3)
(pow.f64 (pow.f64 x 2) 1/2)
(pow.f64 (pow.f64 x 3) 1/3)
(pow.f64 (sqrt.f64 x) 2)
(pow.f64 (E.f64) (log.f64 x))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2)) (cbrt.f64 (log.f64 x)))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
(sqrt.f64 (pow.f64 x 2))
(fabs.f64 x)
(log.f64 (exp.f64 x))
(cbrt.f64 (pow.f64 x 3))
(expm1.f64 (log1p.f64 x))
(exp.f64 (log.f64 x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 x)) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 x)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 x)) 2))
(log1p.f64 (expm1.f64 x))
(+.f64 x x)
(+.f64 (+.f64 1 (*.f64 2 x)) -1)
(+.f64 0 (*.f64 2 x))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 4))) (log.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) 2)))
(-.f64 (+.f64 1 (*.f64 2 x)) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (*.f64 2 x)) 3) 1) (+.f64 (*.f64 (+.f64 1 (*.f64 2 x)) (+.f64 1 (*.f64 2 x))) (+.f64 1 (*.f64 (+.f64 1 (*.f64 2 x)) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (*.f64 2 x)) (+.f64 1 (*.f64 2 x))) 1) (+.f64 (+.f64 1 (*.f64 2 x)) 1))
(pow.f64 (*.f64 2 x) 1)
(pow.f64 (cbrt.f64 (*.f64 2 x)) 3)
(pow.f64 (*.f64 (pow.f64 x 2) 4) 1/2)
(pow.f64 (*.f64 (pow.f64 x 3) 8) 1/3)
(pow.f64 (sqrt.f64 (*.f64 2 x)) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 2 x)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 2 x))) 2)) (cbrt.f64 (log.f64 (*.f64 2 x))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 2 x)))) (sqrt.f64 (log.f64 (*.f64 2 x))))
(sqrt.f64 (*.f64 (pow.f64 x 2) 4))
(fabs.f64 (*.f64 2 x))
(log.f64 (pow.f64 (exp.f64 x) 2))
(cbrt.f64 (*.f64 (pow.f64 x 3) 8))
(expm1.f64 (log1p.f64 (*.f64 2 x)))
(exp.f64 (log.f64 (*.f64 2 x)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 2 x))) 3))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 x 3) 8)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 2 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 2 x)))
(+.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) -1)
(+.f64 0 (*.f64 2 (pow.f64 x 2)))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 2)) 4))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 2) (pow.f64 x 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (pow.f64 x 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (pow.f64 x 2)))))
(-.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) 3) 1) (+.f64 (*.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) (+.f64 1 (*.f64 2 (pow.f64 x 2)))) (+.f64 1 (*.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) (+.f64 1 (*.f64 2 (pow.f64 x 2)))) 1) (+.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) 1))
(pow.f64 (*.f64 2 (pow.f64 x 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 2 (pow.f64 x 2))) 3)
(pow.f64 (*.f64 (pow.f64 x 4) 4) 1/2)
(pow.f64 (*.f64 (pow.f64 x 6) 8) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 2)) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 2 (pow.f64 x 2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 2 (pow.f64 x 2)))) 2)) (cbrt.f64 (log.f64 (*.f64 2 (pow.f64 x 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 2 (pow.f64 x 2))))) (sqrt.f64 (log.f64 (*.f64 2 (pow.f64 x 2)))))
(sqrt.f64 (*.f64 (pow.f64 x 4) 4))
(fabs.f64 (*.f64 2 (pow.f64 x 2)))
(log.f64 (pow.f64 (exp.f64 2) (pow.f64 x 2)))
(cbrt.f64 (*.f64 (pow.f64 x 6) 8))
(expm1.f64 (log1p.f64 (*.f64 2 (pow.f64 x 2))))
(exp.f64 (log.f64 (*.f64 2 (pow.f64 x 2))))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 2 (pow.f64 x 2)))) 3))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 x 6) 8)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 x (sqrt.f64 2))) 2))
(log1p.f64 (expm1.f64 (*.f64 2 (pow.f64 x 2))))
Outputs
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 x)
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(+.f64 (+.f64 1 x) -1)
(+.f64 1 (+.f64 x -1))
x
(+.f64 0 x)
(+.f64 1 (+.f64 x -1))
x
(+.f64 (log.f64 (sqrt.f64 (exp.f64 x))) (log.f64 (sqrt.f64 (exp.f64 x))))
(+.f64 1 (+.f64 x -1))
x
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) 2)) (log.f64 (cbrt.f64 (exp.f64 x))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 x))))
(*.f64 (log.f64 (cbrt.f64 (exp.f64 x))) 3)
(-.f64 (+.f64 1 x) 1)
(+.f64 1 (+.f64 x -1))
x
(*.f64 x 1)
(+.f64 1 (+.f64 x -1))
x
(*.f64 x (log.f64 (E.f64)))
(+.f64 1 (+.f64 x -1))
x
(*.f64 1 x)
(+.f64 1 (+.f64 x -1))
x
(*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2))
(+.f64 1 (+.f64 x -1))
x
(*.f64 (cbrt.f64 x) (*.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 1 (+.f64 x -1))
x
(*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x))
(+.f64 1 (+.f64 x -1))
x
(*.f64 (sqrt.f64 x) (sqrt.f64 x))
(+.f64 1 (+.f64 x -1))
x
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (*.f64 (cbrt.f64 (cbrt.f64 x)) (pow.f64 (cbrt.f64 x) 2)))
(+.f64 1 (+.f64 x -1))
x
(*.f64 (pow.f64 x 1/6) (*.f64 (pow.f64 x 1/6) (pow.f64 (cbrt.f64 x) 2)))
(+.f64 1 (+.f64 x -1))
x
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 x) 4)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 x)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 x) 4)) (*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (*.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 (cbrt.f64 x) 4))))
(*.f64 (pow.f64 x 1/4) (sqrt.f64 (pow.f64 x 3/2)))
(*.f64 (pow.f64 x 1/4) (pow.f64 x 3/4))
(*.f64 (pow.f64 x 1/4) (*.f64 (pow.f64 x 1/4) (sqrt.f64 x)))
(+.f64 1 (+.f64 x -1))
x
(*.f64 (pow.f64 1 1/3) x)
(+.f64 1 (+.f64 x -1))
x
(*.f64 (pow.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 5)) 1/3) (cbrt.f64 (cbrt.f64 x)))
(*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 5))))
(*.f64 (pow.f64 (pow.f64 x 5/2) 1/3) (pow.f64 x 1/6))
(*.f64 (pow.f64 x 1/6) (cbrt.f64 (pow.f64 x 5/2)))
(*.f64 (cbrt.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 5))) (cbrt.f64 (cbrt.f64 x)))
(*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 5))))
(*.f64 (cbrt.f64 (pow.f64 x 5/2)) (pow.f64 x 1/6))
(*.f64 (pow.f64 x 1/6) (cbrt.f64 (pow.f64 x 5/2)))
(*.f64 (sqrt.f64 (pow.f64 x 3/2)) (pow.f64 x 1/4))
(*.f64 (pow.f64 x 1/4) (sqrt.f64 (pow.f64 x 3/2)))
(*.f64 (pow.f64 x 1/4) (pow.f64 x 3/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 x 1/6))
(*.f64 (pow.f64 x 1/6) (sqrt.f64 (pow.f64 (cbrt.f64 x) 5)))
(*.f64 (pow.f64 x 1/6) (pow.f64 (cbrt.f64 x) 5/2))
(/.f64 (-.f64 (pow.f64 (+.f64 1 x) 3) 1) (+.f64 (*.f64 (+.f64 1 x) (+.f64 1 x)) (+.f64 1 (*.f64 (+.f64 1 x) 1))))
(/.f64 (+.f64 (pow.f64 (+.f64 x 1) 3) -1) (fma.f64 (+.f64 x 1) (+.f64 x 1) (+.f64 1 (+.f64 x 1))))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 x 1) 3)) (fma.f64 (+.f64 x 1) (+.f64 x 1) (+.f64 2 x)))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 x 1) 3)) (+.f64 1 (*.f64 (+.f64 x 1) (+.f64 2 x))))
(/.f64 (-.f64 (*.f64 (+.f64 1 x) (+.f64 1 x)) 1) (+.f64 (+.f64 1 x) 1))
(+.f64 1 (+.f64 x -1))
x
(pow.f64 x 1)
(+.f64 1 (+.f64 x -1))
x
(pow.f64 (cbrt.f64 x) 3)
(+.f64 1 (+.f64 x -1))
x
(pow.f64 (pow.f64 x 2) 1/2)
(+.f64 1 (+.f64 x -1))
x
(pow.f64 (pow.f64 x 3) 1/3)
(+.f64 1 (+.f64 x -1))
x
(pow.f64 (sqrt.f64 x) 2)
(+.f64 1 (+.f64 x -1))
x
(pow.f64 (E.f64) (log.f64 x))
(+.f64 1 (+.f64 x -1))
x
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2)) (cbrt.f64 (log.f64 x)))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
(sqrt.f64 (pow.f64 x 2))
(+.f64 1 (+.f64 x -1))
x
(fabs.f64 x)
(+.f64 1 (+.f64 x -1))
x
(log.f64 (exp.f64 x))
(+.f64 1 (+.f64 x -1))
x
(cbrt.f64 (pow.f64 x 3))
(+.f64 1 (+.f64 x -1))
x
(expm1.f64 (log1p.f64 x))
(+.f64 1 (+.f64 x -1))
x
(exp.f64 (log.f64 x))
(+.f64 1 (+.f64 x -1))
x
(exp.f64 (*.f64 (log.f64 (cbrt.f64 x)) 3))
(+.f64 1 (+.f64 x -1))
x
(exp.f64 (*.f64 (*.f64 3 (log.f64 x)) 1/3))
(+.f64 1 (+.f64 x -1))
x
(exp.f64 (*.f64 (log.f64 (sqrt.f64 x)) 2))
(+.f64 1 (+.f64 x -1))
x
(log1p.f64 (expm1.f64 x))
(+.f64 1 (+.f64 x -1))
x
(+.f64 x x)
(*.f64 2 x)
(+.f64 (+.f64 1 (*.f64 2 x)) -1)
(*.f64 2 x)
(+.f64 0 (*.f64 2 x))
(*.f64 2 x)
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 4))) (log.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) 2)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 4))))
(fma.f64 2 (log.f64 (cbrt.f64 (exp.f64 x))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 4))))
(-.f64 (+.f64 1 (*.f64 2 x)) 1)
(*.f64 2 x)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (*.f64 2 x)) 3) 1) (+.f64 (*.f64 (+.f64 1 (*.f64 2 x)) (+.f64 1 (*.f64 2 x))) (+.f64 1 (*.f64 (+.f64 1 (*.f64 2 x)) 1))))
(/.f64 (+.f64 (pow.f64 (+.f64 (*.f64 2 x) 1) 3) -1) (fma.f64 (+.f64 (*.f64 2 x) 1) (+.f64 (*.f64 2 x) 1) (+.f64 1 (+.f64 (*.f64 2 x) 1))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 2 x 1) 3)) (fma.f64 (fma.f64 2 x 1) (fma.f64 2 x 1) (+.f64 2 (*.f64 2 x))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 2 x 1) 3)) (+.f64 1 (*.f64 (fma.f64 2 x 1) (+.f64 2 (*.f64 2 x)))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (*.f64 2 x)) (+.f64 1 (*.f64 2 x))) 1) (+.f64 (+.f64 1 (*.f64 2 x)) 1))
(*.f64 2 x)
(pow.f64 (*.f64 2 x) 1)
(*.f64 2 x)
(pow.f64 (cbrt.f64 (*.f64 2 x)) 3)
(*.f64 2 x)
(pow.f64 (*.f64 (pow.f64 x 2) 4) 1/2)
(sqrt.f64 (*.f64 (pow.f64 x 2) 4))
(pow.f64 (*.f64 (pow.f64 x 3) 8) 1/3)
(cbrt.f64 (*.f64 (pow.f64 x 3) 8))
(pow.f64 (sqrt.f64 (*.f64 2 x)) 2)
(*.f64 2 x)
(pow.f64 (E.f64) (log.f64 (*.f64 2 x)))
(*.f64 2 x)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 2 x))) 2)) (cbrt.f64 (log.f64 (*.f64 2 x))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 2 x)))) (sqrt.f64 (log.f64 (*.f64 2 x))))
(sqrt.f64 (*.f64 (pow.f64 x 2) 4))
(fabs.f64 (*.f64 2 x))
(*.f64 2 x)
(log.f64 (pow.f64 (exp.f64 x) 2))
(*.f64 2 x)
(cbrt.f64 (*.f64 (pow.f64 x 3) 8))
(expm1.f64 (log1p.f64 (*.f64 2 x)))
(*.f64 2 x)
(exp.f64 (log.f64 (*.f64 2 x)))
(*.f64 2 x)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 2 x))) 3))
(*.f64 2 x)
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 x 3) 8)) 1/3))
(cbrt.f64 (*.f64 (pow.f64 x 3) 8))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 2 x))) 2))
(*.f64 2 x)
(log1p.f64 (expm1.f64 (*.f64 2 x)))
(*.f64 2 x)
(+.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) -1)
(*.f64 2 (pow.f64 x 2))
(+.f64 0 (*.f64 2 (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 2)) 4))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 2) (pow.f64 x 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (pow.f64 x 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (pow.f64 x 2)))))
(*.f64 2 (pow.f64 x 2))
(-.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) 1)
(*.f64 2 (pow.f64 x 2))
(/.f64 (-.f64 (pow.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) 3) 1) (+.f64 (*.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) (+.f64 1 (*.f64 2 (pow.f64 x 2)))) (+.f64 1 (*.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) 1))))
(/.f64 (+.f64 (pow.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) 1) 3) -1) (fma.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) 1) (+.f64 (*.f64 2 (pow.f64 x 2)) 1) (+.f64 1 (+.f64 (*.f64 2 (pow.f64 x 2)) 1))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 2 (pow.f64 x 2) 1) 3)) (fma.f64 (fma.f64 2 (pow.f64 x 2) 1) (fma.f64 2 (pow.f64 x 2) 1) (+.f64 2 (*.f64 2 (pow.f64 x 2)))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 2 (pow.f64 x 2) 1) 3)) (+.f64 1 (*.f64 (fma.f64 2 (pow.f64 x 2) 1) (+.f64 2 (*.f64 2 (pow.f64 x 2))))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) (+.f64 1 (*.f64 2 (pow.f64 x 2)))) 1) (+.f64 (+.f64 1 (*.f64 2 (pow.f64 x 2))) 1))
(*.f64 2 (pow.f64 x 2))
(pow.f64 (*.f64 2 (pow.f64 x 2)) 1)
(*.f64 2 (pow.f64 x 2))
(pow.f64 (cbrt.f64 (*.f64 2 (pow.f64 x 2))) 3)
(*.f64 2 (pow.f64 x 2))
(pow.f64 (*.f64 (pow.f64 x 4) 4) 1/2)
(sqrt.f64 (*.f64 4 (pow.f64 x 4)))
(pow.f64 (*.f64 (pow.f64 x 6) 8) 1/3)
(cbrt.f64 (*.f64 8 (pow.f64 x 6)))
(pow.f64 (*.f64 x (sqrt.f64 2)) 2)
(*.f64 2 (pow.f64 x 2))
(pow.f64 (E.f64) (log.f64 (*.f64 2 (pow.f64 x 2))))
(*.f64 2 (pow.f64 x 2))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 2 (pow.f64 x 2)))) 2)) (cbrt.f64 (log.f64 (*.f64 2 (pow.f64 x 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 2 (pow.f64 x 2))))) (sqrt.f64 (log.f64 (*.f64 2 (pow.f64 x 2)))))
(sqrt.f64 (*.f64 (pow.f64 x 4) 4))
(sqrt.f64 (*.f64 4 (pow.f64 x 4)))
(fabs.f64 (*.f64 2 (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(log.f64 (pow.f64 (exp.f64 2) (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(cbrt.f64 (*.f64 (pow.f64 x 6) 8))
(cbrt.f64 (*.f64 8 (pow.f64 x 6)))
(expm1.f64 (log1p.f64 (*.f64 2 (pow.f64 x 2))))
(*.f64 2 (pow.f64 x 2))
(exp.f64 (log.f64 (*.f64 2 (pow.f64 x 2))))
(*.f64 2 (pow.f64 x 2))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 2 (pow.f64 x 2)))) 3))
(*.f64 2 (pow.f64 x 2))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 x 6) 8)) 1/3))
(cbrt.f64 (*.f64 8 (pow.f64 x 6)))
(exp.f64 (*.f64 (log.f64 (*.f64 x (sqrt.f64 2))) 2))
(*.f64 2 (pow.f64 x 2))
(log1p.f64 (expm1.f64 (*.f64 2 (pow.f64 x 2))))
(*.f64 2 (pow.f64 x 2))

eval236.0ms (12.1%)

Compiler

Compiled 2138 to 1516 computations (29.1% saved)

prune21.0ms (1.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New1780178
Fresh000
Picked011
Done000
Total1781179
Accuracy
100.0%
Counts
179 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(*.f64 (*.f64 x 2) x)
Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify6.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
4×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0819
11019
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 x 2) x)
Outputs
(*.f64 (*.f64 x 2) x)
(*.f64 x (*.f64 x 2))
Compiler

Compiled 6 to 4 computations (33.3% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess27.0ms (1.4%)

Remove

(abs x)

Compiler

Compiled 60 to 40 computations (33.3% saved)

Profiling

Loading profile data...