Details

Time bar (total: 3.7s)

analyze1.1s (29.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
5.8%94%0.2%9
7.6%92.2%0.2%10
11.6%88.2%0.2%11
18.5%81.3%0.2%12
32.3%66.9%0.8%13
37%62.2%0.8%14
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (33.4%)

Results
987.0ms8256×body128valid
207.0ms1601×body128invalid
Compiler

Compiled 28 to 18 computations (35.7% saved)

preprocess57.0ms (1.6%)

Algorithm
2×egg-herbie
Rules
541×associate-/l*_binary64
504×associate-/l/_binary64
483×associate-/r/_binary64
470×cube-div_binary64
440×swap-sqr_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03291
18470
224049
357949
4410849
5418249
6482049
044
144
Stop Event
1×unsound
1×node limit
Symmetry

(sort x y)

Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify62.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
1339×associate-/l/_binary64
968×associate-/r/_binary64
266×times-frac_binary64
246×*-commutative_binary64
209×associate-/l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0913
11710
2437
31047
44557
522787
624647
724777
824907
924977
1025047
1125117
1225187
1325257
1425327
1525397
1625467
1725537
1825607
1925677
2025747
Stop Event
1×node limit
Counts
1 → 2

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
6.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶6.2b
(/.f64 x (/.f64 z y))
16.1b
(*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t))
Compiler

Compiled 62 to 38 computations (38.7% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓6.0b
(/.f64 x (/.f64 z y))

series12.0ms (0.3%)

Counts
1 → 36
Calls

9 calls:

2.0ms
(/.f64 x (/.f64 z y))
y
0
2.0ms
(/.f64 x (/.f64 z y))
y
-inf
2.0ms
(/.f64 x (/.f64 z y))
x
-inf
1.0ms
(/.f64 x (/.f64 z y))
x
0
1.0ms
(/.f64 x (/.f64 z y))
y
inf

rewrite37.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
724×log1p-expm1-u_binary64
724×expm1-log1p-u_binary64
125×expm1-udef_binary64
125×log1p-udef_binary64
69×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11317
219327
Stop Event
1×node limit
Counts
1 → 43

simplify14.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06252
19252
213252
316252
417252
Stop Event
1×saturated
Counts
79 → 44

prune30.0ms (0.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New38644
Fresh101
Picked011
Done000
Total39746
Error
0b
Counts
46 → 7
Alt Table
StatusErrorProgram
6.2b
(*.f64 x (/.f64 y z))
✓6.2b
(/.f64 x (/.f64 z y))
27.1b
(pow.f64 (sqrt.f64 (*.f64 x (/.f64 y z))) 2)
4.8b
(*.f64 (/.f64 1 z) (/.f64 x (/.f64 1 y)))
6.9b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (/.f64 y z)))
6.0b
(*.f64 y (/.f64 x z))
▶4.7b
(/.f64 (*.f64 y x) z)
Compiler

Compiled 563 to 261 computations (53.6% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓4.6b
(/.f64 (*.f64 y x) z)

series12.0ms (0.3%)

Counts
1 → 0
Calls

9 calls:

2.0ms
(/.f64 (*.f64 y x) z)
y
inf
2.0ms
(/.f64 (*.f64 y x) z)
y
-inf
2.0ms
(/.f64 (*.f64 y x) z)
x
-inf
1.0ms
(/.f64 (*.f64 y x) z)
y
0
1.0ms
(/.f64 (*.f64 y x) z)
x
0

rewrite39.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
659×log1p-expm1-u_binary64
659×expm1-log1p-u_binary64
367×log-prod_binary64
119×expm1-udef_binary64
119×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11257
217457
Stop Event
1×node limit
Counts
1 → 46

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
Stop Event
1×saturated
Counts
46 → 46

prune33.0ms (0.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New46046
Fresh055
Picked011
Done011
Total46753
Error
0b
Counts
53 → 7
Alt Table
StatusErrorProgram
6.2b
(*.f64 x (/.f64 y z))
✓6.2b
(/.f64 x (/.f64 z y))
27.1b
(pow.f64 (sqrt.f64 (*.f64 x (/.f64 y z))) 2)
▶4.8b
(*.f64 (/.f64 1 z) (/.f64 x (/.f64 1 y)))
6.9b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (/.f64 y z)))
6.0b
(*.f64 y (/.f64 x z))
✓4.7b
(/.f64 (*.f64 y x) z)
Compiler

