Details

Time bar (total: 3.0s)

analyze1.0s (33.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%75%25%3
0%75%25%4
0%75%25%5
0%75%25%6
0%75%25%7
0%75%25%8
0%75%25%9
0%75%25%10
0%75%25%11
0%75%25%12
0%75%25%13
0%75%25%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample787.0ms (26.4%)

Results
759.0ms8253×body128valid
1.0ms3×body2048valid
Compiler

Compiled 19 to 15 computations (21.1% saved)

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
1×1-exp_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0712
11112
21012

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.2b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.2b
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
Compiler

Compiled 27 to 21 computations (22.2% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 1 (sqrt.f64 (+.f64 x 1)))
✓0.0b
(sqrt.f64 (+.f64 x 1))
✓0.2b
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))

series59.0ms (2%)

Counts
3 → 12
Calls

3 calls:

42.0ms
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
10.0ms
(+.f64 1 (sqrt.f64 (+.f64 x 1)))
7.0ms
(sqrt.f64 (+.f64 x 1))

rewrite16.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
44×*-un-lft-identity_binary64
30×add-sqr-sqrt_binary64
21×distribute-lft-out_binary64
18×times-frac_binary64
16×add-cube-cbrt_binary64
Counts
3 → 82
Calls

3 calls:

6.0ms
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
4.0ms
(+.f64 1 (sqrt.f64 (+.f64 x 1)))
3.0ms
(sqrt.f64 (+.f64 x 1))

simplify101.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
733×fma-neg_binary64
333×associate-/r*_binary64
321×associate-/l/_binary64
303×associate-*l/_binary64
284×cancel-sign-sub-inv_binary64
Counts
94 → 108
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01231335
12631239
26341227
318781212
443231211
549871211
648751211

prune69.0ms (2.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1062108
Fresh000
Picked011
Done000
Total1063109
Error
0b
Counts
109 → 3
Alt Table
StatusErrorProgram
▶0.5b
(/.f64 1 (/.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))) x))
18.9b
(*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1)))))
✓0.2b
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
Compiler

Compiled 1599 to 1226 computations (23.3% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(+.f64 1 (sqrt.f64 (+.f64 x 1)))
0.0b
(sqrt.f64 (+.f64 x 1))
✓0.1b
(/.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))) x)
✓0.4b
(/.f64 1 (/.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))) x))

series58.0ms (2%)

Counts
2 → 8
Calls

2 calls:

45.0ms
(/.f64 1 (/.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))) x))
13.0ms
(/.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))) x)

rewrite31.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
156×*-un-lft-identity_binary64
156×times-frac_binary64
108×add-sqr-sqrt_binary64
76×add-cube-cbrt_binary64
64×distribute-lft-out_binary64
Counts
2 → 157
Calls

2 calls:

10.0ms
(/.f64 1 (/.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))) x))
6.0ms
(/.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))) x)

simplify165.0ms (5.5%)

Algorithm
1×egg-herbie
Rules
918×fma-neg_binary64
842×fma-def_binary64
286×times-frac_binary64
250×*-commutative_binary64
241×distribute-rgt-in_binary64
Counts
165 → 178
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01343593
12903208
27503139
320883123
442403123
549793123
649183123

prune147.0ms (4.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2360236
Fresh011
Picked011
Done011
Total2363239
Error
0b
Counts
239 → 3
Alt Table
StatusErrorProgram
✓0.5b
(/.f64 1 (/.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))) x))
▶18.9b
(*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1)))))
✓0.2b
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
Compiler

Compiled 4449 to 3513 computations (21% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(+.f64 1 (sqrt.f64 (+.f64 x 1)))
0.0b
(sqrt.f64 (+.f64 x 1))
✓0.0b
(/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1))))
✓0.1b
(*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1)))))

series120.0ms (4%)

Counts
2 → 4
Calls

2 calls:

71.0ms
(/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1))))
49.0ms
(*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1)))))

rewrite35.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
109×*-un-lft-identity_binary64
86×add-sqr-sqrt_binary64
76×times-frac_binary64
73×sqrt-prod_binary64
52×distribute-lft-out_binary64
Counts
2 → 134
Calls

2 calls:

15.0ms
(*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1)))))
8.0ms
(/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1))))

simplify123.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
861×fma-neg_binary64
610×fma-def_binary64
361×associate-/l*_binary64
342×cancel-sign-sub-inv_binary64
342×times-frac_binary64
Counts
138 → 143
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01292881
12942630
28802596
325252587
445642587
550692587

prune116.0ms (3.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2010201
Fresh000
Picked011
Done022
Total2013204
Error
0b
Counts
204 → 3
Alt Table
StatusErrorProgram
✓0.5b
(/.f64 1 (/.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))) x))
✓18.9b
(*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1)))))
✓0.2b
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
Compiler

Compiled 4041 to 2589 computations (35.9% saved)

regimes75.0ms (2.5%)

Accuracy

Total 0.2b remaining (93.9%)

Threshold costs 0.2b (93.9%)

Counts
33 → 1
Compiler

Compiled 993 to 767 computations (22.8% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
1×*-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
11315
21215

end48.0ms (1.6%)

Compiler

Compiled 55 to 43 computations (21.8% saved)

Profiling

Loading profile data...