Details

Time bar (total: 1.2s)

analyze3.0ms (0.3%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
50%50%50%0%0%0%0%3
66.7%50%25%0%25%0%0%4
80%50%12.5%0%37.5%0%0%5
88.9%50%6.2%0%43.7%0%0%6
94.1%50%3.1%0%46.9%0%0%7
97%50%1.6%0%48.4%0%0%8
98.5%50%0.8%0%49.2%0%0%9
99.2%50%0.4%0%49.6%0%0%10
99.6%50.2%0.2%0%49.6%0%0%11
99.8%50.2%0.1%0%49.7%0%0%12
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample985.0ms (84.3%)

Results
974.0ms8256×body256valid
2.0ms20×body256infinite
Bogosity

preprocess58.0ms (5%)

Algorithm
2×egg-herbie
Rules
1370×associate-+r+
1144×associate-+l+
974×associate-*l*
960×associate-/r*
756×associate-/l*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0921
12117
25417
310813
425113
561413
6185613
7565813
011
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
Outputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
(exp.f64 (+.f64 -1 (*.f64 x x)))
(exp.f64 (+.f64 (*.f64 x x) -1))
(exp.f64 (fma.f64 x x -1))
Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify56.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
1370×associate-+r+
1144×associate-+l+
974×associate-*l*
960×associate-/r*
756×associate-/l*
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0921
12117
25417
310813
425113
561413
6185613
7565813
Stop Event
1×node limit
Counts
1 → 4
Calls
Call 1
Inputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
Outputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
(exp.f64 (+.f64 -1 (*.f64 x x)))
(exp.f64 (+.f64 (*.f64 x x) -1))
(exp.f64 (fma.f64 x x -1))

eval1.0ms (0.1%)

Compiler

Compiled 25 to 15 computations (40% saved)

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New224
Fresh101
Picked000
Done000
Total325
Error
100.0%
Counts
5 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
▶100.0%
(exp.f64 (fma.f64 x x -1))
▶100.0%
(exp.f64 (+.f64 (*.f64 x x) -1))
Compiler

Compiled 13 to 9 computations (30.8% saved)

localize7.0ms (0.6%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓100.0%
(+.f64 (*.f64 x x) -1)
✓100.0%
(exp.f64 (+.f64 (*.f64 x x) -1))
Compiler

Compiled 17 to 8 computations (52.9% saved)

series1.0ms (0.1%)

Counts
2 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
x
@0
(exp.f64 (+.f64 (*.f64 x x) -1))
0.0ms
x
@inf
(+.f64 (*.f64 x x) -1)
0.0ms
x
@inf
(exp.f64 (+.f64 (*.f64 x x) -1))
0.0ms
x
@0
(+.f64 (*.f64 x x) -1)
0.0ms
x
@-inf
(exp.f64 (+.f64 (*.f64 x x) -1))

rewrite56.0ms (4.8%)

Algorithm
1×batch-egg-rewrite
Rules
1610×add-sqr-sqrt
1590×*-un-lft-identity
1478×add-cube-cbrt
1466×add-cbrt-cube
164×pow1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0822
116922
2204122
Stop Event
1×node limit
Calls
Call 1
Inputs
(exp.f64 (+.f64 (*.f64 x x) -1))
(+.f64 (*.f64 x x) -1)
Outputs
((((x -.f64 (exp.f64 (log1p.f64 (exp.f64 (fma.f64 x x -1)))) 1))) (((x *.f64 (exp.f64 (fma.f64 x x -1)) 1))) (((x *.f64 1 (exp.f64 (fma.f64 x x -1))))) (((x *.f64 (sqrt.f64 (exp.f64 (fma.f64 x x -1))) (sqrt.f64 (exp.f64 (fma.f64 x x -1)))))) (((x *.f64 (cbrt.f64 (exp.f64 (fma.f64 x x -1))) (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x x -1))) 2)))) (((x *.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x x -1))) 2) (cbrt.f64 (exp.f64 (fma.f64 x x -1)))))) (((x *.f64 (pow.f64 (exp.f64 x) x) (exp.f64 -1)))) (((x *.f64 (exp.f64 -1) (pow.f64 (exp.f64 x) x)))) (((x pow.f64 (exp.f64 (fma.f64 x x -1)) 1))) (((x pow.f64 (sqrt.f64 (exp.f64 (fma.f64 x x -1))) 2))) (((x pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x x -1))) 3))) (((x pow.f64 (pow.f64 (exp.f64 (fma.f64 x x -1)) 3) 1/3))) (((x pow.f64 (exp.f64 1) (fma.f64 x x -1)))) (((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1)) 2)) (cbrt.f64 (fma.f64 x x -1))))) (((x pow.f64 (exp.f64 (sqrt.f64 (fma.f64 x x -1))) (sqrt.f64 (fma.f64 x x -1))))) (((x pow.f64 (exp.f64 (+.f64 x 1)) (+.f64 x -1)))) (((x sqrt.f64 (pow.f64 (exp.f64 (fma.f64 x x -1)) 2)))) (((x log.f64 (exp.f64 (exp.f64 (fma.f64 x x -1)))))) (((x log.f64 (+.f64 1 (expm1.f64 (exp.f64 (fma.f64 x x -1))))))) (((x cbrt.f64 (pow.f64 (exp.f64 (fma.f64 x x -1)) 3)))) (((x expm1.f64 (log1p.f64 (exp.f64 (fma.f64 x x -1)))))) (((x log1p.f64 (expm1.f64 (exp.f64 (fma.f64 x x -1)))))))
((((x -.f64 (exp.f64 (log1p.f64 (fma.f64 x x -1))) 1))) (((x -.f64 (/.f64 (pow.f64 x 4) (fma.f64 x x 1)) (/.f64 1 (fma.f64 x x 1))))) (((x *.f64 (fma.f64 x x -1) 1))) (((x *.f64 1 (fma.f64 x x -1)))) (((x *.f64 (sqrt.f64 (fma.f64 x x -1)) (sqrt.f64 (fma.f64 x x -1))))) (((x *.f64 (cbrt.f64 (fma.f64 x x -1)) (pow.f64 (cbrt.f64 (fma.f64 x x -1)) 2)))) (((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1)) 2) (cbrt.f64 (fma.f64 x x -1))))) (((x *.f64 (+.f64 x 1) (+.f64 x -1)))) (((x *.f64 (+.f64 x -1) (+.f64 x 1)))) (((x *.f64 (+.f64 (pow.f64 x 4) -1) (/.f64 1 (fma.f64 x x 1))))) (((x *.f64 (+.f64 -1 (pow.f64 x 6)) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1 (*.f64 x (*.f64 x -1)))))))) (((x /.f64 1 (/.f64 (fma.f64 x x 1) (+.f64 (pow.f64 x 4) -1))))) (((x /.f64 1 (/.f64 (+.f64 (pow.f64 x 4) (-.f64 1 (*.f64 x (*.f64 x -1)))) (+.f64 -1 (pow.f64 x 6)))))) (((x /.f64 (+.f64 (pow.f64 x 4) -1) (fma.f64 x x 1)))) (((x /.f64 (+.f64 -1 (pow.f64 x 6)) (+.f64 (pow.f64 x 4) (-.f64 1 (*.f64 x (*.f64 x -1))))))) (((x /.f64 (+.f64 -1 (pow.f64 x 6)) (+.f64 1 (-.f64 (pow.f64 x 4) (*.f64 x (*.f64 x -1))))))) (((x /.f64 (-.f64 1 (pow.f64 x 4)) (-.f64 -1 (*.f64 x x))))) (((x /.f64 (neg.f64 (+.f64 (pow.f64 x 4) -1)) (neg.f64 (fma.f64 x x 1))))) (((x /.f64 (neg.f64 (+.f64 -1 (pow.f64 x 6))) (neg.f64 (+.f64 (pow.f64 x 4) (-.f64 1 (*.f64 x (*.f64 x -1)))))))) (((x pow.f64 (fma.f64 x x -1) 1))) (((x pow.f64 (sqrt.f64 (fma.f64 x x -1)) 2))) (((x pow.f64 (cbrt.f64 (fma.f64 x x -1)) 3))) (((x pow.f64 (pow.f64 (fma.f64 x x -1) 3) 1/3))) (((x sqrt.f64 (pow.f64 (fma.f64 x x -1) 2)))) (((x log.f64 (exp.f64 (fma.f64 x x -1))))) (((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x x -1)))))) (((x cbrt.f64 (pow.f64 (fma.f64 x x -1) 3)))) (((x expm1.f64 (log1p.f64 (fma.f64 x x -1))))) (((x exp.f64 (log.f64 (fma.f64 x x -1))))) (((x exp.f64 (*.f64 (log.f64 (fma.f64 x x -1)) 1)))) (((x log1p.f64 (expm1.f64 (fma.f64 x x -1))))) (((x fma.f64 x x -1))) (((x fma.f64 1 (*.f64 x x) -1))) (((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) -1))))

end0.0ms (0%)

Profiling

Loading profile data...