Compiled 606 to 265 computations (56.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 x (/.f64 1 y))
✓4.7b
(*.f64 (/.f64 1 z) (/.f64 x (/.f64 1 y)))

series17.0ms (0.5%)

Counts
2 → 60
Calls

15 calls:

2.0ms
(*.f64 (/.f64 1 z) (/.f64 x (/.f64 1 y)))
z
-inf
2.0ms
(*.f64 (/.f64 1 z) (/.f64 x (/.f64 1 y)))
x
-inf
2.0ms
(*.f64 (/.f64 1 z) (/.f64 x (/.f64 1 y)))
y
-inf
1.0ms
(/.f64 x (/.f64 1 y))
x
-inf
1.0ms
(*.f64 (/.f64 1 z) (/.f64 x (/.f64 1 y)))
x
inf

rewrite54.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
493×log-prod_binary64
241×pow2_binary64
171×pow1/3_binary64
166×log-div_binary64
165×expm1-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0917
119411
2264011
Stop Event
1×node limit
Counts
2 → 101

simplify19.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06348
19348
213348
316348
417348
Stop Event
1×saturated
Counts
161 → 103

prune76.0ms (2.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1030103
Fresh044
Picked011
Done022
Total1037110
Error
0b
Counts
110 → 7
Alt Table
StatusErrorProgram
6.2b
(*.f64 x (/.f64 y z))
✓6.2b
(/.f64 x (/.f64 z y))
27.1b
(pow.f64 (sqrt.f64 (*.f64 x (/.f64 y z))) 2)
✓4.8b
(*.f64 (/.f64 1 z) (/.f64 x (/.f64 1 y)))
6.9b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (/.f64 y z)))
▶6.0b
(*.f64 y (/.f64 x z))
✓4.7b
(/.f64 (*.f64 y x) z)
Compiler

Compiled 1196 to 645 computations (46.1% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓5.8b
(*.f64 y (/.f64 x z))

series12.0ms (0.3%)

Counts
1 → 36
Calls

9 calls:

2.0ms
(*.f64 y (/.f64 x z))
y
inf
2.0ms
(*.f64 y (/.f64 x z))
y
-inf
2.0ms
(*.f64 y (/.f64 x z))
x
-inf
1.0ms
(*.f64 y (/.f64 x z))
y
0
1.0ms
(*.f64 y (/.f64 x z))
x
0

rewrite35.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
628×log1p-expm1-u_binary64
628×expm1-log1p-u_binary64
349×log-prod_binary64
119×expm1-udef_binary64
119×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11257
216867
Stop Event
1×node limit
Counts
1 → 27

simplify13.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06252
19252
213252
316252
417252
Stop Event
1×saturated
Counts
63 → 28

prune17.0ms (0.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New27128
Fresh123
Picked011
Done123
Total29635
Error
0b
Counts
35 → 6
Alt Table
StatusErrorProgram
6.2b
(*.f64 x (/.f64 y z))
✓6.2b
(/.f64 x (/.f64 z y))
6.6b
(/.f64 y (/.f64 z x))
6.9b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (/.f64 y z)))
✓6.0b
(*.f64 y (/.f64 x z))
✓4.7b
(/.f64 (*.f64 y x) z)
Compiler

Compiled 306 to 130 computations (57.5% saved)

regimes593.0ms (16.1%)

Accuracy

Total 1.0b remaining (99.2%)

Threshold costs 0b (0%)

Counts
45 → 5
Compiler

Compiled 4100 to 2969 computations (27.6% saved)

bsearch2.0ms (0%)

Algorithm
4×left-value
Calls

4 calls:

0.0ms
(/.f64 y z)
0.0ms
(/.f64 y z)
0.0ms
(/.f64 y z)
0.0ms
(/.f64 y z)
Steps
ItersPointRange
1.3164353627601914e+143
∈ [
1.3164353627601914e+143
, 
4.796596777236186e+148
]
6.72368e-318
∈ [
6.72368e-318
, 
1.220913206e-315
]
-3.3661765824879353e-113
∈ [
-3.3661765824879353e-113
, 
-1.6013376583576356e-120
]
-1.1302820992287937e+282
∈ [
-1.1302820992287937e+282
, 
-1.0429750853898087e+276
]
Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02471
12571
Stop Event
1×saturated

end216.0ms (5.9%)

Stop Event
1×fuel
Compiler

Compiled 272 to 132 computations (51.5% saved)

Profiling

Loading profile data...