Details

Time bar (total: 1.1s)

analyze4.0ms (0.3%)

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.8%0.1%0.1%12
99.8%0%0.1%13
99.8%0%0.2%14
Compiler

Compiled 11 to 10 computations (9.1% saved)

sample775.0ms (68%)

Results
756.0ms8252×body128valid
2.0msbody1024valid
0.0msbody128invalid
0.0msbody256valid

preprocess18.0ms (1.6%)

Algorithm
egg-herbie
Rules
fma-def_binary64
+-commutative_binary64
*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0125
1155
2165
011
Stop Event
saturated
saturated
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
Outputs
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
(fma.f64 841/108 x 4/29)
Compiler

Compiled 10 to 9 computations (10% saved)

simplify6.0ms (0.6%)

Algorithm
egg-herbie
Rules
fma-def_binary64
+-commutative_binary64
*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0125
1155
2165
Stop Event
saturated
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
Outputs
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
(fma.f64 841/108 x 4/29)

eval1.0ms (0.1%)

Compiler

Compiled 14 to 12 computations (14.3% saved)

prune2.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
0.1b
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
0.1b
(fma.f64 841/108 x 4/29)
Compiler

Compiled 30 to 26 computations (13.3% saved)

localize8.0ms (0.7%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.1b
(*.f64 (/.f64 841 108) x)

series2.0ms (0.2%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
1.0ms
x
@-inf
(*.f64 (/.f64 841 108) x)
1.0ms
x
@inf
(*.f64 (/.f64 841 108) x)
1.0ms
x
@0
(*.f64 (/.f64 841 108) x)

rewrite33.0ms (2.9%)

Algorithm
batch-egg-rewrite
Rules
484×pow1_binary64
458×add-log-exp_binary64
458×log1p-expm1-u_binary64
458×expm1-log1p-u_binary64
452×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074
11244
212314
Stop Event
node limit
Counts
1 → 11
Calls
Call 1
Inputs
(*.f64 (/.f64 841 108) x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 841/108 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 841/108 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 841/108 x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 841/108 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 841/108 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (*.f64 x x) 707281/11664))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) 841/108))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 841/108 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 841/108 x)))))))

simplify7.0ms (0.6%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0448
1548
Stop Event
saturated
Counts
23 → 12
Calls
Call 1
Inputs
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
Outputs
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)

eval3.0ms (0.3%)

Compiler

Compiled 115 to 102 computations (11.3% saved)

prune11.0ms (0.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New9312
Fresh101
Picked011
Done000
Total10414
Error
0.1b
Counts
14 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
24.5b
(+.f64 (sqrt.f64 (*.f64 (*.f64 x x) 707281/11664)) (/.f64 4 29))
33.6b
(+.f64 (pow.f64 (sqrt.f64 (*.f64 841/108 x)) 2) (/.f64 4 29))
0.7b
(+.f64 (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 3) (/.f64 4 29))
0.1b
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
Compiler

Compiled 76 to 67 computations (11.8% saved)

localize9.0ms (0.8%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.1b
(*.f64 841/108 x)
0.6b
(cbrt.f64 (*.f64 841/108 x))
0.7b
(pow.f64 (cbrt.f64 (*.f64 841/108 x)) 3)

series9.0ms (0.7%)

Counts
3 → 0
Calls

9 calls:

TimeVariablePointExpression
2.0ms
x
@0
(pow.f64 (cbrt.f64 (*.f64 841/108 x)) 3)
2.0ms
x
@-inf
(pow.f64 (cbrt.f64 (*.f64 841/108 x)) 3)
1.0ms
x
@inf
(pow.f64 (cbrt.f64 (*.f64 841/108 x)) 3)
1.0ms
x
@0
(cbrt.f64 (*.f64 841/108 x))
1.0ms
x
@-inf
(cbrt.f64 (*.f64 841/108 x))

rewrite46.0ms (4.1%)

Algorithm
batch-egg-rewrite
Rules
522×pow1_binary64
496×add-log-exp_binary64
496×log1p-expm1-u_binary64
496×expm1-log1p-u_binary64
485×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0714
114914
2139814
Stop Event
node limit
Counts
3 → 61
Calls
Call 1
Inputs
(pow.f64 (cbrt.f64 (*.f64 841/108 x)) 3)
(cbrt.f64 (*.f64 841/108 x))
(*.f64 841/108 x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 841/108 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 841/108 x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x 841/108)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 841/108 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 841/108 x)) (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 841/108 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2) (cbrt.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 841/108))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 841/108 x))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 841/108 x))) (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 841/108) (*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 841/108))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 841/108 x) 1/6) (*.f64 (pow.f64 (*.f64 841/108 x) 1/6) (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 841/108 x)) (sqrt.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 841/108 x))) 2) 3) (cbrt.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 841/108) 3) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 841/108 x) 1/6) 3) (pow.f64 (pow.f64 (*.f64 841/108 x) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 841/108 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 841/108 (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2) 1) (cbrt.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 841/108 x))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 841/108 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2) (cbrt.f64 841/108)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2) (pow.f64 (*.f64 841/108 x) 1/6)) (pow.f64 (*.f64 841/108 x) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (*.f64 x x) 707281/11664))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) 841/108))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 841/108 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 841/108 x)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (cbrt.f64 (*.f64 841/108 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 841/108 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (cbrt.f64 841/108))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 841/108 x))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 841/108 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 841/108 x))) (pow.f64 (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 841/108 x))) 2) (cbrt.f64 (cbrt.f64 (*.f64 841/108 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 841/108) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 841/108 x) 1/6) (pow.f64 (*.f64 841/108 x) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 841/108 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 841/108 x)) 1/3) (pow.f64 (sqrt.f64 (*.f64 841/108 x)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 841/108 x) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 841/108 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 841/108 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 841/108 x) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (*.f64 841/108 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (*.f64 841/108 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (*.f64 841/108 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (*.f64 841/108 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 841/108 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 841/108 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 841/108 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 2) 3/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 841/108 x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 841/108 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (*.f64 x x) 707281/11664))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) 841/108))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 841/108 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 841/108 x)))))))

