Details

Time bar (total: 2.5s)

analyze3.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%50%50%2
25%25%50%3
25%12.5%62.5%4
25%6.2%68.8%5
25%3.1%71.9%6
25%1.6%73.5%7
25%0.8%74.2%8
25%0.4%74.6%9
25%0.2%74.8%10
25%0.1%74.9%11
25%0%75%12
25%0%75%13
25%0%75%14
Compiler

Compiled 8 to 5 computations (37.5% saved)

sample816.0ms (32.8%)

Results
804.0ms8256×body128valid
1.0ms7×body128invalid
Compiler

Compiled 16 to 10 computations (37.5% saved)

preprocess67.0ms (2.7%)

Algorithm
2×egg-herbie
Rules
1835×fma-neg_binary64
684×fma-def_binary64
317×unsub-neg_binary64
293×distribute-rgt-in_binary64
245×distribute-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0510
1710
21210
31910
42810
54510
68310
712410
820110
939510
1083310
11218910
12424710
13473710
14491110
15496610
16497610
17497610
011
Stop Event
1×saturated
1×node limit
Compiler

Compiled 7 to 4 computations (42.9% saved)

simplify60.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
1835×fma-neg_binary64
684×fma-def_binary64
317×unsub-neg_binary64
293×distribute-rgt-in_binary64
245×distribute-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0510
1710
21210
31910
42810
54510
68310
712410
820110
939510
1083310
11218910
12424710
13473710
14491110
15496610
16497610
17497610
Stop Event
1×node limit
Counts
1 → 1

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.3b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.3b
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Compiler

Compiled 21 to 12 computations (42.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(log.f64 (log.f64 x))
✓0.3b
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

series542.0ms (21.8%)

Counts
2 → 16
Calls

6 calls:

104.0ms
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
x
-inf
97.0ms
(log.f64 (log.f64 x))
x
-inf
90.0ms
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
x
inf
89.0ms
(log.f64 (log.f64 x))
x
inf
87.0ms
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
x
0

rewrite37.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
600×pow1_binary64
560×add-log-exp_binary64
560×log1p-expm1-u_binary64
560×expm1-log1p-u_binary64
56×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0513
110713
2148513
Stop Event
1×node limit
Counts
2 → 54

simplify58.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
1648×fma-def_binary64
625×fma-neg_binary64
583×distribute-rgt-in_binary64
397×distribute-lft-in_binary64
316×unsub-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
017216
141136
287120
3256120
4688120
51585120
62866120
73700120
83915120
94529120
104807120
114914120
Stop Event
1×node limit
Counts
70 → 60

prune39.0ms (1.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New58260
Fresh000
Picked101
Done000
Total59261
Error
0b
Counts
61 → 2
Alt Table
StatusErrorProgram
0.3b
(-.f64 (log.f64 x) (*.f64 (cbrt.f64 (log.f64 (log.f64 x))) (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 2))))
▶0.0b
(log.f64 (/.f64 x (log.f64 x)))
Compiler

Compiled 781 to 301 computations (61.5% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(log.f64 (/.f64 x (log.f64 x)))
✓0.3b
(/.f64 x (log.f64 x))

series266.0ms (10.7%)

Counts
2 → 20
Calls

6 calls:

86.0ms
(log.f64 (/.f64 x (log.f64 x)))
x
-inf
73.0ms
(log.f64 (/.f64 x (log.f64 x)))
x
inf
72.0ms
(log.f64 (/.f64 x (log.f64 x)))
x
0
14.0ms
(/.f64 x (log.f64 x))
x
inf
12.0ms
(/.f64 x (log.f64 x))
x
-inf

rewrite36.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
515×pow1_binary64
476×add-log-exp_binary64
476×log1p-expm1-u_binary64
476×expm1-log1p-u_binary64
466×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0514
110014
2128314
Stop Event
1×node limit
Counts
2 → 63

simplify30.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
442×div-sub_binary64
390×fma-neg_binary64
355×fma-def_binary64
284×distribute-rgt-in_binary64
234×times-frac_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
023224
146200
288192
3253168
4624168
51567168
64077168
Stop Event
1×node limit
Counts
83 → 69

prune37.0ms (1.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New68169
Fresh101
Picked011
Done000
Total69271
Error
0b
Counts
71 → 2
Alt Table
StatusErrorProgram
▶0.0b
(log.f64 (*.f64 (/.f64 1 (sqrt.f64 (log.f64 x))) (/.f64 x (sqrt.f64 (log.f64 x)))))
✓0.0b
(log.f64 (/.f64 x (log.f64 x)))
Compiler

Compiled 736 to 312 computations (57.6% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(sqrt.f64 (log.f64 x))
✓0.3b
(/.f64 1 (sqrt.f64 (log.f64 x)))
✓0.3b
(/.f64 x (sqrt.f64 (log.f64 x)))
✓0.4b
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 x))) (/.f64 x (sqrt.f64 (log.f64 x))))

series136.0ms (5.5%)

Counts
4 → 44
Calls

12 calls:

17.0ms
(/.f64 1 (sqrt.f64 (log.f64 x)))
x
-inf
17.0ms
(/.f64 x (sqrt.f64 (log.f64 x)))
x
0
16.0ms
(/.f64 x (sqrt.f64 (log.f64 x)))
x
-inf
12.0ms
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 x))) (/.f64 x (sqrt.f64 (log.f64 x))))
x
-inf
12.0ms
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 x))) (/.f64 x (sqrt.f64 (log.f64 x))))
x
inf

rewrite50.0ms (2%)

Algorithm
1×batch-egg-rewrite
Rules
785×pow1_binary64
730×log1p-expm1-u_binary64
730×expm1-log1p-u_binary64
77×add-sqr-sqrt_binary64
74×*-un-lft-identity_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0827
116325
2211025
Stop Event
1×node limit
Counts
4 → 143

simplify35.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
837×fma-neg_binary64
683×fma-def_binary64
666×div-sub_binary64
218×times-frac_binary64
182×distribute-rgt-in_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
027372
144340
263340
3128340
4319340
5863340
63106340
Stop Event
1×node limit
Counts
187 → 154

prune97.0ms (3.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1850185
Fresh000
Picked011
Done011
Total1852187
Error
0b
Counts
187 → 2
Alt Table
StatusErrorProgram
✓0.0b
(log.f64 (*.f64 (/.f64 1 (sqrt.f64 (log.f64 x))) (/.f64 x (sqrt.f64 (log.f64 x)))))
✓0.0b
(log.f64 (/.f64 x (log.f64 x)))
Compiler

Compiled 2720 to 1258 computations (53.8% saved)

regimes119.0ms (4.8%)

Accuracy

Total 0.0b remaining (69.2%)

Threshold costs 0.0b (69.2%)

Counts
38 → 1
Compiler

Compiled 1408 to 939 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0715
Stop Event
1×saturated

end38.0ms (1.5%)

Stop Event
1×done
Compiler

Compiled 39 to 24 computations (38.5% saved)

Profiling

Loading profile data...