simplify7.0ms (0.6%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
Stop Event
saturated
Counts
61 → 54
Calls
Call 1
Inputs
Outputs

eval23.0ms (2.1%)

Compiler

Compiled 744 to 653 computations (12.2% saved)

prune76.0ms (6.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New53154
Fresh202
Picked101
Done011
Total56258
Error
0b
Counts
58 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
0.1b
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
0.3b
(+.f64 (*.f64 (pow.f64 (cbrt.f64 841/108) 3) x) (/.f64 4 29))
Compiler

Compiled 32 to 29 computations (9.4% saved)

localize6.0ms (0.6%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.1b
(*.f64 (pow.f64 (cbrt.f64 841/108) 3) x)
1.0b
(pow.f64 (cbrt.f64 841/108) 3)

series1.0ms (0.1%)

Counts
2 → 12
Calls

3 calls:

TimeVariablePointExpression
0.0ms
x
@0
(*.f64 (pow.f64 (cbrt.f64 841/108) 3) x)
0.0ms
x
@inf
(*.f64 (pow.f64 (cbrt.f64 841/108) 3) x)
0.0ms
x
@-inf
(*.f64 (pow.f64 (cbrt.f64 841/108) 3) x)

rewrite34.0ms (3%)

Algorithm
batch-egg-rewrite
Rules
505×pow1_binary64
478×add-log-exp_binary64
478×log1p-expm1-u_binary64
478×expm1-log1p-u_binary64
467×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
075
11495
213405
Stop Event
node limit
Counts
2 → 12
Calls
Call 1
Inputs
(pow.f64 (cbrt.f64 841/108) 3)
(*.f64 (pow.f64 (cbrt.f64 841/108) 3) x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x . 841/108)))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 841/108 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 841/108 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 841/108 x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 841/108 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 841/108 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (*.f64 x x) 707281/11664))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) 841/108))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 841/108 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 841/108 x)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 841/108 x)))))))

simplify7.0ms (0.6%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0448
1548
Stop Event
saturated
Counts
24 → 13
Calls
Call 1
Inputs
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
Outputs
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)
(*.f64 841/108 x)

eval8.0ms (0.7%)

Compiler

Compiled 122 to 108 computations (11.5% saved)

prune7.0ms (0.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New13013
Fresh000
Picked011
Done011
Total13215
Error
0b
Counts
15 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
0.1b
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
0.3b
(+.f64 (*.f64 (pow.f64 (cbrt.f64 841/108) 3) x) (/.f64 4 29))
Compiler

Compiled 21 to 19 computations (9.5% saved)

regimes18.0ms (1.6%)

Accuracy

Total -40.3b remaining (-51633.2%)

Threshold costs -40.3b (-51633.2%)

Counts
6 → 1
Calls
Call 1
Inputs
(+.f64 (*.f64 (pow.f64 (cbrt.f64 841/108) 3) x) (/.f64 4 29))
(+.f64 (sqrt.f64 (*.f64 (*.f64 x x) 707281/11664)) (/.f64 4 29))
(+.f64 (pow.f64 (sqrt.f64 (*.f64 841/108 x)) 2) (/.f64 4 29))
(+.f64 (pow.f64 (cbrt.f64 (*.f64 841/108 x)) 3) (/.f64 4 29))
(fma.f64 841/108 x 4/29)
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
Outputs
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
Results
TimeErrorSegmentsBranch
5.0ms0.1b1x
4.0ms0.1b1(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
7.0ms0.1b1(*.f64 (/.f64 841 108) x)
Compiler

Compiled 72 to 62 computations (13.9% saved)

simplify2.0ms (0.2%)

Algorithm
egg-herbie
Rules
+-commutative_binary64
*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0127
1147
Stop Event
saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
Outputs
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
(+.f64 (*.f64 841/108 x) 4/29)

end15.0ms (1.3%)

Stop Event
done
Compiler

Compiled 12 to 10 computations (16.7% saved)

Profiling

Loading profile data...